Commits

camlspotter  committed 98db6e0 Merge
  • Participants
  • Parent commits ca933e0, 40c1ca1

Comments (0)

Files changed (1)

 #   .. note :: Probably you should use MyOCamlPackage
 MyOCamlLibrary(library_name, files) =
   AddLocalOCamlPackageDependencies()
-  targets = $(OCamlLibrary $(library_name), $(files))
+  protected.CMIFILES = $(addsuffix .cmi, $(files))
+  targets = $(OCamlLibrary $(library_name), $(files)) $(CMIFILES) $(glob i, *.mli) 
 
   .DEFAULT: $(targets)