cn/Dockerfile.redhat at main · b13decker/cn · GitHub

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
# Build a minimal cerberus release image
FROM redhat/ubi9:9.4

# Install system packages
RUN yum update -y && \
    yum install -y xz sudo gcc unzip \
    diffutils patch pkgconfig bzip2 \
    git perl wget ca-certificates \
    mpfr-devel gmp-devel m4

# Install OPAM
# See https://opam.ocaml.org/doc/1.2/Install.html
RUN curl -fsSL https://opam.ocaml.org/install.sh | sh

ENV OPAMCONFIRMLEVEL=unsafe-yes
RUN opam init --disable-sandboxing

ADD . /opt/cerberus
WORKDIR /opt/cerberus
RUN opam install --deps-only ./cn.opam
RUN opam install z3

RUN eval `opam env` \
  && make install

WORKDIR /opt

COPY docker_entry_point.sh /opt/docker_entry_point.sh
RUN chmod +x /opt/docker_entry_point.sh
WORKDIR /data
ENTRYPOINT ["/opt/docker_entry_point.sh"]