Mercurial > hg > Members > atton > tapl

changeset 7:a5cb1e3736a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add "untyped" from original tapl source
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 31 Oct 2016 10:43:23 +0900
parents ffa168243916
children 5fa32bb75df6
files Dockerfile
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Dockerfile	Wed Oct 26 12:13:13 2016 +0000
+++ b/Dockerfile	Mon Oct 31 10:43:23 2016 +0900
@@ -3,12 +3,14 @@
 
 FROM fedora:24
 
-RUN dnf install -y ocaml wget vim zsh git mercurial ghc cabal-install tar zlib zlib-devel ghc-parsec make
+RUN dnf install -y ocaml wget vim zsh git mercurial ghc cabal-install tar zlib zlib-devel ghc-parsec make findutils
 
 RUN mkdir -p /root/tapl-original
 WORKDIR /root/tapl-original
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz
-RUN tar xzf arith.tar.gz
+RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped.tar.gz
+RUN find . -name "*.tar.gz" | xargs -L1 tar xzf
+RUN rm -rf *.tar.gz
 
 WORKDIR /root/
 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/tapl