Mercurial > hg > Docker > JavaPathFinder
diff entrypoint.sh @ 6:e49b52c098c7
mounted the current directory
author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 17 Sep 2019 08:48:23 +0900 |
parents | 23bf75606304 |
children |
line wrap: on
line diff
--- a/entrypoint.sh Mon Sep 16 23:32:00 2019 +0900 +++ b/entrypoint.sh Tue Sep 17 08:48:23 2019 +0900 @@ -1,11 +1,8 @@ #!/bin/sh -#ls ../java-8 -#cd ../java-8 -#./gradlew buildJars -cd /ThreadTest -ls build/classes/java/main/threadTest -#../java-8/bin/jpf +classpath=build/classes/java/main/threadTest.TestThread + export JPF_HOME=/java-8 -#../java-8/bin/jpf +classpath=. threadTest.TestThread -#../java-8/bin/jpf +classpath=. build/classes/java/main/threadTest.TestThread -../java-8/bin/jpf +classpath=build/classes/java/main threadTest.TestThread +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