diff options
Diffstat (limited to 'dist/linux/docker/run')
-rw-r--r-- | dist/linux/docker/run/buster | 10 | ||||
-rw-r--r-- | dist/linux/docker/run/fedora26 | 12 | ||||
-rw-r--r-- | dist/linux/docker/run/stretch | 10 | ||||
-rw-r--r-- | dist/linux/docker/run/ubuntu14 | 16 | ||||
-rw-r--r-- | dist/linux/docker/run/ubuntu16 | 16 | ||||
-rw-r--r-- | dist/linux/docker/run/ubuntu18 | 16 |
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 |