https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: a53e95a59b1df07faef315386eb33e6b91b6c499 authored by akheireddine on 20 August 2021, 15:52:30 UTC
Compute linear regression of LBD curve
Compute linear regression of LBD curve
Tip revision: a53e95a
Dockerfile
# 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