Mercurial > hg > Docker > JavaPathFinder

diff Dockerfile @ 6:e49b52c098c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mounted the current directory
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 17 Sep 2019 08:48:23 +0900
parents 6ad6aeabe992
children
line wrap: on
line diff
--- a/Dockerfile	Mon Sep 16 23:32:00 2019 +0900
+++ b/Dockerfile	Tue Sep 17 08:48:23 2019 +0900
@@ -11,10 +11,7 @@
 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8
 
 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 /java-8  &&  ../bin/gradle/gradle-5.6.2/bin/gradle buildJars && cd /
-
-COPY ./ThreadTest ./ThreadTest
-RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build
+RUN cd /java-8  &&  ../bin/gradle/gradle-5.6.2/bin/gradle buildJars
 
 COPY ./entrypoint.sh ./entrypoint.sh
 ENTRYPOINT ["sh","entrypoint.sh"]