Mercurial > hg > Members > anatofuz > jpf-docker
changeset 3:e69b7ef7a2c9
tweak
author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 11 Sep 2019 19:11:05 +0900 |
parents | 75e28f017132 |
children | 23bf75606304 |
files | Dockerfile docker-compose.yml |
diffstat | 2 files changed, 8 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/Dockerfile Wed Sep 11 18:42:27 2019 +0900 +++ b/Dockerfile Wed Sep 11 19:11:05 2019 +0900 @@ -9,4 +9,9 @@ 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 +COPY ./ThreadTest ./ThreadTest + +RUN wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip +RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build + ENTRYPOINT ["java-8/bin/jpf"]