ifeq ($(origin OCAMLPATH), undefined)
OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
else
OCAMLFIND = @OCAMLFIND@
endif
CAMLP5O = @CAMLP5O@
LABLGLADECC = @LABLGLADECC@
# debian specific limitation of architecture on which native compilers are used
ifeq "$(shell dpkg-architecture -qDEB_HOST_ARCH)" "alpha"
	HAVE_OCAMLOPT = no
else 
ifeq "$(shell dpkg-architecture -qDEB_HOST_ARCH)" "ia64"
	HAVE_OCAMLOPT = no
else
	HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
endif
endif

DISTRIBUTED = @DISTRIBUTED@
ANNOT = @ANNOT@

MATITA_REQUIRES = @FINDLIB_REQUIRES@
MATITA_CREQUIRES = @FINDLIB_CREQUIRES@

MATITA_VERSION = @MATITA_VERSION@

SRCROOT = @SRCROOT@
RT_BASE_DIR = @RT_BASE_DIR@
DBHOST = @DBHOST@