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_MAINTAINER_MODE |
---|
7 | AM_INIT_AUTOMAKE |
---|
8 | |
---|
9 | dnl Check if build env is sane |
---|
10 | AM_SANITY_CHECK |
---|
11 | |
---|
12 | LT_INIT(dlopen disable-static) |
---|
13 | |
---|
14 | # Checks for programs. |
---|
15 | AC_PROG_CXX |
---|
16 | AC_PROG_CC |
---|
17 | AC_PROG_LN_S |
---|
18 | AC_PROG_INSTALL |
---|
19 | AM_PROG_CC_C_O |
---|
20 | |
---|
21 | # Checks for libraries. |
---|
22 | 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)])) |
---|
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 | SING_CHECK_ARITH_RINGS |
---|
69 | SING_CHECK_FACTORY |
---|
70 | SING_CHECK_PLURAL |
---|
71 | |
---|
72 | if test "x$prefix" != xNONE; then |
---|
73 | PREFIX="$prefix" |
---|
74 | else |
---|
75 | PREFIX="$ac_default_prefix" |
---|
76 | fi |
---|
77 | |
---|
78 | # AC_SUBST(PREFIX) |
---|
79 | AC_DEFINE_UNQUOTED(INSTALL_PREFIX,"$PREFIX",Prefix) |
---|
80 | |
---|
81 | AC_DEFINE([SINGULAR],[1],[SINGULAR]) |
---|
82 | AC_DEFINE([DISABLE_GMP_CPP],[1],[DISABLE_GMP_CPP]) |
---|
83 | AC_DEFINE([NOSTREAMIO],[1],[DISABLE_GMP_CPP]) |
---|
84 | |
---|
85 | ## AC_DEFINE([HAVE_POLYEXTENSIONS], [1], [Enable the algebraic & transcendental extensions]) |
---|
86 | |
---|
87 | AC_CONFIG_FILES([Makefile]) |
---|
88 | AC_CONFIG_FILES([misc/Makefile]) |
---|
89 | AC_CONFIG_FILES([reporter/Makefile]) |
---|
90 | AC_CONFIG_FILES([resources/Makefile]) |
---|
91 | AC_CONFIG_FILES([coeffs/Makefile]) |
---|
92 | AC_CONFIG_FILES([polys/Makefile]) |
---|
93 | AC_CONFIG_FILES([tests/Makefile]) |
---|
94 | AC_CONFIG_FILES([libpolys-config]) |
---|
95 | AC_OUTPUT |
---|