matita/Makefile.defs.in

   1 OCAMLPATH := @OCAMLPATH@:$(OCAMLPATH)
   2 OCAMLFIND = OCAMLPATH=$(OCAMLPATH) @OCAMLFIND@
   3 CAMLP5O = @CAMLP5O@
   4 LABLGLADECC = @LABLGLADECC@
   5 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
   6 DISTRIBUTED = @DISTRIBUTED@
   7 ANNOT = @ANNOT@
   8
   9 MATITA_REQUIRES = @FINDLIB_REQUIRES@
  10 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
  11
  12 MATITA_VERSION = @MATITA_VERSION@
  13
  14 SRCROOT = @SRCROOT@
  15 RT_BASE_DIR = @RT_BASE_DIR@
  16 DBHOST = @DBHOST@