# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1482048788 0
# Node ID afb2304be45b8e904aa194593627baa6079c84a6
# Parent  4dd4400b48aa7a23deb4646386c219462376bba3# Parent  d924de5deb70224483e98aaf544dffce3ca80953
Merge 20:d924de5deb70

diff -r 4dd4400b48aa -r afb2304be45b Dockerfile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Dockerfile	Sun Dec 18 08:13:08 2016 +0000
@@ -0,0 +1,21 @@
+# docker build -t agda:2.5.1.1 .
+# docker run -it agda:2.5.1.1 zsh
+
+FROM fedora:24
+
+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
+
+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 echo "standard-library" >> /root/.agda/defaults
+RUN echo "/root/.agda/lib/agda-stdlib-0.12/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