view entrypoint.sh @ 4:23bf75606304

add entrypoint.sh and tweak Dockerfile
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Sep 2019 22:46:57 +0900
parents
children e49b52c098c7
line wrap: on
line source

#!/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