search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Rewrite `gen_link_flags` in OCaml #1190

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

Backport of #1189

The workflow have been tested here: https://github.com/Halbaroth/alt-ergo/actions/runs/10162501317

bclement-ocp commented 1 month ago

I am not sure we need to backport all these build fixes to the 2.5 ; I don't think we plan on making further releases from that branch?

Halbaroth commented 1 month ago

Sure, I planned to publish a version v2.5.5 with Windows support but we add this support only from v2.6.x.