]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/.depend.opt
Use of standard OCaml syntax
[helm.git] / matita / matita / .depend.opt
index 6f4370e5227d408ff2dc52207ba66b36c17a587a..f8e5bb681d0cf67c647faa9eb092fb596391e493 100644 (file)
@@ -21,7 +21,6 @@ matita.cmx : \
     matitaMisc.cmx \
     matitaInit.cmx \
     matitaGui.cmx \
-    matitaGtkMisc.cmx \
     buildTimeConf.cmx \
     applyTransformation.cmx
 matitaEngine.cmx : \
@@ -35,7 +34,6 @@ matitaExcPp.cmx : \
 matitaExcPp.cmi :
 matitaGeneratedGui.cmx :
 matitaGtkMisc.cmx : \
-    matitaTypes.cmx \
     matitaGeneratedGui.cmx \
     buildTimeConf.cmx \
     matitaGtkMisc.cmi
@@ -54,6 +52,7 @@ matitaGui.cmx : \
     matitaGui.cmi
 matitaGui.cmi : \
     matitaGuiTypes.cmi
+matitaGuiInit.cmx :
 matitaGuiTypes.cmi : \
     matitaGeneratedGui.cmx \
     applyTransformation.cmi
@@ -84,6 +83,9 @@ matitaMisc.cmx : \
     matitaMisc.cmi
 matitaMisc.cmi : \
     matitaGuiTypes.cmi
+matitaMiscCli.cmx : \
+    matitaMiscCli.cmi
+matitaMiscCli.cmi :
 matitaScript.cmx : \
     virtuals.cmx \
     matitaTypes.cmx \
@@ -100,12 +102,12 @@ matitaTypes.cmx : \
 matitaTypes.cmi :
 matitac.cmx : \
     matitaclean.cmx \
-    matitaMisc.cmx \
+    matitaMiscCli.cmx \
     matitaInit.cmx \
     matitaExcPp.cmx \
     matitaEngine.cmx
 matitaclean.cmx : \
-    matitaMisc.cmx \
+    matitaMiscCli.cmx \
     matitaInit.cmx \
     matitaclean.cmi
 matitaclean.cmi :