Mercurial > hg > Members > atton > agda-proofs
comparison Dockerfile @ 21:afb2304be45b
Merge 20:d924de5deb70
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 18 Dec 2016 08:13:08 +0000 |
| parents | d924de5deb70 |
| children | 8ce6a3f51523 |
comparison
equal
deleted
inserted
replaced
| 20:4dd4400b48aa | 21:afb2304be45b |
|---|---|
| 1 # docker build -t agda:2.5.1.1 . | |
| 2 # docker run -it agda:2.5.1.1 zsh | |
| 3 | |
| 4 FROM fedora:24 | |
| 5 | |
| 6 RUN dnf update -y | |
| 7 RUN dnf install -y ghc emacs vim mercurial git cabal-install zlib zlib-devel zsh wget tar man | |
| 8 RUN cabal update | |
| 9 RUN cabal install cabal-install | |
| 10 RUN cabal install happy-1.19.5 alex-3.1.7 | |
| 11 RUN cabal install --force-reinstalls agda-2.5.1.1 | |
| 12 | |
| 13 WORKDIR /tmp | |
| 14 RUN mkdir -p /root/.agda/lib | |
| 15 RUN wget https://github.com/agda/agda-stdlib/archive/v0.12.tar.gz | |
| 16 RUN tar xzf v0.12.tar.gz -C /root/.agda/lib | |
| 17 RUN echo "standard-library" >> /root/.agda/defaults | |
| 18 RUN echo "/root/.agda/lib/agda-stdlib-0.12/standard-library.agda-lib" >> /root/.agda/libraries | |
| 19 | |
| 20 WORKDIR /root | |
| 21 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/agda-proofs |