From 404dc00db1e315e4a59e30c385da06da8fc98f52 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Tue, 2 May 2023 11:42:04 +0200
Subject: [PATCH] Alcotest is not a test dependency and needs stubs

This fixes the dependency, and the static linking scripts
---
 build_release.sh | 1 +
 catala.opam      | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build_release.sh b/build_release.sh
index 5048301b..9bc21ced 100755
--- a/build_release.sh
+++ b/build_release.sh
@@ -19,6 +19,7 @@ CUSTOM_LINKING_CATALA_Z3="\
  -cclib -lgmp
  -cclib -lcamlstr
  -cclib -lANSITerminal_stubs
+ -cclib -lalcotest_stubs
  -cclib -lunix)"
 
 CUSTOM_LINKING_CATALA_NOZ3="(-cclib -static -cclib -no-pie)"
diff --git a/catala.opam b/catala.opam
index 0fac12c0..3d68ef5d 100644
--- a/catala.opam
+++ b/catala.opam
@@ -41,7 +41,7 @@ depends: [
   "zarith" {>= "1.12"}
   "zarith_stubs_js" {>= "v0.14.1"}
   "crunch" {>= "3.0.0"}
-  "alcotest" {with-test & >= "1.5.0"}
+  "alcotest" {>= "1.5.0"}
   "odoc" {with-doc}
   "ocamlformat" {cataladevmode & = "0.21.0"}
   "obelisk" {cataladevmode}