diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-05-27 06:46:52 +0200 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-05-27 08:42:08 +0200 |
| commit | feeb46d236b532eaf6e4b4f48925467a3573a207 (patch) | |
| tree | 65f0506d3f7fa856ddf92434956d450ca65ca421 /dist/linux/docker/run | |
| parent | b350596efe2ff4da88b25de862d5ed4931386a46 (diff) | |
| download | ghdl-feeb46d236b532eaf6e4b4f48925467a3573a207.tar.gz ghdl-feeb46d236b532eaf6e4b4f48925467a3573a207.tar.bz2 ghdl-feeb46d236b532eaf6e4b4f48925467a3573a207.zip | |
move docker-related resources to ghdl/docker
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, 0 insertions, 80 deletions
diff --git a/dist/linux/docker/run/buster b/dist/linux/docker/run/buster deleted file mode 100644 index ff5bbf3da..000000000 --- a/dist/linux/docker/run/buster +++ /dev/null @@ -1,10 +0,0 @@ -# [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 deleted file mode 100644 index ff0e17bc2..000000000 --- a/dist/linux/docker/run/fedora26 +++ /dev/null @@ -1,12 +0,0 @@ -# [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 deleted file mode 100644 index 1d42722eb..000000000 --- a/dist/linux/docker/run/stretch +++ /dev/null @@ -1,10 +0,0 @@ -# [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 deleted file mode 100644 index 6c72d9c19..000000000 --- a/dist/linux/docker/run/ubuntu14 +++ /dev/null @@ -1,16 +0,0 @@ -# [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 deleted file mode 100644 index 2bccad554..000000000 --- a/dist/linux/docker/run/ubuntu16 +++ /dev/null @@ -1,16 +0,0 @@ -# [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 deleted file mode 100644 index 1b2f956ac..000000000 --- a/dist/linux/docker/run/ubuntu18 +++ /dev/null @@ -1,16 +0,0 @@ -# [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 |