+ifeq ($(origin OCAMLPATH), undefined)
OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
+else
+OCAMLFIND = @OCAMLFIND@
+endif
CAMLP4O = @CAMLP4O@
LABLGLADECC = @LABLGLADECC@
HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
MATITA_VERSION = @MATITA_VERSION@
+SRCROOT = @SRCROOT@
RT_BASE_DIR = @RT_BASE_DIR@
DBHOST = @DBHOST@