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