diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/Dockerfile | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/etc/Dockerfile b/etc/Dockerfile new file mode 100644 index 00000000..23f9026c --- /dev/null +++ b/etc/Dockerfile @@ -0,0 +1,32 @@ +FROM dockerfile/ubuntu:latest +MAINTAINER David Aspinall + +RUN apt-get update + +# Install Emacs and Proof General +RUN \ + apt-get install -y emacs && \ + cd /tmp && \ + wget http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-latest.tgz && \ + tar -xpzf ProofGeneral-latest.tgz && \ + cd ProofGeneral && \ + make clean; make install && \ + rm -rf /tmp/ProofGeneral* + +# Get some theorem provers... +RUN \ + apt-get install -y coq + +RUN \ + cd /tmp && \ + wget http://isabelle.in.tum.de/dist/Isabelle2014_linux.tar.gz && \ + cd /usr/local && tar -xpzf Isabelle_2014_linux.tar.gz + +# Cleanup +RUN rm -rf /var/lib/apt/lists* + +# Define working directory. +WORKDIR /proofgeneral + +# Define default command. +CMD ["proofgeneral"] |