Mercurial > hg > Docker > JavaPathFinder
annotate Dockerfile @ 4:23bf75606304
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 |
rev | line source |
---|---|
0 | 1 FROM loblaw/java8 |
2 | |
1 | 3 #------- set up |
0 | 4 RUN apt-get update -y && apt-get upgrade -y |
1 | 5 RUN apt-get install -y ant git wget |
6 | |
7 #------ download hamcrest and junit | |
8 | |
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 | |
11 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8 | |
3 | 12 COPY ./ThreadTest ./ThreadTest |
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 | |
15 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build | |
4
23bf75606304
add entrypoint.sh and tweak Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
3
diff
changeset
|
16 RUN cd /java-8 && ./gradlew buildJars && cd / |
3 | 17 |
4
23bf75606304
add entrypoint.sh and tweak Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
3
diff
changeset
|
18 COPY ./entrypoint.sh ./entrypoint.sh |
23bf75606304
add entrypoint.sh and tweak Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
3
diff
changeset
|
19 ENTRYPOINT ["sh","entrypoint.sh"] |