1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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"]
|
