From def5cfad300d401b05bbabfa4774c3089587e5be Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 2 Jan 2019 07:41:12 +0000 Subject: [PATCH] Initial commit debian4isabelle. --- README.md | 4 ++++ build.sh | 4 ++++ debian4isabelle/Dockerfile | 14 ++++++++++++++ 3 files changed, 22 insertions(+) create mode 100755 build.sh create mode 100644 debian4isabelle/Dockerfile diff --git a/README.md b/README.md index 31e560e..e494c4d 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,10 @@ and projects based on [Isabelle](https://isabelle.in.tum.de). ## 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 diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..115fd0a --- /dev/null +++ b/build.sh @@ -0,0 +1,4 @@ +#!/bin/bash +set -e + +docker build -t logicalhacking:debian4isabelle debian4isabelle diff --git a/debian4isabelle/Dockerfile b/debian4isabelle/Dockerfile new file mode 100644 index 0000000..a4cc0e5 --- /dev/null +++ b/debian4isabelle/Dockerfile @@ -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