matitaB/Makefile.defs.in

   1 ifeq ($(origin OCAMLPATH), undefined)
   2 OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
   3 else
   4 OCAMLFIND = @OCAMLFIND@
   5 endif
   6 CAMLP5O = @CAMLP5O@
   7 LABLGLADECC = @LABLGLADECC@
   8 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
   9 DISTRIBUTED = @DISTRIBUTED@
  10 ANNOT = @ANNOT@
  11
  12 MATITA_REQUIRES = @FINDLIB_REQUIRES@
  13 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
  14 MATITA_WREQUIRES = @FINDLIB_WREQUIRES@
  15
  16 MATITA_VERSION = @MATITA_VERSION@
  17
  18 SRCROOT = @SRCROOT@
  19 RT_BASE_DIR = @RT_BASE_DIR@
  20 DBHOST = @DBHOST@