parker/configure.in

   1 AC_INIT
   2 AM_INIT_AUTOMAKE(parker, 0.01)
   3
   4 AC_PROG_CXX
   5 AM_PROG_LEX
   6 AC_PROG_YACC
   7 AC_PROG_LIBTOOL
   8
   9 if test "$LEX" = flex; then
  10         LEX="flex -l"
  11 fi
  12
  13 AC_MSG_CHECKING(for mona)
  14 AC_ARG_WITH(mona,
  15         [  --with-mona=DIR        mona *source* directory ], [], [
  16         AC_MSG_RESULT(not specified)
  17         ])
  18
  19 if test "x$with_mona" != "x"; then
  20         AC_SUBST(MONAPATH)
  21         MONAPATH=$with_mona
  22         LDFLAGS="-L$MONAPATH/DFA -L$MONAPATH/BDD -L$MONAPATH/Mem $LDFLAGS"
  23         LIBS="-ldfa -lbdd -lmem $LIBS"
  24         for i in $MONA_OBJ; do
  25                 if test ! -f $i; then
  26                         with_mona=""
  27                 fi
  28         done
  29         if test "x$with_mona" = "x"; then
  30                 AC_MSG_RESULT(not found)
  31         else
  32                 AC_MSG_RESULT($MONAPATH)
  33         fi
  34 fi
  35
  36 if test "x$with_mona" = "x"; then
  37         AC_MSG_WARN(http://www.brics.dk/mona/download)
  38         AC_MSG_ERROR(mona required)
  39 fi
  40
  41 AC_ARG_WITH(omega,
  42         [  --with-omega=DIR   ])
  43
  44
  45 AC_LANG(C++)
  46
  47 if test "x$with_omega" != "x"; then
  48     CPPFLAGS="-I$with_omega/include/omega $CPPFLAGS"
  49     LDFLAGS="-L$with_omega/lib $LDFLAGS"
  50 else
  51     for i in /usr/include /usr/local/include; do
  52         if test -f $i/omega/omega.h; then
  53             CPPFLAGS="-I$i/omega $CPPFLAGS"
  54         fi
  55     done
  56 fi
  57
  58 AC_CHECK_HEADER(omega.h,[],[AC_MSG_ERROR(Can't find omega headers.)])
  59
  60 AC_OUTPUT(Makefile)