Fix static build macos v2.5.x

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Fix static build macos v2.5.x #1188

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

Backport of #1187

bclement-ocp commented 1 month ago

I am not sure we can backport this — IIRC we need it because the version of ocplib-simplex that we use for 2.5 brings in num as a dependency, so this needs to be tested before merging.

Given that the build works even if there is an extra dependency I think it is simpler to just not backport it.

Halbaroth commented 1 month ago

Good point, it does not work: https://github.com/Halbaroth/alt-ergo/actions/runs/10147125715/job/28056778107

I thought we get rid of nums in #600 but I forgot we have this dependency through ocplib-simplex.