From 453e31ef67d7b638f99e540209dfaf6b88266cb7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 10 May 2017 11:27:47 +0200
Subject: [PATCH] First try on docker for Ubuntu 16.10

---
 travis/dockerfiles/Dockerfile.ubuntu-16.10 |  6 ++++++
 travis/dockerfiles/common_install.sh       | 16 ++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 travis/dockerfiles/Dockerfile.ubuntu-16.10
 create mode 100644 travis/dockerfiles/common_install.sh

diff --git a/travis/dockerfiles/Dockerfile.ubuntu-16.10 b/travis/dockerfiles/Dockerfile.ubuntu-16.10
new file mode 100644
index 000000000..94e5bb5dd
--- /dev/null
+++ b/travis/dockerfiles/Dockerfile.ubuntu-16.10
@@ -0,0 +1,6 @@
+FROM ubuntu:16.10
+MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
+
+COPY common_install.sh /
+
+RUN bash -x /common_install.sh
diff --git a/travis/dockerfiles/common_install.sh b/travis/dockerfiles/common_install.sh
new file mode 100644
index 000000000..bd9358bdb
--- /dev/null
+++ b/travis/dockerfiles/common_install.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+# Install dependencies
+
+set -e
+
+apt-get update -qq
+apt-get install -y --no-install-recommends \
+    git \
+    cmake \
+    libboost-all-dev \
+    libcln-dev \
+    libgmp-dev \
+    libginac-dev \
+    automake \
+    libglpk-dev \
+    libhwloc-dev