changeset 1:410ce7a9d7b2

tweak jpf
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 11 Sep 2019 18:34:05 +0900
parents 7bc018e46a1c
children 75e28f017132
files Dockerfile
diffstat 1 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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"]