13602[OASIS help] packed library, separate interface
- Sep 4, 2012Hi Sylvain and everyone,
I'm trying to switch my library over to Oasis and have a few problems.
My library consists of several modules that get packed into a single module for which exists a "global" mli file.
So its something like: src/mylib.mli, src/a.ml, src/b.ml, src/c.ml
1.) I found the Pacl option in the source code (still missing from the docs); and wrote this:
Synopsis: do stuff
Authors: Markus Weissmann
Plugins: META (0.3)
Modules: A, B, C
This works, but _also_ installs all modules separately to the system along with META, mylib.a, etc. I get a.ml, a.cmi etc. -- is this a bug or a feature?
2.) How do I make oasis install my "global" interface 'mylib.mli'?
Thanks & regards
Markus Weißmann, M.Sc.
Technische Universität München
Institut für Informatik
- Next post in topic >>