Makefile.defs.in

   1 OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
   2 CAMLP4O = @CAMLP4O@
   3 LABLGLADECC = @LABLGLADECC@
   4 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
   5
   6 MATITA_REQUIRES = @FINDLIB_REQUIRES@
   7 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
   8
   9 MATITA_VERSION = @MATITA_VERSION@
  10
  11 RT_BASE_DIR = @RT_BASE_DIR@
  12 DBHOST = @DBHOST@