OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
CAMLP4O = @CAMLP4O@
LABLGLADECC = @LABLGLADECC@
HAVE_OCAMLOPT = @HAVE_OCAMLOPT@

MATITA_REQUIRES = @FINDLIB_REQUIRES@
MATITA_CREQUIRES = @FINDLIB_CREQUIRES@

MATITA_VERSION = @MATITA_VERSION@

RT_BASE_DIR = @RT_BASE_DIR@
DBHOST = @DBHOST@