1 dnl This file is an input file used by the GNU "autoconf" program to
2 dnl generate the file "configure", which is run to configure the
3 dnl Makefile in this directory.
5 # Authors: Bart Kienhuis, Vincent Loechner, T. Risset
6 # Copyright (c) 2000 The Regents of the University of California.
9 # Permission is hereby granted, without written agreement and without
10 # license or royalty fees, to use, copy, modify, and distribute this
11 # software and its documentation for any purpose, provided that the
12 # above copyright notice and the following two paragraphs appear in all
13 # copies of this software.
15 # IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY
16 # FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
17 # ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
18 # THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF
21 # THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
22 # INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
23 # MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE
24 # PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF
25 # CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES,
26 # ENHANCEMENTS, OR MODIFICATIONS.
28 # PT_COPYRIGHT_VERSION_2
31 dnl Process this file with autoconf to produce a configure script.
33 AC_INIT([polylib],[5.22.6])
34 AC_CONFIG_AUX_DIR([.])
35 AM_INIT_AUTOMAKE([gnu])
36 AC_CONFIG_SRCDIR(include/polylib/polylib.h.in)
37 AC_CONFIG_MACRO_DIR([m4])
44 if test "x$prefix" != "xNONE"; then
45 prefix_wd=`cd $prefix && pwd`
46 srcdir_wd=`cd $srcdir && pwd`
48 if test "x$prefix_wd" = "x$srcdir_wd"; then
49 AC_MSG_ERROR(Installation in source directory not supported)
51 if test "x$prefix_wd" = "x$wd"; then
52 AC_MSG_ERROR(Installation in build directory not supported)
56 dnl Checks for programs.
64 dnl Checks for typedefs, structures, and compiler characteristics.
67 dnl Checks for header files.
69 [The preprocessor macro `STDC_HEADERS' is obsolete.
70 Except in unusual embedded environments, you can safely include all
71 ISO C90 headers unconditionally.])dnl
72 # Autoupdate added the next two lines to ensure that your configure
73 # script's behavior did not change. They are probably safe to remove.
74 #AC_CHECK_INCLUDES_DEFAULT
77 AC_CHECK_HEADERS(limits.h unistd.h)
78 AC_CHECK_HEADERS(getopt.h)
81 dnl /*****************************************************************************/
82 dnl See if the only goal is to create an 'int', 'longint', or 'longlongint' library
84 AC_CHECK_SIZEOF(int,1)
85 AC_CHECK_SIZEOF(long int,1)
86 AC_CHECK_SIZEOF(long long int,1)
88 AC_SUBST(polylib32_defs)
89 AC_SUBST(polylib64_defs)
90 AC_SUBST(polylib128_defs)
92 for type in long_long_int long_int int; do
95 bits=`expr $ac_cv_sizeof_int \* 8`
96 defs="#define LINEAR_VALUE_IS_INT"
99 bits=`expr $ac_cv_sizeof_long_int \* 8`
100 defs="#define LINEAR_VALUE_IS_LONG
101 #define LINEAR_VALUE_PROTECT_MULTIPLY"
104 bits=`expr $ac_cv_sizeof_long_long_int \* 8`
105 defs="#define LINEAR_VALUE_IS_LONGLONG
106 #define LINEAR_VALUE_PROTECT_MULTIPLY
107 #define LINEAR_VALUE_ASSUME_SOFTWARE_IDIV"
118 polylib128_defs=$defs
127 AC_ARG_ENABLE(int-lib,
128 [ --enable-int-lib Build an int library],
130 bits=`expr $ac_cv_sizeof_int \* 8`
131 polylibs="libpolylib$bits.la $polylibs"
132 ALL_BITS=" $bits $ALL_BITS"
134 AC_ARG_ENABLE(longint-lib,
135 [ --enable-longint-lib Build a long int library],
137 bits=`expr $ac_cv_sizeof_long_int \* 8`
140 *) polylibs="libpolylib$bits.la $polylibs"
141 ALL_BITS=" $bits $ALL_BITS" ;;
144 AC_ARG_ENABLE(longlongint-lib,
145 [ --enable-longlongint-lib Build a long long int library],
146 [lib_type=longlongint
147 bits=`expr $ac_cv_sizeof_long_long_int \* 8`
150 *) polylibs="libpolylib$bits.la $polylibs"
151 ALL_BITS=" $bits $ALL_BITS" ;;
155 dnl Check for GMP library
156 AC_MSG_CHECKING(whether to use GMP)
158 [ --with-libgmp[=DIR] Build a GMP polylib using the GMP library],
159 gmp_package=$withval, gmp_package=notuserdefined)
160 if test "x$gmp_package" = "xno"; then
161 # user choice: don't use gmp
163 elif test "x$gmp_package" = "xnotuserdefined"; then
164 # check if we find gmp or not... Don't fail if not
165 AC_MSG_RESULT(system)
166 AC_CHECK_HEADER(gmp.h,
167 [AC_CHECK_LIB(gmp,main,
168 [poly_cv_gmpfatal="no"],
169 [poly_cv_gmpfatal="yes"])],
170 [poly_cv_gmpfatal="yes"])
171 if test "$poly_cv_gmpfatal" = "yes"; then
172 AC_MSG_RESULT([GMP not found])
175 AC_CHECK_DECLS(mp_get_memory_functions,[],[
176 AC_LIBOBJ(mp_get_memory_functions)
177 ],[#include <gmp.h>])
180 # user choice: use gmp
182 if test "x$gmp_package" != "xyes"; then
184 if test ! -d "$GMP_DIR"; then
185 AC_MSG_ERROR(Directory given for GMP Distribution is not a directory)
187 CPPFLAGS="-I$GMP_DIR/include $CPPFLAGS"
188 LDFLAGS="-L$GMP_DIR/lib $LDFLAGS"
190 AC_CHECK_HEADER(gmp.h,
191 [AC_CHECK_LIB(gmp,main,
192 [poly_cv_gmpfatal="no"],
193 [poly_cv_gmpfatal="yes"])],
194 [poly_cv_gmpfatal="yes"])
195 if test "$poly_cv_gmpfatal" = "yes"; then
196 AC_MSG_ERROR([GMP not found])
198 AC_CHECK_DECLS(mp_get_memory_functions,[],[
199 AC_LIBOBJ(mp_get_memory_functions)
200 ],[#include <gmp.h>])
206 polylibs="libpolylib$BITS.la $polylibs"
207 ALL_BITS="$BITS $ALL_BITS"
210 # no default libtype defined. Let's try to build all of them.
211 if test "X$lib_type" = "X"; then
212 AC_MSG_RESULT(no default type given by user:)
213 bits=`expr $ac_cv_sizeof_int \* 8`
214 AC_MSG_RESULT([ Adding 'int' ($bits) representation])
216 polylibs="libpolylib$bits.la $polylibs"
217 ALL_BITS="$bits $ALL_BITS"
219 if test "$ac_cv_sizeof_long_int" -gt "$ac_cv_sizeof_int"; then
220 bits=`expr $ac_cv_sizeof_long_int \* 8`
221 AC_MSG_RESULT([Adding 'long int' ($bits)representation])
223 polylibs="libpolylib$bits.la $polylibs"
224 ALL_BITS="$ALL_BITS $bits"
226 if test "$ac_cv_sizeof_long_long_int" -gt "$ac_cv_sizeof_long_int"; then
227 bits=`expr $ac_cv_sizeof_long_long_int \* 8`
228 AC_MSG_RESULT([ Adding 'long long int' ($bits) representation])
230 polylibs="libpolylib$bits.la $polylibs"
231 ALL_BITS="$ALL_BITS $bits"
233 if test "x$gmp_package" != "xno"; then
234 AC_MSG_RESULT([ Adding 'gmp' representation])
238 polylibs="libpolylib$BITS.la $polylibs"
239 ALL_BITS="$ALL_BITS $BITS"
245 BITS=`expr $ac_cv_sizeof_int \* 8`
248 BITS=`expr $ac_cv_sizeof_long_int \* 8`
251 BITS=`expr $ac_cv_sizeof_long_long_int \* 8`
257 polylib="libpolylib$BITS.la"
259 dnl extra indirection to avoid automake getting confused
260 AC_SUBST(multi_bin_programs)
261 AC_SUBST(multi_noinst_programs)
262 for pl_bit in $ALL_BITS ; do
263 multi_bin_programs="$multi_bin_programs \$(multi_bin_programs_${pl_bit})"
264 multi_noinst_programs="$multi_noinst_programs \$(no_inst_programs_${pl_bit})"
267 dnl /*****************************************************************************/
268 AC_ARG_ENABLE(extra-suffix,
269 [ --enable-extra-suffix Add bits size suffix to executables],
270 [ if test "$enableval" = yes; then
271 program_transform_name="s/\$\$/$BITS/;$program_transform_name"
274 dnl /********************************************************************/
275 dnl Check for DOXYGEN package
276 AC_ARG_WITH(doxygen, [ --with-doxygen DIR Location of the Doxygen Distribution (http://www.doxygen.org)], doxygen_package=$withval)
278 dnl AC_MSG_CHECKING(for Doxygen program)
279 AC_CHECK_PROG(DOXYGEN,doxygen,doxygen,test,[$PATH:$doxygen_package/bin:/usr/local/bin])
280 dnl AC_MSG_RESULT($DOXYGEN)
283 dnl AC_CHECK_LIB(pthread, pthread_create)
285 AC_ARG_ENABLE(threadsafe,
286 [ --enable-threadsafe threadsafe polylib (enabled by default if a threading library is found)],
288 if test "$enable_threadsafe" = "yes" -a "X$PTHREAD_CC" = "X"; then
289 AC_MSG_ERROR([pthread library not found])
293 if test "X$PTHREAD_CC" = "X" ; then
294 AC_MSG_WARN([No pthread library found, PolyLib will not be threadsafe])
295 elif test "X$enable_threadsafe" = "Xno"; then
296 AC_MSG_NOTICE([Will NOT build a threadsafe library (as requested)])
298 LIBS="$LIBS $PTHREAD_LIBS"
299 CFLAGS="$CFLAGS $PTHREAD_CFLAGS -DTHREAD_SAFE_POLYLIB"
301 AC_MSG_NOTICE([Will build a threadsafe library])
308 dnl long/int bits and compilation flags
311 dnl Used with doxygen
314 dnl Currently, we only create one .pc file
315 dnl Creating one for each configured version is a bit complicated
316 PACKAGE_NAME=polylib$BITS
317 AX_CREATE_PKGCONFIG_INFO
319 AC_CONFIG_HEADERS(config.h)
320 AC_CONFIG_FILES([Makefile
322 include/polylib/Makefile
323 include/polylib/polylib.h
325 Test/Zpolytest/Makefile
326 Test/ehrhart/Makefile
327 Test/ehrhart_union/Makefile
328 Test/ranking/Makefile
329 Test/general/Makefile
336 echo "---------------------------------------------------"
337 echo "Polylib will be built with" $ALL_BITS "integer size(s)"
338 echo "You can proceed with:"
339 echo "make :to build the libs and the executables"
340 echo "make tests :to test the library"
341 echo "make install :to install them (to $prefix)"
342 echo "---------------------------------------------------"