CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Alcotest is not a test dependency and needs stubs

Browse Source 
This fixes the dependency, and the static linking scripts
This commit is contained in:
Louis Gesbert 2023-05-02 11:42:04 +02:00
parent 9c1b51b1a1
commit 404dc00db1
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build_release.sh
View File

@ -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)"

2
catala.opam
View File

@ -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}