From bd817c08d157e33e55e4b99fed7f7809dcfe2de2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 13 Mar 2015 19:27:11 +0000
Subject: Summary: Experimental Dockerfile

---
 etc/Dockerfile | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 etc/Dockerfile

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"]
-- 
cgit v1.2.3