Mercurial > hg > Members > atton > agda-proofs
changeset 30:8ce6a3f51523
Update Agda to 2.5.2
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 30 Dec 2016 14:23:22 +0900 |
| parents | b8e606ab3a0b |
| children | dc6a09d4f900 |
| files | Dockerfile |
| diffstat | 1 files changed, 8 insertions(+), 8 deletions(-) [+] |
line wrap: on
line diff
--- a/Dockerfile Fri Dec 23 16:14:36 2016 +0000 +++ b/Dockerfile Fri Dec 30 14:23:22 2016 +0900 @@ -1,21 +1,21 @@ -# docker build -t agda:2.5.1.1 . -# docker run -it agda:2.5.1.1 zsh +# docker build -t agda:2.5.2 . +# docker run -it agda:2.5.2 zsh -FROM fedora:24 +FROM fedora:25 RUN dnf update -y RUN dnf install -y ghc emacs vim mercurial git cabal-install zlib zlib-devel zsh wget tar man RUN cabal update RUN cabal install cabal-install -RUN cabal install happy-1.19.5 alex-3.1.7 -RUN cabal install --force-reinstalls agda-2.5.1.1 +RUN cabal install happy-1.19.5 alex-3.2.1 cpphs-1.20.2 +RUN cabal install --force-reinstalls agda-2.5.2 WORKDIR /tmp RUN mkdir -p /root/.agda/lib -RUN wget https://github.com/agda/agda-stdlib/archive/v0.12.tar.gz -RUN tar xzf v0.12.tar.gz -C /root/.agda/lib +RUN wget https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz +RUN tar xzf v0.13.tar.gz -C /root/.agda/lib RUN echo "standard-library" >> /root/.agda/defaults -RUN echo "/root/.agda/lib/agda-stdlib-0.12/standard-library.agda-lib" >> /root/.agda/libraries +RUN echo "/root/.agda/lib/agda-stdlib-0.13/standard-library.agda-lib" >> /root/.agda/libraries WORKDIR /root RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/agda-proofs