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