cesar/fayalite-deps
1
0
Fork 0
forked from libre-chip/fayalite-deps
Code Pull requests Activity

Add Rocq to the installed dependencies.

Browse source
This commit is contained in:
Cesar Strauss 2025-12-28 19:12:41 -03:00
parent bcc2656f24
commit 117d2cfcdf
Signed by: cesar
SSH key fingerprint: SHA256:sJUl6USz0D6c6sAQyFZab8XNPJnT05pt2ES0Lv/hCg4
1 changed files with 11 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
Containerfile
View file

@ -27,6 +27,7 @@ RUN apt-get -qq update && apt-get -qq install \
libffi-dev \
libreadline-dev \
lld \
opam \
openfpgaloader \
pkg-config \
python3 \
@ -113,4 +114,13 @@ RUN git clone --depth=1 --recursive --branch=z3-4.13.3 https://git.libre-chip.or
&& cd build \
&& make -j"$(nproc)" \
&& make install \
&& rm -rf /build
&& rm -rf /build
# Install Rocq. Based on:
# https://rocq-prover.org/docs/using-opam#installing-rocq
# https://github.com/rocq-community/docker-base/blob/71a2b78f4faf9c1dc658e1c4bf920dff2257787f/base/rocq-single/Dockerfile#L87 (BSD license)
# https://gitlab.com/rocq-community/docker-rocq/-/blob/c4507ab5c137227700dac7e35fb5c0747fcd272f/rocq/stable/Dockerfile (MIT license)
RUN opam init --auto-setup --yes --disable-sandboxing \
&& eval $(opam env) \
&& opam pin -y add rocq-prover 9.0.0
ENV PATH=/root/.opam/default/bin:$PATH