+ifeq ($(origin OCAMLPATH), undefined)
OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
-CAMLP4O = @CAMLP4O@
+else
+OCAMLFIND = @OCAMLFIND@
+endif
+CAMLP5O = @CAMLP5O@
LABLGLADECC = @LABLGLADECC@
HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
DISTRIBUTED = @DISTRIBUTED@
+ANNOT = @ANNOT@
MATITA_REQUIRES = @FINDLIB_REQUIRES@
MATITA_CREQUIRES = @FINDLIB_CREQUIRES@