X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=923a0f614acfe169e8e36c385ac3c7f2f657c0ab;hb=a165474ee3776573574d46363ec78b225fc3c523;hp=1c11060d47be6837e0367c73696d959b16a41586;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 1c11060d4..923a0f614 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -5,7 +5,7 @@ include ../Makefile.defs NULL = H=@ -OCAML_FLAGS = -pp $(CAMLP4O) +OCAML_FLAGS = -pp $(CAMLP5O) -rectypes PKGS = -package "$(MATITA_REQUIRES)" CPKGS = -package "$(MATITA_CREQUIRES)" OCAML_THREADS_FLAGS = -thread @@ -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) @@ -204,6 +205,7 @@ TEST_DIRS = \ dama \ contribs/CoRN \ contribs/RELATIONAL \ + contribs/LOGIC \ contribs/LAMBDA-TYPES \ contribs/PREDICATIVE-TOPOLOGY \ $(NULL)