Mercurial > hg > Members > anatofuz > jpf-docker

annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
7bc018e46a1c initial commit
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 FROM loblaw/java8
7bc018e46a1c initial commit
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
1
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
3 #------- set up
0
7bc018e46a1c initial commit
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 RUN apt-get update -y && apt-get upgrade -y
1
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
5 RUN apt-get install -y ant git wget
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
6
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
7 #------ download hamcrest and junit
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
8
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
9 RUN wget https://search.maven.org/remotecontent?filepath=org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
10 RUN wget https://search.maven.org/remotecontent?filepath=junit/junit/4.13-beta-3/junit-4.13-beta-3.jar
410ce7a9d7b2 tweak jpf
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
11 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8
3
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
12
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
13 RUN wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip
5
6ad6aeabe992 update Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
14 RUN cd /java-8 && ../bin/gradle/gradle-5.6.2/bin/gradle buildJars && cd /
6ad6aeabe992 update Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
15
6ad6aeabe992 update Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
16 COPY ./ThreadTest ./ThreadTest
3
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
17 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
18
4
23bf75606304 add entrypoint.sh and tweak Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
19 COPY ./entrypoint.sh ./entrypoint.sh
23bf75606304 add entrypoint.sh and tweak Dockerfile
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
20 ENTRYPOINT ["sh","entrypoint.sh"]