dequis/tis-kernel repository overview

$ docker run -it --rm -v $PWD:/target dequis/tis-kernel tis-kernel -val -sa -quit foobar.c

FROM ocaml/opam:alpine_ocaml-4.05.0 as builder
RUN sudo apk update && \
    sudo apk add gmp-dev m4 autoconf
RUN opam install zarith easy-format biniou yojson.1.2.3 ocamlfind ocamlgraph -y
RUN git clone https://github.com/TrustInSoft/tis-kernel
RUN eval $(opam config env) && \
    cd tis-kernel && \
    autoconf -f && \
    ./configure "--prefix=$HOME/tis-interpreter" --disable-gui --disable-wp-coq --disable-wp-why3 --disable-wp --with-all-static && \
    make depend && \
    make && \
    make install

FROM alpine:latest
COPY --from=builder /home/opam/tis-interpreter /home/opam/tis-interpreter
RUN apk --no-cache add gmp gcc && \
    mkdir -p /home/opam/.opam/4.05.0/lib/ && \
    touch /home/opam/.opam/4.05.0/lib/findlib.conf

ENV PATH /home/opam/tis-interpreter/bin/:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
WORKDIR /target/