1) Matitaweb now disambiguates scripts as it runs them

[helm.git] / matitaB / matita / Makefile

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 3634caf65fb50573f1d73ad815ea91e64e7fe592..9a03d41bf705709341fc00bc5470fbe844ffed86 100644 (file)
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -60,6 +60,17 @@ CMLI =                               \
        matitaExcPp.mli         \
        matitaInit.mli          \
        $(NULL)
+WMLI =                         \
+       matitaScriptLexer.mli   \
+       matitaTypes.mli         \
+       matitaMisc.mli          \
+       applyTransformation.mli \
+       matitaEngine.mli        \
+       matitaExcPp.mli         \
+       matitaInit.mli          \
+       matitaFilesystem.mli    \
+       matitaAuthentication.mli \
+       $(NULL)
 MAINCMLI =                     \
        matitaclean.mli         \
        $(NULL)
@@ -67,7 +78,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 = \
@@ -85,6 +96,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 $<