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/buster | |
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/buster')
-rw-r--r-- | dist/linux/docker/run/buster | 10 |
1 files changed, 0 insertions, 10 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 |