]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile.in
bumped changelog line to match upload date
[helm.git] / helm / gTopLevel / Makefile.in
index 4b44c3418cb0616a3430096a30dd05222c7aa7ca..75340e3aa7c8abd3c5d50377e8074a0f546bf6d8 100644 (file)
@@ -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