no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / ocaml / content_pres / Makefile

diff --git a/helm/ocaml/content_pres/Makefile b/helm/ocaml/content_pres/Makefile
index 459b793f0fc497db3dd6c483d1b3f36d490fb653..0cd8b4226f763100b6c19beb76080536e7084d4d 100644 (file)
--- a/helm/ocaml/content_pres/Makefile
+++ b/helm/ocaml/content_pres/Makefile
@@ -40,6 +40,7 @@ cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
 cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)
 cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
 
+include ../../Makefile.defs
 include ../Makefile.common
 
 # <cross> cross compatibility among ocaml 3.09 and ocaml 3.08, to be removed as