]> matita.cs.unibo.it Git - helm.git/blob - matitaB/Makefile.defs.in
loop functions
[helm.git] / 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@