DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

try more kawa compile hacks

This commit is contained in:
Julian Dolby 2018-08-02 23:21:47 -04:00
parent 62931350eb
commit 01af1c6ddc
1 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
com.ibm.wala.core.testdata/build.xml
View File

@ -123,22 +123,14 @@
<delete dir="${temp.folder}"/>
</target>
<target name="KawaTestCompiled" depends="init">
<available file="${plugin.destination}/kawatest.jar" property="kawa.test.compiled"/>
</target>
<target name="compileKawaTest" depends="KawaTestCompiled,fetchKawa" unless="kawa.test.compiled" >
<target name="compileKawaTest" depends="fetchKawa">
<exec executable="java" dir="${plugin.destination}/kawasrc">
<arg line="-cp ${plugin.destination}/kawa-3.0/lib/kawa.jar kawa.repl --main -C test.scm"/>
</exec>
<jar destfile="${plugin.destination}/kawatest.jar" basedir="${plugin.destination}/kawasrc" />
</target>
<target name="KawaChessCompiled" depends="init">
<available file="${plugin.destination}/kawachess.jar" property="kawa.chess.compiled"/>
</target>
<target name="compileKawaChess" depends="KawaChessCompiled,fetchKawa,getKawaChess" unless="kawa.chess.compiled" >
<target name="compileKawaChess" depends="fetchKawa,getKawaChess">
<exec executable="java" dir="${plugin.destination}/kawa-chess">
<arg line="-cp ${plugin.destination}/kawa-3.0/lib/kawa.jar kawa.repl -C img.scm pos.scm chess.scm gui.scm"/>
</exec>