X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile.in;fp=helm%2FgTopLevel%2FMakefile.in;h=42dd44be1f8f29971aceddcb33846da36806a712;hb=3571a9519fbdf64be76a2deefa680afa527c05c3;hp=82c3d28212cd8a702e1b9abaf3e70f4f522cef6e;hpb=1059c8c3dd720e3665916aa9beeb3a815b44fa48;p=helm.git

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 82c3d2821..42dd44be1 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -7,12 +7,11 @@ TEST_REQUIRES = \
 	helm-tactics \
 	helm-cic_transformations \
 	helm-cic_textual_parser2 \
-	helm-cic_textual_parser \
-	helm-tex_cic_textual_parser \
 	helm-xmldiff \
 	lablgtk2 \
 	mathml-editor \
-	lablgtkmathview
+	lablgtkmathview \
+	dbi.mysql
 
 REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs lablgtk2.init lablgtk2.glade
 
@@ -41,7 +40,6 @@ stop:
 INTERFACE_FILES = \
 	proofEngine.mli \
 	logicalOperations.mli \
-	oldDisambiguate.mli \
   	disambiguatingParser.mli \
 	termEditor.mli \
 	texTermEditor.mli \
@@ -58,7 +56,6 @@ DEPOBJS = \
 
 TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) gTopLevel.cmo
 TESTOBJS = \
-	oldDisambiguate.cmo \
 	disambiguatingParser.cmo \
 	batchParser.cmo
 REGTESTOBJS = $(TESTOBJS) regtest.cmo