matitamake stuff:

[helm.git] / helm / matita / .depend

diff --git a/helm/matita/.depend b/helm/matita/.depend
index 2f863d6dc24113ab09e32cb395cce1c3a02222b8..1232842f00caf2b695c52ebc934a222ca43cbdd9 100644 (file)
--- a/helm/matita/.depend
+++ b/helm/matita/.depend
@@ -54,14 +54,20 @@ matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMisc.cmi \
 matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMisc.cmx \
     matitaLog.cmx matitaExcPp.cmx matitaEngine.cmx matitaDb.cmx \
     buildTimeConf.cmx matitacLib.cmi 
-matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaDb.cmi 
-matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaDb.cmx 
+matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaDb.cmi \
+    buildTimeConf.cmo 
+matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaDb.cmx \
+    buildTimeConf.cmx 
 matitacleanLib.cmo: matitaSync.cmi matitaMisc.cmi matitaDb.cmi \
     matitacleanLib.cmi 
 matitacleanLib.cmx: matitaSync.cmx matitaMisc.cmx matitaDb.cmx \
     matitacleanLib.cmi 
 matitadep.cmo: matitaMisc.cmi matitaExcPp.cmi 
 matitadep.cmx: matitaMisc.cmx matitaExcPp.cmx 
+matitamake.cmo: buildTimeConf.cmo 
+matitamake.cmx: buildTimeConf.cmx 
+matitamakeLib.cmo: matitaMisc.cmi buildTimeConf.cmo matitamakeLib.cmi 
+matitamakeLib.cmx: matitaMisc.cmx buildTimeConf.cmx matitamakeLib.cmi 
 matitaDisambiguator.cmi: matitaTypes.cmi 
 matitaEngine.cmi: matitaTypes.cmi 
 matitaGtkMisc.cmi: matitaGeneratedGui.cmi 
@@ -70,3 +76,4 @@ matitaMathView.cmi: matitaTypes.cmi
 matitaMisc.cmi: matitaTypes.cmi 
 matitaScript.cmi: matitaTypes.cmi 
 matitaSync.cmi: matitaTypes.cmi 
+matitamakeLib.cmi: matitaLog.cmi