Mercurial > hg > Members > atton > agda-proofs

annotate Dockerfile @ 62:29b069a0c409

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Define n-push
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 14 Jan 2017 02:22:09 +0000
parents 8ce6a3f51523
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
1 # docker build -t agda:2.5.2 .
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
2 # docker run -it agda:2.5.2 zsh
15
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
30
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
4 FROM fedora:25
15
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 RUN dnf update -y
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 RUN dnf install -y ghc emacs vim mercurial git cabal-install zlib zlib-devel zsh wget tar man
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 RUN cabal update
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 RUN cabal install cabal-install
30
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
10 RUN cabal install happy-1.19.5 alex-3.2.1 cpphs-1.20.2
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
11 RUN cabal install --force-reinstalls agda-2.5.2
15
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 WORKDIR /tmp
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 RUN mkdir -p /root/.agda/lib
30
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
15 RUN wget https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
16 RUN tar xzf v0.13.tar.gz -C /root/.agda/lib
15
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 RUN echo "standard-library" >> /root/.agda/defaults
30
8ce6a3f51523 Update Agda to 2.5.2
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
18 RUN echo "/root/.agda/lib/agda-stdlib-0.13/standard-library.agda-lib" >> /root/.agda/libraries
15
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 WORKDIR /root
d924de5deb70 Add Dockerfile which build Agda 2.5.1.1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/agda-proofs