changeset 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 e69b7ef7a2c9
children 6ad6aeabe992
files Dockerfile entrypoint.sh
diffstat 2 files changed, 14 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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"]
--- /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