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

always check for a new build of Kotlin in the release branch, remove hard-coded version number (which doesn't work because we need to update from 0.12.613.Idea142.9 to 0.12.613.Idea142.14)

Browse Source
This commit is contained in:
Dmitry Jemerov
2015-07-08 19:28:16 +02:00
parent 8448209857
commit 82909266d6
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/download_kotlin.xml
+8 -6
View File
@@ -1,21 +1,23 @@
<project name="Download Kotlin" default="extract">
<property name="kotlin.version" value="0.12.613"/>
<property name="kotlin.build.type.id" value="Kotlin_M12_Idea142branch150version"/>
<property name="kotlin.build.selector" value=".lastSuccessful"/>
<target name="check_present">
<target name="get_latest">
<loadresource property="kotlin.build.number">
<url url="https://teamcity.jetbrains.com/guestAuth/app/rest/buildTypes/id:${kotlin.build.type.id}/builds/status:SUCCESS,count:1/number"/>
</loadresource>
</target>
<target name="check_present" depends="get_latest">
<pathconvert property="kotlin.path" setonempty="false" pathsep=" ">
<path>
<fileset dir="${basedir}" includes="kotlin-plugin-${kotlin.version}*.zip"/>
<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"/>
<loadresource property="kotlin.build.number">
<url url="https://teamcity.jetbrains.com/guestAuth/app/rest/buildTypes/id:${kotlin.build.type.id}/builds/status:SUCCESS,count:1/number"/>
</loadresource>
<echo message="Downloading Kotlin build ${kotlin.build.number}"/>
<property name="kotlin.path" value="${basedir}/kotlin-plugin-${kotlin.build.number}.zip"/>
<get src="https://teamcity.jetbrains.com/guestAuth/repository/download/${kotlin.build.type.id}/${kotlin.build.number}/kotlin-plugin-${kotlin.build.number}.zip"