Mercurial > hg > Members > atton > tapl
changeset 14:eae814cb4b34
Add fullsimple
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 04 Nov 2016 14:21:20 +0900 |
parents | 17b9b80fa047 |
children | 65d29d8b3f48 |
files | Dockerfile |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/Dockerfile Fri Nov 04 05:11:16 2016 +0000 +++ b/Dockerfile Fri Nov 04 14:21:20 2016 +0900 @@ -10,6 +10,7 @@ RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped.tar.gz RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool.tar.gz +RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/fullsimple.tar.gz RUN find . -name "*.tar.gz" | xargs -L1 tar xzf RUN rm -rf *.tar.gz