Mercurial > hg > truffle
diff make/build-graal.xml @ 9935:2a091d2987bd
added graal.options mechanism for being able to override default option values
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Fri, 07 Jun 2013 15:59:09 +0200 |
parents | 44fcf49b746f |
children | 2194b25ff111 |
line wrap: on
line diff
--- a/make/build-graal.xml Fri Jun 07 10:52:48 2013 +0200 +++ b/make/build-graal.xml Fri Jun 07 15:59:09 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="jar,options" name="main"/> <target depends="cleanclasses" name="compile"> <mkdir dir="${classes.dir}"/> <javac debug="on" destdir="${classes.dir}" includeantruntime="false"> @@ -101,6 +101,11 @@ <target name="cleanclasses"> <delete dir="${classes.dir}"/> </target> + <target name="options"> + <copy todir="${jar.dir}"> + <filelist dir="${gamma.dir}" files="graal.options"/> + </copy> + </target> <target depends="cleanclasses" name="clean"> <delete file="${jar.file}"/> </target>