1 ifeq ($(origin OCAMLPATH), undefined)
2 OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
4 OCAMLFIND = @OCAMLFIND@
7 LABLGLADECC = @LABLGLADECC@
8 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
9 DISTRIBUTED = @DISTRIBUTED@
11 MATITA_REQUIRES = @FINDLIB_REQUIRES@
12 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
14 MATITA_VERSION = @MATITA_VERSION@
17 RT_BASE_DIR = @RT_BASE_DIR@