Mercurial > hg > Docker > JavaPathFinder

comparison Dockerfile @ 5:6ad6aeabe992

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update Dockerfile
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Sep 2019 23:32:00 +0900
parents 23bf75606304
children e49b52c098c7
comparison
equal deleted inserted replaced
4:23bf75606304 5:6ad6aeabe992
7 #------ download hamcrest and junit 7 #------ download hamcrest and junit
8 8
9 RUN wget https://search.maven.org/remotecontent?filepath=org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar 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 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 11 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8
12 COPY ./ThreadTest ./ThreadTest
13 12
14 RUN wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip 13 RUN wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip
14 RUN cd /java-8 && ../bin/gradle/gradle-5.6.2/bin/gradle buildJars && cd /
15
16 COPY ./ThreadTest ./ThreadTest
15 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build 17 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build
16 RUN cd /java-8 && ./gradlew buildJars && cd /
17 18
18 COPY ./entrypoint.sh ./entrypoint.sh 19 COPY ./entrypoint.sh ./entrypoint.sh
19 ENTRYPOINT ["sh","entrypoint.sh"] 20 ENTRYPOINT ["sh","entrypoint.sh"]