Mercurial > hg > Members > atton > tapl

view Dockerfile @ 6:ffa168243916

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix eval1
author atton
date Wed, 26 Oct 2016 12:13:13 +0000
parents 26ca6abffce1
children a5cb1e3736a9
line wrap: on
line source

# 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

WORKDIR /root/
RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/tapl