Opam package does not install .cmt files
When installing Why3 from opam, no .cmt
files can be found in the /lib/why3
directory, which is somewhat painful when using the API and merlin. Moving cmt
(and cmti
?) from COMPILED_LIB_EXTS
to INSTALLED_LIB_EXTS
in Makefile.in
looks like a possible fix.