NULL =
H=@
-OCAML_FLAGS = -pp $(CAMLP4O)
+OCAML_FLAGS = -pp $(CAMLP5O) -rectypes
PKGS = -package "$(MATITA_REQUIRES)"
CPKGS = -package "$(MATITA_CREQUIRES)"
OCAML_THREADS_FLAGS = -thread
dama \
contribs/CoRN \
contribs/RELATIONAL \
+ contribs/LOGIC \
contribs/LAMBDA-TYPES \
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)