Mercurial > hg > Members > atton > tapl

changeset 0:819820b02441

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Dockerfile
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 26 Oct 2016 15:05:37 +0900
parents
children 26ca6abffce1
files Dockerfile
diffstat 1 files changed, 11 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Dockerfile	Wed Oct 26 15:05:37 2016 +0900
@@ -0,0 +1,11 @@
+# docker build -t tapl .
+# docker run -it tapl zsh
+
+FROM fedora:24
+
+RUN dnf install -y ocaml wget vim zsh git mercurial ghc cabal-install tar zlib zlib-devel ghc-parsec make
+
+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