6 files changed, 0 insertions, 82 deletions
diff --git a/dist/linux/docker/build/buster b/dist/linux/docker/build/buster
deleted file mode 100644
index 776b51485..000000000
--- a/dist/linux/docker/build/buster
+++ /dev/null
@@ -1,11 +0,0 @@
-# [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
deleted file mode 100644
index dfbf99a6c..000000000
--- a/dist/linux/docker/build/fedora26
+++ /dev/null
@@ -1,12 +0,0 @@
-# [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
deleted file mode 100644
index 9803a5619..000000000
--- a/dist/linux/docker/build/stretch
+++ /dev/null
@@ -1,11 +0,0 @@
-# [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
deleted file mode 100644
index 924fd7297..000000000
--- a/dist/linux/docker/build/ubuntu14
+++ /dev/null
@@ -1,16 +0,0 @@
-# [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
deleted file mode 100644
index 308377e19..000000000
--- a/dist/linux/docker/build/ubuntu16
+++ /dev/null
@@ -1,16 +0,0 @@
-# [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
deleted file mode 100644
index ac514a554..000000000
--- a/dist/linux/docker/build/ubuntu18
+++ /dev/null
@@ -1,16 +0,0 @@
-# [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