use travis stages, use docker multistage builds

6 files changed, 80 insertions, 0 deletions

diff --git a/dist/linux/docker/run/buster b/dist/linux/docker/run/buster
new file mode 100644
index 000000000..ff5bbf3da
--- /dev/null
+++ b/dist/linux/docker/run/buster
@@ -0,0 +1,10 @@
+# [run] Debian 10
+
+FROM debian:buster-slim AS mcode
+
+RUN apt-get update -qq \
+ && apt-get -y install libgnat-7 gcc libc6-dev \
+ && apt-get autoclean && apt-get clean && apt-get autoremove
+
+
+FROM mcode AS mcode-gpl
diff --git a/dist/linux/docker/run/fedora26 b/dist/linux/docker/run/fedora26
new file mode 100644
index 000000000..ff0e17bc2
--- /dev/null
+++ b/dist/linux/docker/run/fedora26
@@ -0,0 +1,12 @@
+# [run] Fedora 26
+
+FROM fedora:26 AS mcode
+
+RUN dnf --nodocs -y install libgnat gcc \
+  && dnf clean all --enablerepo=\*
+
+
+FROM mcode AS llvm
+
+RUN dnf --nodocs -y install llvm-libs zlib-devel \
+  && dnf clean all --enablerepo=\*
diff --git a/dist/linux/docker/run/stretch b/dist/linux/docker/run/stretch
new file mode 100644
index 000000000..1d42722eb
--- /dev/null
+++ b/dist/linux/docker/run/stretch
@@ -0,0 +1,10 @@
+# [run] Debian 9
+
+FROM debian:stretch-slim AS mcode
+
+RUN apt-get update -qq \
+ && apt-get -y install libgnat-6 gcc libc6-dev \
+ && apt-get autoclean && apt-get clean && apt-get autoremove
+
+
+FROM mcode AS mcode-gpl
diff --git a/dist/linux/docker/run/ubuntu14 b/dist/linux/docker/run/ubuntu14
new file mode 100644
index 000000000..6c72d9c19
--- /dev/null
+++ b/dist/linux/docker/run/ubuntu14
@@ -0,0 +1,16 @@
+# [run] Ubuntu 14
+
+FROM ubuntu:trusty AS mcode
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            libgnat-4.6 gcc libc6-dev \
+  && apt-get autoclean && apt-get clean && apt-get autoremove
+
+
+FROM mcode AS llvm-3.8
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            libllvm-3.8 zlib1g-dev \
+  && apt-get autoclean && apt-get clean && apt-get autoremove
diff --git a/dist/linux/docker/run/ubuntu16 b/dist/linux/docker/run/ubuntu16
new file mode 100644
index 000000000..2bccad554
--- /dev/null
+++ b/dist/linux/docker/run/ubuntu16
@@ -0,0 +1,16 @@
+# [run] Ubuntu 16
+
+FROM ubuntu:xenial AS mcode
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            libgnat-4.9 gcc libc6-dev \
+  && apt-get autoclean && apt-get clean && apt-get autoremove
+
+
+FROM mcode AS llvm-3.9
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            libllvm-3.9 zlib1g-dev \
+  && apt-get autoclean && apt-get clean && apt-get autoremove
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