helm/matita/configure.ac

   1 AC_INIT(matita.ml)
   2
   3 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
   4 if test $HAVE_OCAMLFIND = "yes"; then
   5   OCAMLFIND="ocamlfind"
   6 else
   7   AC_MSG_ERROR(could not find ocamlfind)
   8 fi
   9
  10 AC_CHECK_PROG(HAVE_LABLGLADECC, lablgladecc2, yes, no)
  11 if test $HAVE_LABLGLADECC = "yes"; then
  12   LABLGLADECC="lablgladecc2"
  13 else
  14   AC_MSG_ERROR(could not find lablgladecc2)
  15 fi
  16
  17 AC_CHECK_PROG(HAVE_CAMLP4O, camlp4o, yes, no)
  18 if test $HAVE_CAMLP4O = "yes"; then
  19   CAMLP4O="camlp4o"
  20 else
  21   AC_MSG_ERROR(could not find camlp4o)
  22 fi
  23
  24 AC_SUBST(OCAMLFIND)
  25 AC_SUBST(CAMLP4O)
  26 AC_SUBST(LABLGLADECC)
  27
  28 AC_OUTPUT([
  29   buildTimeConf.ml
  30   Makefile
  31 ])