FROM ubuntu:16.04 as builder

LABEL maintainer="Mate Soos"
LABEL version="5.0"
LABEL Description="An advanced SAT solver"

# get curl, etc
RUN apt-get update && apt-get install --no-install-recommends -y software-properties-common && rm -rf /var/lib/apt/lists/*
RUN add-apt-repository -y ppa:ubuntu-toolchain-r/test && rm -rf /var/lib/apt/lists/*
RUN apt-get update && apt-get install --no-install-recommends -y libboost-program-options-dev gcc g++ make cmake zlib1g-dev wget && rm -rf /var/lib/apt/lists/*
RUN apt-get update && apt-get install --no-install-recommends -y bison flex \
    && rm -rf /var/lib/apt/lists/*

# get M4RI
RUN mkdir /m4ri-20140914
WORKDIR /m4ri-20140914
RUN wget https://bitbucket.org/malb/m4ri/downloads/m4ri-20140914.tar.gz \
    && tar -xvf m4ri-20140914.tar.gz
WORKDIR /m4ri-20140914/m4ri-20140914
RUN ./configure
RUN make -j6
RUN make install
RUN make clean

# build CMS
RUN mkdir /cms
WORKDIR /cms
RUN wget -O cryptominisat.tgz https://github.com/msoos/cryptominisat/archive/5.8.0.tar.gz
RUN tar xvf cryptominisat.tgz --strip-components 1
RUN mkdir build
WORKDIR /cms/build
RUN cmake -DENABLE_ASSERTIONS=OFF -DCMAKE_BUILD_TYPE=Release -DSTATICCOMPILE=ON ..
RUN make -j6
RUN make install

RUN mkdir /minisat
WORKDIR /minisat
RUN wget -O minisat.tgz https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz
RUN tar xvf minisat.tgz --strip-components 1
RUN mkdir build
WORKDIR /minisat/build
RUN cmake ..
RUN make -j6
RUN make install

# build stp
RUN mkdir /stp
WORKDIR /stp
COPY . /stp
RUN mkdir build
WORKDIR /stp/build
RUN cmake -DENABLE_ASSERTIONS=OFF -DSTATICCOMPILE=ON -DCMAKE_BUILD_TYPE=Release  ..
RUN make -j6
RUN make install

# set up for running
# set up for running
FROM alpine:latest
COPY --from=builder /usr/local/bin/stp /usr/local/bin/stp
ENTRYPOINT ["/usr/local/bin/stp", "--SMTLIB2"]

# --------------------
# HOW TO USE
# --------------------
# on file through STDIN:
#    cat myfile.smt | docker run --rm -i -a stdin -a stdout stp