From 1e720a97df5db9507cc0f0b5dcb1068a4b1a962d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 10 May 2017 13:33:08 +0200
Subject: [PATCH] Next try with docker and Ubuntu

---
 .travis.yml             |  6 +++---
 travis/install_linux.sh |  0
 travis/postsubmit.sh    | 34 +++++++++++++++++-----------------
 3 files changed, 20 insertions(+), 20 deletions(-)
 mode change 100644 => 100755 travis/install_linux.sh

diff --git a/.travis.yml b/.travis.yml
index 9e2af70c6..7cec6968b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,11 +12,11 @@ matrix:
 
   include:
   - compiler: gcc
-    env: COMPILER=gcc-6 UBUNTU=16.10 TEST=DebugPlain
-    install: export OS=linux; export COMPILER='gcc-6'; export UBUNTU='16.10';
+    env: COMPILER=gcc-6 LINUX=ubuntu-16.10 TEST=DebugPlain
+    install: export OS=linux; export COMPILER='gcc-6'; export LINUX='ubuntu-16.10';
       travis/install_linux.sh
     os: linux
-    script: export OS=linux; export COMPILER='gcc-6'; export UBUNTU='16.10';
+    script: export OS=linux; export COMPILER='gcc-6'; export LINUX='ubuntu-16.10';
       timeout 2400 travis/postsubmit.sh DebugPlain
 #  - compiler: gcc
 #    env: COMPILER=gcc-6 UBUNTU=17.04 TEST=DebugPlain
diff --git a/travis/install_linux.sh b/travis/install_linux.sh
old mode 100644
new mode 100755
diff --git a/travis/postsubmit.sh b/travis/postsubmit.sh
index 0b3893ce9..f875ce86f 100755
--- a/travis/postsubmit.sh
+++ b/travis/postsubmit.sh
@@ -12,34 +12,34 @@ fi
 
 case $OS in
 linux)
-    echo "Linux currently unsupported"
-    exit 2
-#    docker rm -f fruit &>/dev/null || true
-#    docker run -d -it --name fruit --privileged polettimarco/fruit-basesystem:ubuntu-$UBUNTU
-#    docker exec fruit mkdir fruit
-#    docker cp . fruit:/fruit
-#
-#    docker exec fruit bash -c "
-#        export COMPILER=$COMPILER;
-#        export N_JOBS=$N_JOBS;
-#        export STLARG=$STLARG;
-#        export ASAN_OPTIONS=$ASAN_OPTIONS;
-#        export OS=$OS;
-#        cd fruit; travis/postsubmit-helper.sh $1"
-#    exit $?
+    # Execute docker image on linux
+    docker rm -f storm &>/dev/null || true
+    docker run -d -it --name storm --privileged mvolk/storm-basesystem:$LINUX
+    docker exec storm mkdir storm
+    docker cp . storm:/storm
+
+    docker exec storm bash -c "
+        export COMPILER=$COMPILER;
+        export N_JOBS=$N_JOBS;
+        export STLARG=$STLARG;
+        export OS=$OS;
+        cd storm;
+        travis/postsubmit-helper.sh $1"
+    exit $?
     ;;
 
 osx)
+    # Mac OSX
     export COMPILER
     export N_JOBS
     export STLARG
-    export ASAN_OPTIONS
     export OS
-    travis/postsubmit-helper.sh "$@"
+    travis/postsubmit-helper.sh "$1"
     exit $?
     ;;
 
 *)
+    # Other OS
     echo "Unsupported OS: $OS"
     exit 1
 esac