forked from Singular/Singular
-
Notifications
You must be signed in to change notification settings - Fork 0
/
configure.ac
executable file
·100 lines (74 loc) · 2.45 KB
/
configure.ac
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
AC_INIT([singular], [3.1.3.sw])
AC_CONFIG_MACRO_DIR([m4])
AC_CONFIG_AUX_DIR([.])
AC_CONFIG_SRCDIR([Singular/tesths.cc])
AC_CONFIG_HEADER([config.h])
AM_MAINTAINER_MODE
AM_INIT_AUTOMAKE([singular], [3.1.3.sw])
dnl Check if build env is sane
AM_SANITY_CHECK
#
# - Check for CC and CXX but be careful about CFLAGS.
#
test "${CFLAGS+set}" = set || cflags_expl_set=no
AC_PROG_CC
test "${CXXFLAGS+set}" = set || cxxflags_expl_set=no
AC_PROG_CXX
if test "x$GCC" != xyes && test "x$GXX" != xyes; then
AC_MSG_WARN(you better use gcc to compile Factory)
else
if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
AC_MSG_WARN([we use \`' as default for \`CXXFLAGS'
(instead of the configure default \`-g -O')])
fi
if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
AC_MSG_WARN([we use \`' as default for \`CFLAGS'
(instead of the configure default \`-g -O')])
fi
fi
LT_INIT([shared])
AC_PROG_CPP
AC_PROG_CXXCPP
AM_PROG_CC_C_O
AC_PROG_LN_S
AC_PROG_INSTALL
# AC_PROG_RANLIB
# Checks for libraries.
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)]))
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)]))
AC_FUNC_ERROR_AT_LINE
AC_FUNC_MALLOC
SING_CHECK_PIPE
# check for cpu properties
AC_CHECK_SIZEOF(long,4)
SING_CHECK_CPU
#check for host:
AC_CANONICAL_HOST
case $host_os in
*cygwin* ) LIBPREFIX="-Xlinker -Bdynamic";;
* ) LIBPREFIX="";;
esac
SING_CHECK_P_PROCS
SING_CHECK_FACTORY
SING_CHECK_READLINE
SING_CHECK_DBM
# CFLAGS
if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
CFLAGS=""
fi
# CXXFLAGS
if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
CXXFLAGS=""
fi
### the following is needed due to the use of om_sing_opt_show_mem in misc_ip.cc...
#ac_configure_args="$ac_configure_args --with-external-config_h=../Singular/omSingularConfig.h"
AC_CONFIG_SUBDIRS(omalloc)
if test x$ENABLE_FACTORY = xyes; then
AC_CONFIG_SUBDIRS(factory)
fi
AC_CONFIG_SUBDIRS(libpolys)
AC_CONFIG_FILES([Makefile])
AC_CONFIG_FILES([kernel/Makefile])
AC_CONFIG_FILES([numeric/Makefile])
AC_CONFIG_FILES([Singular/Makefile])
AC_OUTPUT