]> matita.cs.unibo.it Git - helm.git/blob - matita/Makefile.defs.in
λδ web site update
[helm.git] / 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@