From 765890f3f228915b651afcc43eabc7843c605768 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 2 Oct 2017 12:11:05 +0200
Subject: [PATCH] Moved dockerfiles to own repository

---
 travis/dockerfiles/Dockerfile.debian-9     | 16 ----------------
 travis/dockerfiles/Dockerfile.storm        |  8 --------
 travis/dockerfiles/Dockerfile.ubuntu-16.10 | 17 -----------------
 travis/dockerfiles/build_carl.sh           |  9 ---------
 travis/dockerfiles/build_docker.sh         |  9 ---------
 travis/dockerfiles/build_storm.sh          |  9 ---------
 6 files changed, 68 deletions(-)
 delete mode 100644 travis/dockerfiles/Dockerfile.debian-9
 delete mode 100644 travis/dockerfiles/Dockerfile.storm
 delete mode 100644 travis/dockerfiles/Dockerfile.ubuntu-16.10
 delete mode 100755 travis/dockerfiles/build_carl.sh
 delete mode 100755 travis/dockerfiles/build_docker.sh
 delete mode 100755 travis/dockerfiles/build_storm.sh

diff --git a/travis/dockerfiles/Dockerfile.debian-9 b/travis/dockerfiles/Dockerfile.debian-9
deleted file mode 100644
index 3735b38fd..000000000
--- a/travis/dockerfiles/Dockerfile.debian-9
+++ /dev/null
@@ -1,16 +0,0 @@
-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 \
-    libeigen3-dev \
-    libgmp-dev \
-    libginac-dev \
-    automake \
-    libglpk-dev \
-    libz3-dev
diff --git a/travis/dockerfiles/Dockerfile.storm b/travis/dockerfiles/Dockerfile.storm
deleted file mode 100644
index 272b97825..000000000
--- a/travis/dockerfiles/Dockerfile.storm
+++ /dev/null
@@ -1,8 +0,0 @@
-FROM mvolk/storm-basesystem:ubuntu-16.10
-MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
-
-COPY build_carl.sh /opt
-RUN cd opt && ./build_carl.sh
-
-COPY build_storm.sh /opt
-RUN cd opt && ./build_storm.sh
diff --git a/travis/dockerfiles/Dockerfile.ubuntu-16.10 b/travis/dockerfiles/Dockerfile.ubuntu-16.10
deleted file mode 100644
index a612faccb..000000000
--- a/travis/dockerfiles/Dockerfile.ubuntu-16.10
+++ /dev/null
@@ -1,17 +0,0 @@
-FROM ubuntu:16.10
-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 \
-    libeigen3-dev \
-    libgmp-dev \
-    libginac-dev \
-    automake \
-    libglpk-dev \
-    libhwloc-dev \
-    libz3-dev
diff --git a/travis/dockerfiles/build_carl.sh b/travis/dockerfiles/build_carl.sh
deleted file mode 100755
index fc3d43d22..000000000
--- a/travis/dockerfiles/build_carl.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-echo "Building Carl..."
-git clone https://github.com/smtrat/carl.git
-cd carl
-mkdir build
-cd build
-cmake .. -DCMAKE_BUILD_TYPE=Release -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON
-make lib_carl -j2
-echo "Building Carl finished"
diff --git a/travis/dockerfiles/build_docker.sh b/travis/dockerfiles/build_docker.sh
deleted file mode 100755
index 280710566..000000000
--- a/travis/dockerfiles/build_docker.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/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
diff --git a/travis/dockerfiles/build_storm.sh b/travis/dockerfiles/build_storm.sh
deleted file mode 100755
index 4c11b708d..000000000
--- a/travis/dockerfiles/build_storm.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-echo "Building Storm..."
-git clone https://github.com/moves-rwth/storm.git
-cd storm
-mkdir build
-cd build
-cmake .. -DCMAKE_BUILD_TYPE=Release
-make storm storm-dft storm-pars -j1
-echo "Building Storm finished"