aboutsummaryrefslogtreecommitdiffstats
path: root/dist/linux/docker/build/stretch
diff options
context:
space:
mode:
author1138-4EB <1138-4EB@users.noreply.github.com>2017-12-12 21:55:52 +0100
committertgingold <tgingold@users.noreply.github.com>2017-12-16 20:29:52 +0100
commit5ca9bee36d81c34d16711efd4910c4ef3278fb3e (patch)
tree8aa13d5febcb243579550abd7504fc3c5bf9a7a9 /dist/linux/docker/build/stretch
parente89bb574675e6225110a654f712b8ea916609cc2 (diff)
downloadghdl-5ca9bee36d81c34d16711efd4910c4ef3278fb3e.tar.gz
ghdl-5ca9bee36d81c34d16711efd4910c4ef3278fb3e.tar.bz2
ghdl-5ca9bee36d81c34d16711efd4910c4ef3278fb3e.zip
use travis stages, use docker multistage builds
Diffstat (limited to 'dist/linux/docker/build/stretch')
-rw-r--r--dist/linux/docker/build/stretch11
1 files changed, 11 insertions, 0 deletions
diff --git a/dist/linux/docker/build/stretch b/dist/linux/docker/build/stretch
new file mode 100644
index 000000000..9803a5619
--- /dev/null
+++ b/dist/linux/docker/build/stretch
@@ -0,0 +1,11 @@
+# [build] Debian 9
+
+FROM debian:stretch-slim AS mcode
+
+RUN apt-get update -qq \
+ && apt-get -y install --no-install-recommends \
+ gnat gcc make zlib1g-dev \
+ && apt-get autoclean && apt-get clean && apt-get autoremove
+
+
+FROM mcode AS mcode-gpl