X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=d0219f43002e2235814944857e0324dcc8e2820a;hb=0e81e658803822599b5e015aab67bc282afc9c4d;hp=3634caf65fb50573f1d73ad815ea91e64e7fe592;hpb=6c702f5054d7975f76911ba62da9bfa33d3ed0fa;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 3634caf65..d0219f430 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -60,6 +60,16 @@ CMLI =				\
 	matitaExcPp.mli 	\
 	matitaInit.mli		\
 	$(NULL)
+WMLI =				\
+	matitaTypes.mli		\
+	matitaMisc.mli		\
+	applyTransformation.mli	\
+	matitaEngine.mli	\
+	matitaExcPp.mli 	\
+	matitaInit.mli		\
+	matitaAuthentication.mli \
+	matitaFilesystem.mli    \
+	$(NULL)
 MAINCMLI =			\
 	matitaclean.mli		\
 	$(NULL)
@@ -67,7 +77,7 @@ MAINCMLI =			\
 ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
 # objects for matitac (batch compiler)
 CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
-WML = matitaAuthentication.ml $(CML)
+WML = buildTimeConf.ml $(WMLI:%.mli=%.ml)
 MAINCML = $(MAINCMLI:%.mli=%.ml)
 
 PROGRAMS_BYTE = \
@@ -92,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)