Mentions légales du service

Skip to content

Compile plugins as .cma files instead of .cmo.

Guillaume Melquiond requested to merge cma-plugins into master

That way, they can embed whole libraries. This is needed in order to use ocamlgraph (>= 2.0) in hypothesis_selection.

Merge request reports