-
Notifications
You must be signed in to change notification settings - Fork 2
/
Dockerfile
50 lines (48 loc) · 1.55 KB
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
# syntax=docker/dockerfile:1
# building coar
FROM ocaml/opam:ubuntu-22.04-ocaml-5.1 AS builder
USER opam:opam
RUN sudo apt update && sudo apt install -y \
libblas-dev \
libffi-dev \
libglpk-dev \
libgmp-dev \
liblapack-dev \
libmpfr-dev \
pkg-config \
python3 \
&& sudo apt clean \
&& sudo rm -rf /var/lib/apt/lists/*
# RUN opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git
COPY --chown=opam:opam ./CoAR.opam /home/opam/coar/CoAR.opam
WORKDIR /home/opam/coar
# build libraries
RUN opam update \
&& opam install . --deps-only \
&& opam install dune
# build coar
COPY --chown=opam:opam . /home/opam/coar/
RUN eval $(opam env) && dune build main.exe
FROM ubuntu:22.04
RUN apt update \
&& apt install -y \
libblas-dev \
libffi-dev \
libglpk-dev \
libgmp-dev \
liblapack-dev \
libmpfr-dev \
pkg-config \
&& apt clean \
&& rm -rf /var/lib/apt/lists/*
# Copy a stub library to call libz3 from a ocaml program
COPY --from=builder /home/opam/.opam/5.1/lib/stublibs/libz3.so /usr/lib/x86_64-linux-gnu/
COPY --from=builder /home/opam/.opam/5.1/lib/stublibs/libz3.so /usr/lib/aarch64-linux-gnu/
# Copy coar
COPY --from=builder /home/opam/coar/_build/default/main.exe /root/coar/
COPY README.md LICENSE CoAR.opam /root/coar/
COPY config /root/coar/config
# Copy ocaml library for ocaml program verification
COPY --from=builder /home/opam/.opam/5.1/lib/ocaml /home/opam/.opam/5.1/lib/ocaml
ENV PATH="${PATH}:/root/coar"
CMD ["/bin/bash"]