From 537b327c17dd87bc208806509c546a961a8ec981 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Thu, 26 Jan 2012 19:11:48 +0400
Subject: [PATCH] Building JDK headers (kotlinized version of the JDK library)

---
 build.xml | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 0303c18754d..5e97513a96f 100644
--- a/build.xml
+++ b/build.xml
@@ -53,6 +53,21 @@
         </java>
     </target>
 
+    <target name="compileJDKHeaders" depends="jar">
+        <mkdir dir="${output}/classes/stdlib"/>
+        <java classname="org.jetbrains.jet.cli.KotlinCompiler">
+            <classpath>
+                <path refid="classpath"/>
+                <pathelement location="${output}/kotlin-compiler.jar"/>
+            </classpath>
+            <arg value="-src"/>
+            <arg value="${basedir}/jdk-headers/src"/>
+            <arg value="-output"/>
+            <arg value="${output}/classes/jdk-headers"/>
+            <arg value="-ignoreErrors"/>
+        </java>
+    </target>
+
     <target name="jarRT" depends="compile,compileStdlib">
         <jar destfile="${output}/kotlin-runtime.jar">
             <fileset dir="${output}/classes/runtime"/>
@@ -60,6 +75,12 @@
         </jar>
     </target>
 
+    <target name="jarJDKHeaders" depends="compile,compileJDKHeaders">
+        <jar destfile="${output}/kotlin-jdk-headers.jar">
+            <fileset dir="${output}/classes/jdk-headers"/>
+        </jar>
+    </target>
+
 
     <target name="compile" depends="compileRT">
         <mkdir dir="${output}/classes/compiler"/>
@@ -80,7 +101,7 @@
         <delete dir="${output}"/>
     </target>
 
-    <target name="dist" depends="clean,jarRT,jar,buildToolsJar">
+    <target name="dist" depends="clean,jarRT,jarJDKHeaders,jar,buildToolsJar">
         <echo file="${output}/build.txt" message="${build.number}"/>
         <zip destfile="${output}/${output.name}.zip">
             <zipfileset prefix="kotlinc" file="${output}/build.txt"/>