X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2FMakefile;h=0cd8b4226f763100b6c19beb76080536e7084d4d;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=459b793f0fc497db3dd6c483d1b3f36d490fb653;hpb=c051f623926cdc3b744c38ba393c0a9c7622d299;p=helm.git

diff --git a/helm/ocaml/content_pres/Makefile b/helm/ocaml/content_pres/Makefile
index 459b793f0..0cd8b4226 100644
--- 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