Mercurial > hg > Members > atton > tapl

annotate Dockerfile @ 14:eae814cb4b34

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add fullsimple
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 04 Nov 2016 14:21:20 +0900
parents 3a4b3f0e595b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # docker build -t tapl .
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 # docker run -it tapl zsh
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 FROM fedora:24
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
10
62a6f4ddf486 Update Dockerfile
atton
parents: 7
diff changeset
6 RUN dnf install -y ocaml wget vim zsh git mercurial ghc cabal-install tar zlib zlib-devel ghc-parsec make findutils man glibc-langpack-en
0
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 RUN mkdir -p /root/tapl-original
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 WORKDIR /root/tapl-original
819820b02441 Add Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz
7
a5cb1e3736a9 Add "untyped" from original tapl source
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
11 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped.tar.gz
11
3a4b3f0e595b Add simplebool
atton
parents: 10
diff changeset
12 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool.tar.gz
14
eae814cb4b34 Add fullsimple
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
13 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/fullsimple.tar.gz
7
a5cb1e3736a9 Add "untyped" from original tapl source
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
14 RUN find . -name "*.tar.gz" | xargs -L1 tar xzf
a5cb1e3736a9 Add "untyped" from original tapl source
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
15 RUN rm -rf *.tar.gz
1
26ca6abffce1 Update Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
16
26ca6abffce1 Update Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
17 WORKDIR /root/
26ca6abffce1 Update Dockerfile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
18 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/tapl