Compile plugins as .cma files instead of .cmo.
That way, they can embed whole libraries. This is needed in order to use ocamlgraph
(>= 2.0) in hypothesis_selection
.
That way, they can embed whole libraries. This is needed in order to use ocamlgraph
(>= 2.0) in hypothesis_selection
.