X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile.in;h=75340e3aa7c8abd3c5d50377e8074a0f546bf6d8;hb=275727242ccdce9df01af65f3bfb2d65283fa197;hp=4b44c3418cb0616a3430096a30dd05222c7aa7ca;hpb=52f95aaf56e9f915b2e049db92a706bdc15c8867;p=helm.git

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 4b44c3418..75340e3aa 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -2,16 +2,16 @@ BIN_DIR = /usr/local/bin
 
 TEST_REQUIRES = \
 	helm-registry \
-	helm-mathql_interpreter \
-	helm-mathql_generator \
 	helm-tactics \
 	helm-cic_transformations \
 	helm-cic_textual_parser2 \
+	helm-mathql_interpreter \
+	helm-mathql_generator \
 	helm-xmldiff \
 	lablgtk2 \
 	mathml-editor \
 	lablgtkmathview \
-	dbi.mysql
+	mysql
 
 REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs lablgtk2.init lablgtk2.glade