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 AC_CHECK_PROG(HAVE_LABLGLADECC, lablgladecc2, yes, no)
  10 if test $HAVE_LABLGLADECC = "yes"; then
  11   LABLGLADECC="lablgladecc2"
  12 else
  13   AC_MSG_ERROR(could not find lablgladecc2)
  14 fi
  15 AC_CHECK_PROG(HAVE_CAMLP4O, camlp4o, yes, no)
  16 if test $HAVE_CAMLP4O = "yes"; then
  17   CAMLP4O="camlp4o"
  18 else
  19   AC_MSG_ERROR(could not find camlp4o)
  20 fi
  21
  22 FINDLIB_REQUIRES="lablgtk2.glade helm-registry"
  23 for r in $FINDLIB_REQUIRES
  24 do
  25   AC_MSG_CHECKING(for $r ocaml library)
  26   if $OCAMLFIND query $r &> /dev/null; then
  27     AC_MSG_RESULT(yes)
  28   else
  29     AC_MSG_ERROR(could not find $r ocaml library)
  30   fi
  31 done
  32
  33 AC_SUBST(OCAMLFIND)
  34 AC_SUBST(CAMLP4O)
  35 AC_SUBST(LABLGLADECC)
  36 AC_SUBST(FINDLIB_REQUIRES)
  37
  38 AC_OUTPUT([
  39   buildTimeConf.ml
  40   Makefile
  41 ])