Initial commit debian4isabelle.
This commit is contained in:
parent
58d8036e69
commit
def5cfad30
|
@ -5,6 +5,10 @@ and projects based on [Isabelle](https://isabelle.in.tum.de).
|
||||||
|
|
||||||
## List of Dockerfiles
|
## List of Dockerfiles
|
||||||
|
|
||||||
|
* [debian4isabelle](debian4isabelle/Dockerfile) provides a generic [Debian](https://www.debian.org)
|
||||||
|
image that serves as basis for the Isabelle docker files. This image is not
|
||||||
|
eagerly optimised for size, as it goal is to include all tools that are required for
|
||||||
|
running Isabelle and tools based on Isabelle (e.g., HOL-TestGen).
|
||||||
|
|
||||||
## Authors
|
## Authors
|
||||||
|
|
||||||
|
|
|
@ -0,0 +1,4 @@
|
||||||
|
#!/bin/bash
|
||||||
|
set -e
|
||||||
|
|
||||||
|
docker build -t logicalhacking:debian4isabelle debian4isabelle
|
|
@ -0,0 +1,14 @@
|
||||||
|
FROM debian:testing-slim
|
||||||
|
|
||||||
|
SHELL ["/bin/bash", "-c"]
|
||||||
|
|
||||||
|
# packages
|
||||||
|
RUN apt-get -y update && \
|
||||||
|
apt-get install -y \
|
||||||
|
# core utilities for getting Isabelle up and running
|
||||||
|
curl less lib32stdc++6 libgomp1 libwww-perl rlwrap unzip \
|
||||||
|
# texlive for Isabelle's PDF document generation
|
||||||
|
texlive-latex-extra \
|
||||||
|
&& \
|
||||||
|
apt-get clean && \
|
||||||
|
rm -rf /usr/share/doc
|
Loading…
Reference in New Issue