From 9c1b649eb4c4901574e9d99544336baaeed8bc85 Mon Sep 17 00:00:00 2001 From: gdm85 Date: Wed, 9 Nov 2016 23:35:42 +0100 Subject: [PATCH] Minimal dmd+dub image --- docker/dmd/Dockerfile | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 docker/dmd/Dockerfile diff --git a/docker/dmd/Dockerfile b/docker/dmd/Dockerfile new file mode 100644 index 0000000..faa26e0 --- /dev/null +++ b/docker/dmd/Dockerfile @@ -0,0 +1,18 @@ +## dmd +## +## VERSION 2.072 +## +## a minimal image installing the official .deb for dmd +## the official image would instead compile and install too many dependencies +## +# + +## this image must be debootstrapped with build-wheezy.sh +FROM gdm85/wheezy + +## install deps +RUN export DEBIAN_FRONTEND=noninteractive && apt-get update -y && apt-get install libc6-dev gcc libcurl3 -y + +## install dmd+dub +RUN export DEBIAN_FRONTEND=noninteractive && cd /tmp && wget --quiet http://downloads.dlang.org/releases/2.x/2.072.0/dmd_2.072.0-0_amd64.deb && \ +echo 'cd61bc9d5e511db5d35b3e1410c21f0d38941e038e06c6db2db18e73177efbae dmd_2.072.0-0_amd64.deb' | sha256sum -c && dpkg -i dmd_2.072.0-0_amd64.deb && rm dmd_2.072.0-0_amd64.deb