Use JDK annotations downloaded from a KAnnotator build

2014-02-14 21:17:03 +04:00
parent 48df541e0f
commit ff762a4467
180 changed files with 31 additions and 35784 deletions
@@ -528,9 +528,7 @@
    </target>

    <target name="jdkAnnotations">
-        <pack_annotations jarfile="kotlin-jdk-annotations.jar"
-                          annotationsdir="${basedir}/jdk-annotations"
-                          title="${manifest.impl.title.kotlin.compiler.annotations.jdk}"/>
+      <copy file="dependencies/annotations/kotlin-jdk-annotations.jar" todir="${kotlin-home}/lib"/>
    </target>

    <target name="androidSdkAnnotations">