| 1 | AC_INIT([singular], [3.1.2.sw]) |
|---|
| 2 | AC_CONFIG_MACRO_DIR([../m4]) |
|---|
| 3 | AC_CONFIG_AUX_DIR([.]) |
|---|
| 4 | AC_CONFIG_SRCDIR([reporter/reporter.h]) |
|---|
| 5 | AC_CONFIG_HEADER([config.h misc/auxiliary.h]) |
|---|
| 6 | AM_INIT_AUTOMAKE |
|---|
| 7 | |
|---|
| 8 | dnl Check if build env is sane |
|---|
| 9 | AM_SANITY_CHECK |
|---|
| 10 | |
|---|
| 11 | LT_INIT(dlopen disable-static) |
|---|
| 12 | |
|---|
| 13 | # Checks for programs. |
|---|
| 14 | AC_PROG_CXX |
|---|
| 15 | AC_PROG_CC |
|---|
| 16 | AC_PROG_LN_S |
|---|
| 17 | AC_PROG_INSTALL |
|---|
| 18 | AM_PROG_CC_C_O |
|---|
| 19 | |
|---|
| 20 | # Checks for libraries. |
|---|
| 21 | LB_CHECK_GMP(3.1.1,,AC_MSG_ERROR([Unable to find GMP on your machine: please use --with-gmp=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)])) |
|---|
| 22 | |
|---|
| 23 | LB_CHECK_NTL(5.0,,AC_MSG_WARN([Unable to find NTL (which is strongly recommended) on your machine: please use --with-ntl=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)])) |
|---|
| 24 | |
|---|
| 25 | # Checks for library functions. |
|---|
| 26 | AC_FUNC_ERROR_AT_LINE |
|---|
| 27 | AC_CHECK_FUNCS([memmove memset pow sqrt strchr]) |
|---|
| 28 | AC_FUNC_VPRINTF |
|---|
| 29 | AC_FUNC_MALLOC |
|---|
| 30 | AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1], [Define if vsnprintf exists.])]) |
|---|
| 31 | |
|---|
| 32 | # Checks for header files. |
|---|
| 33 | AC_HEADER_STDC |
|---|
| 34 | AC_STDC_HEADERS |
|---|
| 35 | AC_CHECK_HEADERS([stdlib.h string.h unistd.h pwd.h sys/param.h limits.h float.h]) |
|---|
| 36 | |
|---|
| 37 | # Checks for typedefs, structures, and compiler characteristics. |
|---|
| 38 | AC_C_CONST |
|---|
| 39 | AC_C_INLINE |
|---|
| 40 | AC_HEADER_STDBOOL |
|---|
| 41 | AC_TYPE_SIZE_T |
|---|
| 42 | |
|---|
| 43 | SING_CHECK_PIPE |
|---|
| 44 | |
|---|
| 45 | # check for cpu properties |
|---|
| 46 | AC_CHECK_SIZEOF(long,4) |
|---|
| 47 | SING_CHECK_CPU |
|---|
| 48 | |
|---|
| 49 | #check for host: |
|---|
| 50 | AC_CANONICAL_HOST |
|---|
| 51 | case $host_os in |
|---|
| 52 | *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";; |
|---|
| 53 | * ) LIBPREFIX="";; |
|---|
| 54 | esac |
|---|
| 55 | |
|---|
| 56 | dnl INCLUDES="" |
|---|
| 57 | dnl dnl OS specific flags and options |
|---|
| 58 | dnl case "$host" in |
|---|
| 59 | dnl *-*-freebsd*) |
|---|
| 60 | dnl LIBS="$LIBS -L/usr/local/lib -lc" |
|---|
| 61 | dnl CFLAGS="$CFLAGS -I/usr/local/include" |
|---|
| 62 | dnl INCLUDES="$INCLUDES -I/usr/local/include" |
|---|
| 63 | dnl ;; |
|---|
| 64 | dnl esac |
|---|
| 65 | dnl AC_SUBST(INCLUDES) |
|---|
| 66 | |
|---|
| 67 | SING_CHECK_P_PROCS |
|---|
| 68 | |
|---|
| 69 | AC_SUBST(LIBPREFIX) |
|---|
| 70 | |
|---|
| 71 | AC_CONFIG_FILES([Makefile]) |
|---|
| 72 | AC_CONFIG_FILES([misc/Makefile]) |
|---|
| 73 | AC_CONFIG_FILES([reporter/Makefile]) |
|---|
| 74 | AC_CONFIG_FILES([resources/Makefile]) |
|---|
| 75 | AC_CONFIG_FILES([coeffs/Makefile]) |
|---|
| 76 | AC_CONFIG_FILES([polys/Makefile]) |
|---|
| 77 | AC_CONFIG_FILES([tests/Makefile]) |
|---|
| 78 | AC_CONFIG_FILES([libpolys-config]) |
|---|
| 79 | AC_OUTPUT |
|---|
