temporary changes, before the complete cancellation of the file.

[helm.git] / helm / software / matita / Makefile

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 1c11060d47be6837e0367c73696d959b16a41586..0562ba3bbe2eb326374569c5d2dee3bdc1cdcf9d 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -35,6 +35,7 @@ MLI = \
        matitaInit.mli          \
        matitaEngine.mli        \
        applyTransformation.mli \
+       matitaAutoGui.mli       \
        matitacLib.mli          \
        matitaprover.mli        \
        matitaGtkMisc.mli       \
@@ -61,7 +62,7 @@ MAINCMLI =                    \
        gragrep.mli             \
        $(NULL)
 # objects for matita (GTK GUI)
-ML = buildTimeConf.ml matitaGeneratedGui.ml matitaAutoGui.ml $(MLI:%.mli=%.ml)
+ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
 # objects for matitac (batch compiler)
 CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
 MAINCML = $(MAINCMLI:%.mli=%.ml)
@@ -198,12 +199,12 @@ distclean: clean
        $(H)rm -rf .matita
 
 TEST_DIRS =                            \
-       legacy                          \
        library                         \
        tests                           \
        dama                            \
        contribs/CoRN                   \
        contribs/RELATIONAL             \
+       contribs/LOGIC                  \
        contribs/LAMBDA-TYPES           \
        contribs/PREDICATIVE-TOPOLOGY   \
        $(NULL)