comparison Dockerfile @ 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 e69b7ef7a2c9
comparison
equal deleted inserted replaced
0:7bc018e46a1c 1:410ce7a9d7b2
1 FROM loblaw/java8 1 FROM loblaw/java8
2 2
3 #------- set up
3 RUN apt-get update -y && apt-get upgrade -y 4 RUN apt-get update -y && apt-get upgrade -y
5 RUN apt-get install -y ant git wget
6
7 #------ download hamcrest and junit
8
9 RUN wget https://search.maven.org/remotecontent?filepath=org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar
10 RUN wget https://search.maven.org/remotecontent?filepath=junit/junit/4.13-beta-3/junit-4.13-beta-3.jar
11 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8
12 ENTRYPOINT ["java-8/bin/jpf"]