Mercurial > hg > truffle
diff make/build-graal.xml @ 9956:8ad4e90fc5d7
Merge.
author | Christian Haeubl <haeubl@ssw.jku.at> |
---|---|
date | Mon, 10 Jun 2013 08:44:25 +0200 |
parents | 2194b25ff111 |
children |
line wrap: on
line diff
--- a/make/build-graal.xml Mon Jun 10 08:44:03 2013 +0200 +++ b/make/build-graal.xml Mon Jun 10 08:44:25 2013 +0200 @@ -28,7 +28,7 @@ <property name="classes.dir" value="${shared.dir}/graal"/> <property name="jar.dir" value="${shared.dir}"/> <property name="jar.file" value="${jar.dir}/graal.jar"/> - <target depends="jar" name="main"/> + <target depends="options,jar" name="main"/> <target depends="cleanclasses" name="compile"> <mkdir dir="${classes.dir}"/> <javac debug="on" destdir="${classes.dir}" includeantruntime="false"> @@ -101,6 +101,14 @@ <target name="cleanclasses"> <delete dir="${classes.dir}"/> </target> + <target if="graal.options.exists" name="options"> + <copy todir="${jar.dir}"> + <filelist dir="${gamma.dir}" files="graal.options"/> + </copy> + </target> + <target name="check-graal-options-exists"> + <available file="${gamma.dir}/graal.options" property="graal.options.exists"/> + </target> <target depends="cleanclasses" name="clean"> <delete file="${jar.file}"/> </target>