Merge pull request #176 from FStarLang/guido_ci

fixing missing packages in opam CI
FStarLang · Aug 26, 2024 · 7fae26c · 7fae26c
2 parents 79ec5c7 + 0b6bf24
commit 7fae26c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ci/opam.Dockerfile b/src/ci/opam.Dockerfile
@@ -9,7 +9,7 @@ ADD --chown=opam:opam ./ steel/
 
 # FIXME: the `opam depext` command should be unnecessary with opam 2.1
 RUN sudo apt-get update && \
-    sudo apt-get install --yes --no-install-recommends jq && \
+    sudo apt-get install --yes --no-install-recommends jq pkg-config libgmp-dev && \
     opam depext conf-gmp z3.4.8.5-1 conf-m4 && \
     git clone --branch $(jq -c -r '.RepoVersions.fstar' steel/src/ci/config.json || echo master) https://github.com/FStarLang/FStar FStar && \
     opam install -j $opamthreads -v -v -v FStar/fstar.opam && \