Support for Debian 9

.travis.yml

@@ -20,6 +20,15 @@ matrix:
       travis/postsubmit.sh DebugPlain
     before_cache:
       docker cp storm:/storm/. .
+  - compiler: gcc
+    env: COMPILER=gcc-6 LINUX=debian-9 TEST=DebugPlain
+    install: export OS=linux; export COMPILER='gcc-6'; export LINUX='debian-9';
+      travis/install_linux.sh
+    os: linux
+    script: export OS=linux; export COMPILER='gcc-6'; export LINUX='debian-9';
+      travis/postsubmit.sh DebugPlain
+    before_cache:
+      docker cp storm:/storm/. .
 #  - compiler: gcc
 #    env: COMPILER=gcc-6 UBUNTU=17.04 TEST=DebugPlain
 #    install: export OS=linux; export COMPILER='gcc-6'; export UBUNTU='17.04'; extras/scripts/travis_ci_install_linux.sh

travis/dockerfiles/Dockerfile.debian-9

@@ -0,0 +1,14 @@
+FROM debian:9
+MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
+
+RUN apt-get update -qq && apt-get install -y --no-install-recommends \
+    build-essential \
+    ruby \
+    git \
+    cmake \
+    libboost-all-dev \
+    libcln-dev \
+    libgmp-dev \
+    libginac-dev \
+    automake \
+    libglpk-dev

travis/dockerfiles/Dockerfile.ubuntu-16.10

@@ -1,6 +1,15 @@
 FROM ubuntu:16.10
 MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
 
-COPY common_install.sh /
-
-RUN bash -x /common_install.sh
+RUN apt-get update -qq && apt-get install -y --no-install-recommends \
+    build-essential \
+    ruby \
+    git \
+    cmake \
+    libboost-all-dev \
+    libcln-dev \
+    libgmp-dev \
+    libginac-dev \
+    automake \
+    libglpk-dev \
+    libhwloc-dev

travis/dockerfiles/build_docker.sh

@@ -1,3 +1,9 @@
 #!/bin/bash
+
+# Build Ubuntu 16.10 "Yakkety Yak"
 docker build -t mvolk/storm-basesystem:ubuntu-16.10 -f Dockerfile.ubuntu-16.10 .
 docker push mvolk/storm-basesystem:ubuntu-16.10
+
+# Build Debian 9 "Stretch"
+docker build -t mvolk/storm-basesystem:debian-9 -f Dockerfile.debian-9 .
+docker push mvolk/storm-basesystem:debian-9

travis/dockerfiles/common_install.sh

@@ -1,18 +0,0 @@
-#!/bin/bash
-# Install dependencies
-
-set -e
-
-apt-get update -qq
-apt-get install -y --no-install-recommends \
-    build-essential \
-    ruby \
-    git \
-    cmake \
-    libboost-all-dev \
-    libcln-dev \
-    libgmp-dev \
-    libginac-dev \
-    automake \
-    libglpk-dev \
-    libhwloc-dev