bernstein/configure.in

   1 AC_INIT
   2 AC_CONFIG_AUX_DIR(.)
   3 AM_INIT_AUTOMAKE(bernstein, 0.02)
   4 AC_SUBST(versioninfo)
   5 versioninfo=1:0:0
   6
   7 AC_CANONICAL_HOST
   8 AC_PROG_LIBTOOL
   9
  10 AC_ARG_WITH(default-prefix,
  11         AS_HELP_STRING([--with-default-prefix=DIR],
  12             [Default installation prefix of optional packages]))
  13 if test "${with_default_prefix+set}" = set; then
  14         if test "${with_libgmp+set}" != set -a \
  15            -f "$with_default_prefix/include/gmp.h"; then
  16                 with_libgmp=$with_default_prefix
  17         fi
  18         if test "${with_ginac_prefix+set}" != set -a \
  19            -f "$with_default_prefix/lib/pkgconfig/ginac.pc"; then
  20                 with_ginac_prefix=$with_default_prefix
  21         fi
  22 fi
  23
  24 dnl Check for GMP library
  25 AC_MSG_CHECKING(whether to use GMP)
  26 AC_ARG_WITH(libgmp,
  27         [  --with-libgmp           DIR Location of the GMP Distribution],
  28         gmp_package=$withval, gmp_package=yes)
  29 if test "x$gmp_package" = "xno"; then
  30         AC_MSG_RESULT(no)
  31         AC_MSG_ERROR(Need gmp)
  32 else
  33         AC_MSG_RESULT(yes)
  34         if test "x$gmp_package" != "xyes"; then
  35             GMP_DIR=$gmp_package
  36             if test ! -d "$GMP_DIR"; then
  37                 AC_ERROR(Directory given for GMP Distribution is not a directory)
  38             fi
  39             CPPFLAGS="-I$GMP_DIR/include $CPPFLAGS"
  40             LDFLAGS="-L$GMP_DIR/lib $LDFLAGS"
  41         fi
  42         poly_cv_gmpfatal="no"
  43         AC_CHECK_HEADER(gmp.h,
  44                 [AC_CHECK_LIB(gmp,main,
  45                     [],
  46                     [poly_cv_gmpfatal="yes"])],
  47                 [poly_cv_gmpfatal="yes"])
  48         if test "$poly_cv_gmpfatal" = "yes"; then
  49                 AC_MSG_ERROR([GMP not found])
  50         fi
  51 fi
  52
  53 AC_ARG_WITH(polylib_prefix,
  54         [AS_HELP_STRING([--with-polylib-prefix=DIR],
  55                         [Location of PolyLib installation])])
  56 AC_ARG_WITH(polylib_builddir,
  57         [AS_HELP_STRING([--with-polylib-builddir=DIR],
  58                         [Location of PolyLib builddir])])
  59
  60 if test "x$with_polylib_prefix" != "x" -a "x$with_polylib_builddir" != "x"; then
  61         AC_MSG_ERROR(
  62         [--with-polylib-prefix and --with-polylib-builddir are mutually exclusive])
  63 fi
  64
  65 AC_SUBST(POLYLIB_CPPFLAGS)
  66 AC_SUBST(POLYLIB_LDFLAGS)
  67 AC_SUBST(POLYLIB_LIBS)
  68 AC_MSG_CHECKING(for location of PolyLib)
  69 if test "x$with_polylib_builddir" != "x"; then
  70         AC_MSG_RESULT(built in $with_polylib_builddir)
  71         polylib_srcdir=`echo @srcdir@ | $with_polylib_builddir/config.status --file=-`
  72         AC_MSG_NOTICE(PolyLib sources in $polylib_srcdir)
  73         POLYLIB_CPPFLAGS="-I$with_polylib_builddir/include -I$polylib_srcdir/include"
  74         POLYLIB_LIBS="$with_polylib_builddir/libpolylibgmp.la"
  75 else
  76         POLYLIB_LIBS="-lpolylibgmp"
  77         if test "${with_default_prefix+set}" = set -a \
  78             "${with_polylib_prefix+set}" != set -a \
  79             -f "$with_default_prefix/include/polylib/polylibgmp.h"; then
  80                 with_polylib_prefix=$with_default_prefix
  81         fi
  82         if test "x$with_polylib_prefix" != "x"; then
  83                 AC_MSG_RESULT(installed in $with_polylib_prefix)
  84                 POLYLIB_CPPFLAGS="-I$with_polylib_prefix/include"
  85                 POLYLIB_LDFLAGS="-L$with_polylib_prefix/lib"
  86                 LD_LIBRARY_PATH="$with_polylib_prefix/lib:$LD_LIBRARY_PATH"
  87                 export LD_LIBRARY_PATH
  88         else
  89                 AC_MSG_RESULT(installed in standard location)
  90         fi
  91         AC_CHECK_LIB(polylibgmp, PolyhedronTSort,[],[
  92                 AC_MSG_ERROR(Need PolyLib)
  93         ])
  94 fi
  95
  96
  97 AC_ARG_WITH(ginac_prefix,
  98         [AS_HELP_STRING([--with-ginac-prefix=DIR],[Installation prefix of GiNaC])])
  99 if test "x$with_ginac_prefix" != "x"; then
 100         export PKG_CONFIG_PATH=$with_ginac_prefix/lib/pkgconfig:$PKG_CONFIG_PATH
 101 fi
 102 PKG_CHECK_MODULES(ginac, ginac)
 103
 104 AC_CONFIG_HEADERS(config.h)
 105 AC_OUTPUT(Makefile)