Mercurial > hg > Docker > JavaPathFinder
view entrypoint.sh @ 7:4ab6299b5805 default tip
rename app to jpf
author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 17 Sep 2019 08:54:35 +0900 |
parents | e49b52c098c7 |
children |
line wrap: on
line source
#!/bin/sh export JPF_HOME=/java-8 cd /os_exercise/ThreadTest /bin/gradle/gradle-5.6.2/bin/gradle build /java-8/bin/jpf +classpath=build/classes/java/main threadTest.TestThread #/java-8/bin/jpf +classpath=build/classes/java/main jp.ac.uryukyu.ie.e1x57xx.Interleave