Added module MatitaFilesystem, to be used for the management of the library

[helm.git] / matitaB / matita / Makefile

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index a9018f16f10f7eb1cd56949278948fa7a78e830e..d0219f43002e2235814944857e0324dcc8e2820a 100644 (file)
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -68,6 +68,7 @@ WMLI =                                \
        matitaExcPp.mli         \
        matitaInit.mli          \
        matitaAuthentication.mli \
+       matitaFilesystem.mli    \
        $(NULL)
 MAINCMLI =                     \
        matitaclean.mli         \
@@ -101,6 +102,13 @@ matitaAuthentication.cmo: matitaAuthentication.ml
        $(H)echo "  OCAMLC $<"
        $(H)$(OCAMLC) $(WPKGS) -c $<
 
+matitaFilesystem.cmi: matitaFilesystem.mli
+       $(H)echo "  OCAMLC $<"
+       $(H)$(OCAMLC) $(WPKGS) -c $<
+matitaFilesystem.cmo: matitaFilesystem.ml
+       $(H)echo "  OCAMLC $<"
+       $(H)$(OCAMLC) $(WPKGS) -c $<
+
 CMOS = $(ML:%.ml=%.cmo)
 CCMOS = $(CML:%.ml=%.cmo)
 WCMOS = $(WML:%.ml=%.cmo)