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