From ca27036da9f962ddd3e8784b8766bd7da7c316bd Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Mon, 29 Jul 2024 08:27:50 -0700 Subject: [PATCH] OPAMCONFIRMLEVEL > OPAMYES > --yes --- .docker/build/install-deps.sh | 2 +- .docker/build/install-other-deps.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.docker/build/install-deps.sh b/.docker/build/install-deps.sh index dd6ceef49..6a9b2c7fa 100755 --- a/.docker/build/install-deps.sh +++ b/.docker/build/install-deps.sh @@ -19,7 +19,7 @@ fi # Install F* [[ -n "$FSTAR_HOME" ]] git clone --branch $FSTAR_BRANCH https://github.com/FStarLang/FStar "$FSTAR_HOME" -opam install --deps-only "$FSTAR_HOME/fstar.opam" +OPAMCONFIRMLEVEL=yes opam install --deps-only "$FSTAR_HOME/fstar.opam" OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$FSTAR_HOME" # Install other deps diff --git a/.docker/build/install-other-deps.sh b/.docker/build/install-other-deps.sh index 32cb17069..a43f0cae9 100755 --- a/.docker/build/install-other-deps.sh +++ b/.docker/build/install-other-deps.sh @@ -7,4 +7,4 @@ build_home="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" cd "$build_home/../.." grep -v '"fstar"' < karamel.opam > karamel-nofstar.opam -opam install --deps-only ./karamel-nofstar.opam +OPAMCONFIRMLEVEL=yes opam install --deps-only ./karamel-nofstar.opam