From 166f0a732d89f5b3cd1d955f4929e0dc53663421 Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@gmail.com>
Date: Tue, 6 Sep 2022 14:42:45 +0200
Subject: [PATCH] Opam update for static binaries

---
 build_release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build_release.sh b/build_release.sh
index a4063fab..85595529 100755
--- a/build_release.sh
+++ b/build_release.sh
@@ -32,6 +32,7 @@ docker run --rm -i registry.gitlab.inria.fr/lgesbert/catala-ci-images:ocaml.4.14
        cd catala &&
        echo "'"${CUSTOM_LINKING_CATALA_Z3}"'" >compiler/custom_linking.sexp &&
        echo "'"${CUSTOM_LINKING_CLERK}"'" >build_system/custom_linking.sexp &&
+       opam --cli=2.1 update &&
        opam --cli=2.1 install ./ninja_utils.opam ./clerk.opam ./catala.opam --destdir ../release.out/ &&
        mv ../release.out/bin/catala ../release.out/bin/catala-z3 &&
        opam --cli=2.1 remove z3 catala &&