https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 37073044543a37346c2369f1d4f7c985724edd09 authored by akheireddine on 30 August 2021, 12:42:36 UTC
get minimum attempts script for edacc csv :
get minimum attempts script for edacc csv :
Tip revision: 3707304
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