First try on docker for Ubuntu 16.10

8 years ago · 453e31ef67
2 changed files with 22 additions and 0 deletions
--- a/travis/dockerfiles/Dockerfile.ubuntu-16.10
+++ 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
--- a/travis/dockerfiles/common_install.sh
+++ 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