Skip to content
GitLab

Compile and install the cmxs

Merged François Bobot requested to merge cmxs_compilation into next

Once fpottier/menhir#7 (closed) is added we should be able to dynlink the Why3 library.