helm/software/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 # debian specific limitation of architecture on which native compilers are used
   9 ifeq "$(shell dpkg-architecture -qDEB_HOST_ARCH)" "alpha"
  10         HAVE_OCAMLOPT = no
  11 else
  12 ifeq "$(shell dpkg-architecture -qDEB_HOST_ARCH)" "ia64"
  13         HAVE_OCAMLOPT = no
  14 else
  15         HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
  16 endif
  17 endif
  18
  19 DISTRIBUTED = @DISTRIBUTED@
  20 ANNOT = @ANNOT@
  21
  22 MATITA_REQUIRES = @FINDLIB_REQUIRES@
  23 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
  24
  25 MATITA_VERSION = @MATITA_VERSION@
  26
  27 SRCROOT = @SRCROOT@
  28 RT_BASE_DIR = @RT_BASE_DIR@
  29 DBHOST = @DBHOST@