diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-08-27 04:42:47 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-08-27 04:42:47 +0200 |
| commit | babffb119ed9b7f8659083d120216d44340714ca (patch) | |
| tree | 4d2c51feda1917da554f47e8d31e37faa6a0ad26 /dist/linux/docker | |
| parent | 8342d5af61fc7c936c3f1f8354f3332d47a636b1 (diff) | |
| download | ghdl-babffb119ed9b7f8659083d120216d44340714ca.tar.gz ghdl-babffb119ed9b7f8659083d120216d44340714ca.tar.bz2 ghdl-babffb119ed9b7f8659083d120216d44340714ca.zip | |
travis: add gpl packaging
Diffstat (limited to 'dist/linux/docker')
| -rw-r--r-- | dist/linux/docker/build-stretch+mcode+gpl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dist/linux/docker/build-stretch+mcode+gpl b/dist/linux/docker/build-stretch+mcode+gpl new file mode 100644 index 000000000..2830f0769 --- /dev/null +++ b/dist/linux/docker/build-stretch+mcode+gpl @@ -0,0 +1,7 @@ +# Debian 9 +FROM debian:stretch-slim + +RUN apt-get update -qq \ + && apt-get -y install --no-install-recommends \ + gnat gcc make zlib1g-dev \ + && apt-get clean |