X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=24cf2514702742935a128c0dbbe3d96cffc9d2e4;hb=d350f5ea4332cf259af7dfe52a09b8800d21c417;hp=a9018f16f10f7eb1cd56949278948fa7a78e830e;hpb=d8ae533d041cb600993ab2957111c105b6ded21d;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index a9018f16f..24cf25147 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -67,6 +67,7 @@ WMLI =				\
 	matitaEngine.mli	\
 	matitaExcPp.mli 	\
 	matitaInit.mli		\
+	matitaFilesystem.mli    \
 	matitaAuthentication.mli \
 	$(NULL)
 MAINCMLI =			\
@@ -94,6 +95,13 @@ ULEXDIR := $(shell $(OCAMLFIND) query ulex08)
 
 matitaScriptLexer.cmo: SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
 
+matitaFilesystem.cmi: matitaFilesystem.mli
+	$(H)echo "  OCAMLC $<"
+	$(H)$(OCAMLC) $(WPKGS) -c $<
+matitaFilesystem.cmo: matitaFilesystem.ml
+	$(H)echo "  OCAMLC $<"
+	$(H)$(OCAMLC) $(WPKGS) -c $<
+
 matitaAuthentication.cmi: matitaAuthentication.mli
 	$(H)echo "  OCAMLC $<"
 	$(H)$(OCAMLC) $(WPKGS) -c $<
@@ -442,4 +450,5 @@ deps.dot: .depend
 
 # }}} End of deps and automatic rules
 
+
 # vim: set foldmethod=marker: