Mercurial > hg > Docker > JavaPathFinder

comparison Dockerfile @ 4:23bf75606304

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add entrypoint.sh and tweak Dockerfile
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Sep 2019 22:46:57 +0900
parents e69b7ef7a2c9
children 6ad6aeabe992
comparison
equal deleted inserted replaced
3:e69b7ef7a2c9 4:23bf75606304
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 12 COPY ./ThreadTest ./ThreadTest
13 13
14 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 wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip
15 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build 15 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build
16 RUN cd /java-8 && ./gradlew buildJars && cd /
16 17
17 ENTRYPOINT ["java-8/bin/jpf"] 18 COPY ./entrypoint.sh ./entrypoint.sh
19 ENTRYPOINT ["sh","entrypoint.sh"]