FROM --platform=linux/amd64 debian:bookworm AS build

WORKDIR /src

RUN apt-get update \
  && apt-get install -y --no-install-recommends ghc cabal-install z3 \
  && rm -rf /var/lib/apt/lists/*

COPY mint.cabal ./
COPY *.hs ./

RUN cabal update && cabal build
RUN install -Dm755 "$(cabal list-bin mint)" /out/mint

FROM --platform=linux/amd64 debian:bookworm-slim

RUN apt-get update \
  && apt-get install -y --no-install-recommends z3 bash libgmp10 \
  && rm -rf /var/lib/apt/lists/*

ENV LANG=C.UTF-8
ENV LC_ALL=C.UTF-8

COPY termcomp/solver /usr/local/bin/solver
COPY --from=build /out/mint /usr/local/bin/mint

RUN chmod 755 /usr/local/bin/solver /usr/local/bin/mint

ENTRYPOINT ["/usr/local/bin/solver"]
