MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

removed obsolete download_kotlin Ant script

Browse Source
This commit is contained in:
nik
2015-11-05 11:05:32 +03:00
parent 45446d263d
commit 461686e8ae
1 changed files with 0 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/download_kotlin.xml
-70
View File
@@ -1,70 +0,0 @@
<project name="Download Kotlin" default="extract" xmlns:if="ant:if" xmlns:unless="ant:unless">
<property name="kotlin.public.build.type.id" value="Kotlin_M15_2_Idea142branch150versionNoTests"/>
<property name="kotlin.public.build.selector" value="status:SUCCESS"/>
<property name="kotlin.public.teamcity.host" value="https://teamcity.jetbrains.com"/>
<property name="kotlin.build.type.id" value="${kotlin.public.build.type.id}"/>
<property name="kotlin.build.selector" value="${kotlin.public.build.selector}"/>
<property name="kotlin.teamcity.host" value="${kotlin.public.teamcity.host}"/>
<target name="get_latest">
<echo message="This script is deprecated, use download_kotlin.gant instead"/>
<loadresource property="kotlin.build.number" failonerror="false">
<url url="${kotlin.teamcity.host}/guestAuth/app/rest/buildTypes/id:${kotlin.build.type.id}/builds/${kotlin.build.selector},count:1/number"/>
</loadresource>
<sequential unless:set="kotlin.build.number">
<loadresource property="kotlin.build.number">
<url url="${kotlin.public.teamcity.host}/guestAuth/app/rest/buildTypes/id:${kotlin.public.build.type.id}/builds/${kotlin.public.build.selector},count:1/number"/>
</loadresource>
<property name="kotlin.use.fallback" value="true"/>
</sequential>
<loadresource property="kotlin.build.number.escaped">
<propertyresource name="kotlin.build.number"/>
<filterchain>
<tokenfilter>
<replacestring from="+" to="%2B"/>
</tokenfilter>
</filterchain>
</loadresource>
<property name="kotlin.download.url"
value="${kotlin.teamcity.host}/guestAuth/repository/download/${kotlin.build.type.id}/${kotlin.build.number.escaped}/kotlin-plugin-${kotlin.build.number.escaped}.zip"
unless:set="kotlin.use.fallback"/>
<property name="kotlin.download.url"
value="${kotlin.public.teamcity.host}/guestAuth/repository/download/${kotlin.public.build.type.id}/${kotlin.build.number.escaped}/kotlin-plugin-${kotlin.build.number.escaped}.zip"
if:set="kotlin.use.fallback"/>
</target>
<target name="check_present" depends="get_latest">
<pathconvert property="kotlin.path" setonempty="false" pathsep=" ">
<path>
<fileset dir="${basedir}" includes="kotlin-plugin-${kotlin.build.number}.zip"/>
</path>
</pathconvert>
</target>
<target name="download" depends="check_present" unless="kotlin.path">
<delete dir="${basedir}" includes="kotlin-plugin*.zip"/>
<echo message="Downloading Kotlin build ${kotlin.build.number}"/>
<property name="kotlin.path" value="${basedir}/kotlin-plugin-${kotlin.build.number}.zip"/>
<get src="${kotlin.download.url}" dest="${kotlin.path}"/>
</target>
<target name="extract" depends="download">
<unzip src="${kotlin.path}" dest="${basedir}/kotlinc/plugin"/>
<unzip src="${kotlin.path}" dest="${basedir}">
<patternset includes="Kotlin/kotlinc/**"/>
<globmapper from="Kotlin/*" to="*"/>
</unzip>
<unzip src="${kotlin.path}" dest="${basedir}/kotlinc/jps">
<patternset includes="Kotlin/lib/jps/**"/>
<globmapper from="Kotlin/lib/jps/*" to="*"/>
</unzip>
</target>
</project>