# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1568196665 -32400
# Node ID e69b7ef7a2c9780d948a3986c00f264f18b58a21
# Parent  75e28f0171323ea39536be804bbc3f09d26b4ff4
tweak

diff -r 75e28f017132 -r e69b7ef7a2c9 Dockerfile
--- a/Dockerfile	Wed Sep 11 18:42:27 2019 +0900
+++ b/Dockerfile	Wed Sep 11 19:11:05 2019 +0900
@@ -9,4 +9,9 @@
 RUN wget https://search.maven.org/remotecontent?filepath=org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar
 RUN wget https://search.maven.org/remotecontent?filepath=junit/junit/4.13-beta-3/junit-4.13-beta-3.jar
 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8
+COPY ./ThreadTest ./ThreadTest
+
+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
+
 ENTRYPOINT ["java-8/bin/jpf"]
diff -r 75e28f017132 -r e69b7ef7a2c9 docker-compose.yml
--- a/docker-compose.yml	Wed Sep 11 18:42:27 2019 +0900
+++ b/docker-compose.yml	Wed Sep 11 19:11:05 2019 +0900
@@ -5,7 +5,8 @@
     image: jpf-docker
     build: .
     volumes:
-      - ..:/app
+      - ./ThreadTest:/app
     environment:
       USER: "${USER}"
-    command: tail -f /dev/null
+    command: '/bin/bash'
+