# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1568194445 -32400
# Node ID 410ce7a9d7b2c8b9282c146ae72dfe8357b6369d
# Parent  7bc018e46a1cebddb841ac27188cc7043f895e63
tweak jpf

diff -r 7bc018e46a1c -r 410ce7a9d7b2 Dockerfile
--- a/Dockerfile	Wed Sep 11 18:14:26 2019 +0900
+++ b/Dockerfile	Wed Sep 11 18:34:05 2019 +0900
@@ -1,3 +1,12 @@
 FROM loblaw/java8
 
+#------- set up 
 RUN apt-get update -y && apt-get upgrade -y
+RUN apt-get install -y ant git wget
+
+#------ download hamcrest and junit
+
+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
+ENTRYPOINT ["java-8/bin/jpf"]