mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
46 lines
1.5 KiB
XML
46 lines
1.5 KiB
XML
<project name="Python Plugin Build Bootstrap" default="main">
|
|
<property name="project.home" value="${basedir}/../.."/>
|
|
<property name="out.dir" value="${project.home}/out/python"/>
|
|
<property name="idea.dir" value="${out.dir}/idea"/>
|
|
|
|
<target name="clean">
|
|
<delete dir="${out.dir}/classes" failonerror="false"/>
|
|
<delete dir="${out.dir}/dist" failonerror="false"/>
|
|
<delete dir="${out.dir}/artifacts" failonerror="false"/>
|
|
<delete dir="${out.dir}/jar" failonerror="false"/>
|
|
<delete dir="${out.dir}/deploy" failonerror="false"/>
|
|
<delete dir="${idea.dir}/jdk16" failonerror="false"/>
|
|
</target>
|
|
|
|
<target name="unzip">
|
|
<mkdir dir="${idea.dir}"/>
|
|
<unzip dest="${idea.dir}/jdk16">
|
|
<fileset dir="${idea.dir}" includes="ideaIU*.zip"/>
|
|
</unzip>
|
|
</target>
|
|
|
|
<target name="main" depends="clean,unzip">
|
|
<java failonerror="true" classname="org.apache.tools.ant.Main" fork="true" jvm="${jdk16.home}/bin/java">
|
|
|
|
<jvmarg line="-Xms64m -Xmx512m"/>
|
|
<jvmarg line="-Dbuild.number=${build.number}"/>
|
|
|
|
<classpath>
|
|
<fileset dir="${project.home}/build/lib">
|
|
<include name="antlayout.jar"/>
|
|
<include name="commons-net-1.4.1.jar"/>
|
|
<include name="jsch-0.1.43.jar"/>
|
|
</fileset>
|
|
<fileset dir="${project.home}/community/lib/ant/lib">
|
|
<include name="*.jar"/>
|
|
</fileset>
|
|
</classpath>
|
|
|
|
<arg value="-f"/>
|
|
<arg value="build-plugin.xml"/>
|
|
<arg value="-Didea.home=${idea.dir}/jdk16"/>
|
|
<arg value="-verbose"/>
|
|
</java>
|
|
</target>
|
|
</project>
|