Mercurial > hg > Members > anatofuz > jpf-docker
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"] |