source: git/libpolys/configure.ac @ d84a4d

fieker-DuValspielwiese
Last change on this file since d84a4d was 897139, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
FIX: numerics need GMP (NTL/FACTORY?) => changes to build system
  • Property mode set to 100644
File size: 2.5 KB
Line 
1AC_INIT([singular], [3.1.2.sw])
2AC_CONFIG_MACRO_DIR([../m4])
3AC_CONFIG_AUX_DIR([.])
4AC_CONFIG_SRCDIR([reporter/reporter.h])
5AC_CONFIG_HEADER([config.h misc/auxiliary.h])
6AM_MAINTAINER_MODE
7AM_INIT_AUTOMAKE
8
9dnl Check if build env is sane
10AM_SANITY_CHECK
11
12LT_INIT(dlopen disable-static)
13
14# Checks for programs.
15AC_PROG_CXX
16AC_PROG_CC
17AC_PROG_LN_S
18AC_PROG_INSTALL
19AM_PROG_CC_C_O
20
21# Checks for libraries.
22LB_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)]))
23LB_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.
26AC_FUNC_ERROR_AT_LINE
27AC_CHECK_FUNCS([memmove memset pow sqrt strchr])
28AC_FUNC_VPRINTF
29AC_FUNC_MALLOC
30AC_CHECK_FUNC([vsnprintf], [AC_DEFINE([HAVE_VSNPRINTF], [1], [Define if vsnprintf exists.])])
31
32# Checks for header files.
33AC_HEADER_STDC
34AC_STDC_HEADERS
35AC_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.
38AC_C_CONST
39AC_C_INLINE
40AC_HEADER_STDBOOL
41AC_TYPE_SIZE_T
42
43SING_CHECK_PIPE
44
45# check for cpu properties
46AC_CHECK_SIZEOF(long,4)
47SING_CHECK_CPU
48
49#check for host:
50AC_CANONICAL_HOST
51case $host_os in
52  *cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
53  * ) LIBPREFIX="";;
54esac
55
56dnl INCLUDES=""
57dnl dnl OS specific flags and options
58dnl case "$host" in
59dnl     *-*-freebsd*)
60dnl         LIBS="$LIBS -L/usr/local/lib -lc"
61dnl     CFLAGS="$CFLAGS -I/usr/local/include"
62dnl     INCLUDES="$INCLUDES -I/usr/local/include"
63dnl     ;;
64dnl esac       
65dnl AC_SUBST(INCLUDES)
66
67SING_CHECK_P_PROCS
68SING_CHECK_ARITH_RINGS
69SING_CHECK_FACTORY
70SING_CHECK_PLURAL
71
72if test "x$prefix" != xNONE; then
73  PREFIX="$prefix"
74else
75  PREFIX="$ac_default_prefix"
76fi
77
78# AC_SUBST(PREFIX)
79AC_DEFINE_UNQUOTED(INSTALL_PREFIX,"$PREFIX",Prefix)
80
81AC_DEFINE([SINGULAR],[1],[SINGULAR])
82AC_DEFINE([DISABLE_GMP_CPP],[1],[DISABLE_GMP_CPP])
83AC_DEFINE([NOSTREAMIO],[1],[DISABLE_GMP_CPP])
84
85AC_SUBST(LIBPREFIX)
86
87AC_CONFIG_FILES([Makefile])
88AC_CONFIG_FILES([misc/Makefile])
89AC_CONFIG_FILES([reporter/Makefile])
90AC_CONFIG_FILES([resources/Makefile])
91AC_CONFIG_FILES([coeffs/Makefile])
92AC_CONFIG_FILES([polys/Makefile])
93AC_CONFIG_FILES([tests/Makefile])
94AC_CONFIG_FILES([libpolys-config])
95AC_OUTPUT
Note: See TracBrowser for help on using the repository browser.