backtracking / mlpost

GNU Lesser General Public License v2.1
9 stars 4 forks source link

Install script doesn't install .cmt and .cmti files #3

Closed yminsky closed 9 years ago

yminsky commented 9 years ago

If they did, then tools like Merlin would be more useful for learning the API. I think some small changes to Makefile.in and ocamlbuild.Makefile should be enough to resolve the issue.