Mercurial > hg > Members > atton > agda-proofs

comparison Dockerfile @ 30:8ce6a3f51523

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 d924de5deb70
children
comparison
equal deleted inserted replaced
29:b8e606ab3a0b 30:8ce6a3f51523
1 # docker build -t agda:2.5.1.1 . 1 # docker build -t agda:2.5.2 .
2 # docker run -it agda:2.5.1.1 zsh 2 # docker run -it agda:2.5.2 zsh
3 3
4 FROM fedora:24 4 FROM fedora:25
5 5
6 RUN dnf update -y 6 RUN dnf update -y
7 RUN dnf install -y ghc emacs vim mercurial git cabal-install zlib zlib-devel zsh wget tar man 7 RUN dnf install -y ghc emacs vim mercurial git cabal-install zlib zlib-devel zsh wget tar man
8 RUN cabal update 8 RUN cabal update
9 RUN cabal install cabal-install 9 RUN cabal install cabal-install
10 RUN cabal install happy-1.19.5 alex-3.1.7 10 RUN cabal install happy-1.19.5 alex-3.2.1 cpphs-1.20.2
11 RUN cabal install --force-reinstalls agda-2.5.1.1 11 RUN cabal install --force-reinstalls agda-2.5.2
12 12
13 WORKDIR /tmp 13 WORKDIR /tmp
14 RUN mkdir -p /root/.agda/lib 14 RUN mkdir -p /root/.agda/lib
15 RUN wget https://github.com/agda/agda-stdlib/archive/v0.12.tar.gz 15 RUN wget https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz
16 RUN tar xzf v0.12.tar.gz -C /root/.agda/lib 16 RUN tar xzf v0.13.tar.gz -C /root/.agda/lib
17 RUN echo "standard-library" >> /root/.agda/defaults 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 18 RUN echo "/root/.agda/lib/agda-stdlib-0.13/standard-library.agda-lib" >> /root/.agda/libraries
19 19
20 WORKDIR /root 20 WORKDIR /root
21 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/agda-proofs 21 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/agda-proofs