view Dockerfile @ 3:e69b7ef7a2c9

tweak
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 11 Sep 2019 19:11:05 +0900
parents 410ce7a9d7b2
children 23bf75606304
line wrap: on
line source

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
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"]