2017-01-31 04:26:57 -05:00
|
|
|
# Pin the base image to a specific hash for maximum reproducibility.
|
2020-10-26 11:19:30 -04:00
|
|
|
# It will probably still work on newer images, though, unless an update
|
2017-01-31 04:26:57 -05:00
|
|
|
# changes some compiler optimisations (unlikely).
|
2020-12-03 11:11:56 -05:00
|
|
|
#FROM ocurrent/opam:fedora-32-ocaml-4.11
|
|
|
|
FROM ocurrent/opam@sha256:fce44a073ff874166b51c33a4e37782286d48dbba1b5aa43563a0dd35d15510f
|
2017-01-28 08:44:21 -05:00
|
|
|
|
|
|
|
# Pin last known-good version for reproducible builds.
|
2017-01-31 04:26:57 -05:00
|
|
|
# Remove this line (and the base image pin above) if you want to test with the
|
|
|
|
# latest versions.
|
2021-11-05 13:55:30 -04:00
|
|
|
RUN cd ~/opam-repository && git fetch origin master && git reset --hard 87ef72b5cd492573258eb1b6f3b30c88af31ae3f && opam update
|
2017-01-28 08:44:21 -05:00
|
|
|
|
2020-08-19 09:09:01 -04:00
|
|
|
RUN opam depext -i -y mirage
|
2017-01-09 11:45:16 -05:00
|
|
|
RUN mkdir /home/opam/qubes-mirage-firewall
|
|
|
|
ADD config.ml /home/opam/qubes-mirage-firewall/config.ml
|
|
|
|
WORKDIR /home/opam/qubes-mirage-firewall
|
2017-03-05 11:31:04 -05:00
|
|
|
RUN opam config exec -- mirage configure -t xen && make depend
|
|
|
|
CMD opam config exec -- mirage configure -t xen && \
|
2017-01-09 11:45:16 -05:00
|
|
|
opam config exec -- make tar
|