6 files changed, 82 insertions, 0 deletions
diff --git a/dist/linux/docker/build/buster b/dist/linux/docker/build/buster
new file mode 100644
index 000000000..776b51485
--- /dev/null
+++ b/dist/linux/docker/build/buster
@@ -0,0 +1,11 @@
+# [build] Debian 10
+
+FROM debian:buster-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
diff --git a/dist/linux/docker/build/fedora26 b/dist/linux/docker/build/fedora26
new file mode 100644
index 000000000..dfbf99a6c
--- /dev/null
+++ b/dist/linux/docker/build/fedora26
@@ -0,0 +1,12 @@
+# [build] Fedora 26
+
+FROM fedora:26 AS mcode
+
+RUN dnf --nodocs -y install gcc-gnat zlib-devel make \
+  && dnf clean all --enablerepo=\*
+
+
+FROM mcode AS llvm
+
+RUN dnf --nodocs -y install llvm-devel gcc-c++ clang \
+    && dnf clean all --enablerepo=\*
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
diff --git a/dist/linux/docker/build/ubuntu14 b/dist/linux/docker/build/ubuntu14
new file mode 100644
index 000000000..924fd7297
--- /dev/null
+++ b/dist/linux/docker/build/ubuntu14
@@ -0,0 +1,16 @@
+# [build] Ubuntu 14
+
+FROM ubuntu:trusty 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 llvm-3.8
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            llvm-3.8-dev clang-3.8 \
+  && apt-get autoclean && apt-get clean && apt-get autoremove
diff --git a/dist/linux/docker/build/ubuntu16 b/dist/linux/docker/build/ubuntu16
new file mode 100644
index 000000000..308377e19
--- /dev/null
+++ b/dist/linux/docker/build/ubuntu16
@@ -0,0 +1,16 @@
+# [build] Ubuntu 16
+
+FROM ubuntu:xenial 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 llvm-3.9
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            llvm-3.9-dev clang-3.9 \
+  && apt-get autoclean && apt-get clean && apt-get autoremove
diff --git a/dist/linux/docker/build/ubuntu18 b/dist/linux/docker/build/ubuntu18
new file mode 100644
index 000000000..ac514a554
--- /dev/null
+++ b/dist/linux/docker/build/ubuntu18
@@ -0,0 +1,16 @@
+# [build] Ubuntu 18
+
+FROM ubuntu:bionic 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 llvm-5.0
+
+RUN apt-get update -qq \
+  && apt-get -y install --no-install-recommends \
+            llvm-5.0-dev clang-5.0 \
+  && apt-get autoclean && apt-get clean && apt-get autoremove