# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1568641617 -32400
# Node ID 23bf75606304bfc84c104be4d563003db99be88a
# Parent  e69b7ef7a2c9780d948a3986c00f264f18b58a21
add entrypoint.sh and tweak Dockerfile

diff -r e69b7ef7a2c9 -r 23bf75606304 Dockerfile
--- a/Dockerfile	Wed Sep 11 19:11:05 2019 +0900
+++ b/Dockerfile	Mon Sep 16 22:46:57 2019 +0900
@@ -13,5 +13,7 @@
 
 RUN wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip
 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build
+RUN cd /java-8  && ./gradlew buildJars && cd /
 
-ENTRYPOINT ["java-8/bin/jpf"]
+COPY ./entrypoint.sh ./entrypoint.sh
+ENTRYPOINT ["sh","entrypoint.sh"]
diff -r e69b7ef7a2c9 -r 23bf75606304 entrypoint.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/entrypoint.sh	Mon Sep 16 22:46:57 2019 +0900
@@ -0,0 +1,11 @@
+#!/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