Dockerfile

FROM ubuntu:20.04

ADD . /files

ENV PATH="$HOME/.cabal/bin:/root/.ghcup/bin:/root/.cargo/bin:${PATH}"
ENV RUSTFLAGS="-C target_cpu=native"
ENV BOOTSTRAP_HASKELL_NONINTERACTIVE=0

RUN apt-get update && \
    apt-get install -y --no-install-recommends \
	build-essential curl libffi-dev libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5 \
	git python3 python3-pip python3-dev python2 python2-dev z3 libz3-dev m4 coinor-libcbc-dev && \
    pip3 install pysmps numpy pmlb scikit-learn smcp && \
    curl https://sh.rustup.rs -sSf | bash -s -- -y && \
    curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh && \
    rm -rf /var/lib/apt/lists/*

RUN ghcup install stack && \
    rustup toolchain install nightly-2022-03-16 && \
    cd /files/deps && \
    tar xvf lp_solve_5.5.2.11_dev_ux64.tar.gz  --one-top-level=dev && \
    tar xvf lp_solve_5.5.2.11_exe_ux64.tar.gz  --one-top-level=exe && \
    tar xvf lp_solve_5.5.2.11_Python_source.tar.gz --one-top-level=Python && \
    tar xvf csdp6.2.0linuxx86_64.tgz && \
    cp csdp6.2.0linuxx86_64/bin/csdp /usr/bin/ && \
    cd dev && cp *.h /usr/include/ && cp liblpsolve55.a /usr/lib/ && cp liblpsolve55.so /usr/lib/ && cd .. && \
    cd exe && cp *.so /usr/lib/ && cp lp_solve /usr/bin/ && cd .. && \
    cd Python/lp_solve_5.5/extra/Python && python2 setup.py install

RUN \
    cd /files/compiler && \
    stack build && \
    cd /files/spartan-zkinterface && \
    cargo build --release && \
    cd /files/rust-circ && \
    rustup override set nightly-2021-11-15 && \
    cargo build --release --example circ

WORKDIR "/files"
CMD "/bin/bash"