# This file provides the necessary dependencies to build and run BMCTool.

FROM debian:sid
MAINTAINER Anissa Kheireddine <akheireddine@lrde.epita.fr>

WORKDIR /build

RUN apt-get update                                                                     \
 && apt-get install -y --force-yes --no-install-recommends                             \
    ca-certificates  gcc g++ git flex bison libtool autoconf                           \
    cmake automake libxml2-dev gzip doxygen libgmp-dev libreadline-dev ccache          \
    python2.7 libz-dev patch make