Static binary build for 2.4.x branch

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

130 stars 33 forks source link

Static binary build for 2.4.x branch #1080

Closed bclement-ocp closed 2 weeks ago

bclement-ocp commented 5 months ago

This is a backport of https://github.com/OCamlPro/alt-ergo/pull/1045 to the 2.4.x branch so that we can provide static builds for the release 2.4.3 as requested by our partners in the Decysif project.

Halbaroth commented 2 weeks ago

Do you plan to continue this PR?

bclement-ocp commented 2 weeks ago

No, we can close.