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