aboutsummaryrefslogtreecommitdiffstats
path: root/dist/linux/docker/run/ubuntu18
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/run/ubuntu18
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/run/ubuntu18')
-rw-r--r--dist/linux/docker/run/ubuntu1816
1 files changed, 16 insertions, 0 deletions
diff --git a/dist/linux/docker/run/ubuntu18 b/dist/linux/docker/run/ubuntu18
new file mode 100644
index 000000000..1b2f956ac
--- /dev/null
+++ b/dist/linux/docker/run/ubuntu18
@@ -0,0 +1,16 @@
+# [run] Ubuntu 18
+
+FROM ubuntu:bionic AS mcode
+
+RUN apt-get update -qq \
+ && apt-get -y install --no-install-recommends \
+ libgnat-7 gcc libc6-dev \
+ && apt-get autoclean && apt-get clean && apt-get autoremove
+
+
+FROM mcode AS llvm-5.0
+
+RUN apt-get update -qq \
+ && apt-get -y install --no-install-recommends \
+ libllvm5.0 zlib1g-dev \
+ && apt-get autoclean && apt-get clean && apt-get autoremove