From 315209808bd99ed49545eed2a99f4c3df51497d4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 12 Apr 2006 21:17:18 +0000 Subject: [PATCH] fixed new compilation order --- helm/software/matita/.depend | 6 ++++-- helm/software/matita/Makefile | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend index e90c087c7..576d9dee8 100644 --- a/helm/software/matita/.depend +++ b/helm/software/matita/.depend @@ -49,9 +49,11 @@ matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \ matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \ matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \ - matitaEngine.cmi buildTimeConf.cmi matitaScript.cmi + matitaEngine.cmi buildTimeConf.cmi applyTransformation.cmi \ + matitaScript.cmi matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \ - matitaEngine.cmx buildTimeConf.cmx matitaScript.cmi + matitaEngine.cmx buildTimeConf.cmx applyTransformation.cmx \ + matitaScript.cmi matitaTypes.cmo: matitaTypes.cmi matitaTypes.cmx: matitaTypes.cmi matitaGtkMisc.cmi: matitaGeneratedGui.cmo diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 27febffb7..b9755831a 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -34,10 +34,10 @@ CMOS = \ matitaExcPp.cmo \ matitaEngine.cmo \ matitacLib.cmo \ + applyTransformation.cmo \ matitaScript.cmo \ matitaGeneratedGui.cmo \ matitaGtkMisc.cmo \ - applyTransformation.cmo \ matitaMathView.cmo \ matitaGui.cmo \ $(NULL) -- 2.39.2