helm/software/Makefile.defs.in

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