blob: 7dee79349adb890f641f1c6f3b9730ab1194c5e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
FROM ubuntu
# Install apt deps
RUN apt-get update && apt-get install -y --no-install-recommends ca-certificates build-essential libgmp-dev z3 libz3-dev opam rsync pkg-config m4 zlib1g-dev
# Configure opam
RUN opam init -y --no-setup --compiler=4.10.0 --shell=sh --disable-sandboxing
# Copy code
WORKDIR /sail-src
COPY . /sail-src
# build
RUN opam pin -y add sail $PWD
ENTRYPOINT [ "/sail-src/docker_entry_point.sh" ]
|
