From 0b6bf24bdbc1f6ecca2dcd8b41c674397856db35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Sun, 25 Aug 2024 16:57:09 -0700 Subject: [PATCH] fixing missing packages in opam CI --- src/ci/opam.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ci/opam.Dockerfile b/src/ci/opam.Dockerfile index 169ad5a36..05f9bbd44 100644 --- 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 && \