Closed c-cube closed 8 years ago
The opam file assumes the OASIS build system is in place, so it won't work on git pins (only local after oasis setup
). I don't really want to add setup.ml
to the git repos (look at the release target in the OMakefile), but wouldn't really mind taking the META generated by OASIS so as to provide an install target in the OMake build sys and switching to it. Do you see a strong reason not to do so?
Can be useful :)