build.xml: use preloader to serialize built-ins to improve performance

This commit is contained in:
Alexander Udalov
2015-01-14 12:01:50 +03:00
parent 5b70995ce1
commit 8d5a6d729e
+6 -2
View File
@@ -392,13 +392,17 @@
<target name="serialize-builtins">
<cleandir dir="${output}/builtins"/>
<java classname="org.jetbrains.kotlin.serialization.builtins.BuiltinsPackage"
classpath="${bootstrap.compiler.home}/lib/kotlin-compiler.jar"
<java classname="org.jetbrains.kotlin.preloading.Preloader"
classpath="${bootstrap.compiler.home}/lib/kotlin-preloader.jar"
failonerror="true"
fork="true">
<assertions>
<enable/>
</assertions>
<arg value="${bootstrap.compiler.home}/lib/kotlin-compiler.jar"/>
<arg value="org.jetbrains.kotlin.serialization.builtins.BuiltinsPackage"/>
<arg value="4096"/>
<arg value="notime"/>
<arg value="${output}/builtins"/>
<arg value="core/builtins/native"/>
<arg value="core/builtins/src"/>