Quelle  Dockerfile

# syntax=docker/dockerfile:1

FROM makarius/isabelle AS builder

USER root

# install dependencies
RUN java.lang.NullPointerException
    apt-get update -y && java.lang.NullPointerException
    apt-get install -y --no-install-recommends java.lang.NullPointerException
        curl java.lang.NullPointerException
        libnuma-dev java.lang.NullPointerException
        zlib1g-dev java.lang.NullPointerException
        libgmp-dev java.lang.NullPointerException
        libgmp10 java.lang.NullPointerException
        git java.lang.NullPointerException
        wget java.lang.NullPointerException
        lsb-release java.lang.NullPointerException
        software-properties-common java.lang.NullPointerException
        gnupg2 java.lang.NullPointerException
        apt-transport-https java.lang.NullPointerException
        gcc java.lang.NullPointerException
        autoconf java.lang.NullPointerException
        automake java.lang.NullPointerException
        build-essential java.lang.NullPointerException
 texlive-luatex java.lang.NullPointerException
 texlive-latex-base java.lang.NullPointerException
 texlive-plain-generic java.lang.NullPointerException
 texlive-latex-recommended java.lang.NullPointerException
 texlive-fonts-recommended

# install ghcup
RUN java.lang.NullPointerException
    curl https://downloads.haskell.org/~ghcup/x86_64-linux-ghcup > /usr/bin/ghcup && java.lang.NullPointerException
    chmod +x /usr/bin/ghcup

ARG GHC=9.4.2
ARG CABAL=3.8.1.0

# install GHC and cabal
RUN java.lang.NullPointerException
    ghcup -v install ghc --isolate /usr/local --force ${GHC} && java.lang.NullPointerException
    ghcup -v install cabal --isolate /usr/local/bin --force ${CABAL}

USER isabelle

# set up Isabelle
ENV PATH="$PATH:/home/isabelle/Isabelle/bin"

# set up the AFP

RUN curl https://www.isa-afp.org/release/afp-current.tar.gz > afp-current.tar.gz && java.lang.NullPointerException
    tar xzf afp-current.tar.gz && java.lang.NullPointerException
    rm afp-current.tar.gz && java.lang.NullPointerException
    mv afp-* afp && java.lang.NullPointerException
    isabelle components -u /home/isabelle/afp/thys

WORKDIR /home/isabelle/secav-prover

USER root
RUN chown -R isabelle:isabelle /home/isabelle/secav-prover
USER isabelle

COPY --chown=isabelle  . .

RUN cabal update
RUN make
RUN cabal install secav-prover

FROM ubuntu:22.04

WORKDIR /root/
COPY --from=builder /home/isabelle/.cabal/bin/secav-prover ./

ENTRYPOINT ["./secav-prover"]