Mercurial > hg > Members > atton > tapl

changeset 1:26ca6abffce1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update Dockerfile
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 26 Oct 2016 15:09:12 +0900
parents 819820b02441
children 05b82b7050f2
files Dockerfile
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Dockerfile	Wed Oct 26 15:05:37 2016 +0900
+++ b/Dockerfile	Wed Oct 26 15:09:12 2016 +0900
@@ -9,3 +9,6 @@
 WORKDIR /root/tapl-original
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz
 RUN tar xzf arith.tar.gz
+
+WORKDIR /root/
+RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/tapl