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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
|
# -*- Autoconf -*-
# Process this file with autoconf to produce a configure script.
AC_PREREQ([2.69])
AC_INIT([4ti2],[1.6.14])
AC_CONFIG_MACRO_DIR([m4])
AM_INIT_AUTOMAKE([foreign std-options])
AC_CONFIG_FILES([Makefile src/Makefile src/4ti2/Makefile
src/groebner/Makefile src/util/Makefile
src/ppi/Makefile src/zsolve/Makefile
src/fiber/Makefile
doc/Makefile
m4/Makefile])
dnl Library versioning (C:R:A == current:revision:age)
dnl See https://www.gnu.org/software/libtool/manual/html_node/Libtool-versioning.html
dnl See <GSL>/configure.ac
XLII_CURRENT=0
XLII_REVISION=0
XLII_AGE=0
XLII_LT_VERSION="${XLII_CURRENT}:${XLII_REVISION}:${XLII_AGE}"
AC_SUBST(XLII_LT_VERSION)
AC_CONFIG_HEADERS([src/config.h src/4ti2/4ti2_config.h])
AC_CONFIG_FILES([src/groebner/script.template])
AC_CONFIG_FILES([src/zsolve/graver.template])
AC_CONFIG_FILES([src/zsolve/hilbert.template])
AC_CONFIG_FILES([test/Makefile])
AC_CONFIG_FILES([test/circuits/Makefile])
AC_CONFIG_FILES([test/genmodel/Makefile])
AC_CONFIG_FILES([test/gensymm/Makefile])
AC_CONFIG_FILES([test/graver/Makefile])
AC_CONFIG_FILES([test/groebner/Makefile])
AC_CONFIG_FILES([test/groebner/gmp/Makefile])
AC_CONFIG_FILES([test/hilbert/Makefile])
AC_CONFIG_FILES([test/markov/Makefile])
AC_CONFIG_FILES([test/markov/gmp/Makefile])
AC_CONFIG_FILES([test/markov/saturation/Makefile])
AC_CONFIG_FILES([test/markov/maxmin/Makefile])
AC_CONFIG_FILES([test/minimize/Makefile])
AC_CONFIG_FILES([test/normalform/Makefile])
AC_CONFIG_FILES([test/output/Makefile])
AC_CONFIG_FILES([test/output/binomials/Makefile])
AC_CONFIG_FILES([test/output/maple/Makefile])
AC_CONFIG_FILES([test/output/positive/Makefile])
AC_CONFIG_FILES([test/ppi/Makefile])
AC_CONFIG_FILES([test/qsolve/Makefile])
AC_CONFIG_FILES([test/qsolve/api/Makefile])
AC_CONFIG_FILES([test/qsolve/gmp/Makefile])
AC_CONFIG_FILES([test/rays/Makefile])
AC_CONFIG_FILES([test/walk/Makefile])
AC_CONFIG_FILES([test/zbasis/Makefile])
AC_CONFIG_FILES([test/zsolve/Makefile])
AC_CONFIG_FILES([test/zsolve/api/Makefile])
AC_CONFIG_FILES([test/check.template], [chmod +x test/check.template])
AC_CONFIG_FILES([test/subdirsum], [chmod +x test/subdirsum])
AC_CONFIG_FILES([test/flavorsum], [chmod +x test/flavorsum])
AC_CONFIG_FILES([test/reportfailures], [chmod +x test/reportfailures])
AC_CONFIG_FILES([test/ppi/check-ppi], [chmod +x test/ppi/check-ppi])
## Check what components to enable
AC_ARG_ENABLE(groebner, AS_HELP_STRING([--disable-groebner], [Disable building the groebner components]),
[enable_groebner=${enableval}], [enable_groebner=yes])
AC_ARG_ENABLE(zsolve, AS_HELP_STRING([--disable-zsolve], [Disable building the zsolve components]),
[enable_zsolve=${enableval}], [enable_zsolve=yes])
AC_ARG_ENABLE(fiber, AS_HELP_STRING([--enable-fiber], [Disable building the fiber components]),
[enable_fiber=${enableval}], [enable_fiber=no])
AM_CONDITIONAL([ENABLE_ZSOLVE], [ test x${enable_zsolve} = xyes ])
AM_CONDITIONAL([ENABLE_FIBER], [ test x${enable_fiber} = xyes ])
## Using the C compiler
AC_PROG_CC
AX_CFLAGS_WARN_ALL
## Using the C++ compiler
AC_PROG_CXX
# Turn on most compiler warnings
AX_CXXFLAGS_WARN_ALL
# The flag -ftrapv means that arithmetic overflow checking is enabled.
CHECK_TRAPV
### Taken from GMP's configure.in:
# The dead hand of AC_REQUIRE makes LT_INIT expand and execute
# AC_PROG_F77, even when F77 is not in the selected with_tags. This is
# probably harmless, but it's unsightly and bloats our configure, so pretend
# AC_PROG_F77 has been expanded already.
#
# FIXME: Rumour has it libtool will one day provide a way for a configure.in
# to say what it wants from among supported languages etc.
#
AC_PROVIDE([AC_PROG_F77])
# Change the default behaviour to disable shared libraries. The user
# may still override this default by specifying `--enable-shared'.
# The reasons for the changed default is that the complexities of
# building shared libraries are avoided, and also that static build
# can result in faster code on some architectures.
##AC_DISABLE_SHARED
# This triggers selection of some optimization flags (-g -O2),
# so it should appear _after_ the AX_CXX_MAXOPT, AX_CC_MAXOPT calls.
LT_INIT
# Checks for typedefs, structures, and compiler characteristics.
#AC_HEADER_STDBOOL
#AC_C_CONST
# Checks for library functions.
#AC_FUNC_MALLOC
# Check for GNU MP.
AC_LANG(C++)
LB_CHECK_GMP(,,[AC_MSG_WARN([GNU MP not found.
4ti2 will be built without support for arbitrary-precision computations.])])
if test -z "${GMP_HAVE_CXX}" ; then
AC_MSG_WARN([Unable to use the GNU MP C++ library.
Please make sure that GNU MP was configured with "--enable-cxx".
4ti2 will be built without support for arbitrary-precision computations.])
fi
if test x${enable_groebner} = xyes ; then
# Check for GLPK.
LB_CHECK_GLPK(,,[
AC_MSG_WARN([GNU Linear Programming Kit not found!
It is required for building the Groebner component of 4ti2.
4ti2 will be built without the Groebner component.])
enable_groebner=no
])
fi
AM_CONDITIONAL([ENABLE_GROEBNER], [ test x${enable_groebner} = xyes ])
AM_CONDITIONAL([HAVE_GMP_WITH_CXX], [test -n "${GMP_HAVE_CXX}"])
if test -n "${GMP_HAVE_CXX}" ; then
# Definition for installed header file 4ti2_config.h
AC_DEFINE([_4ti2_HAVE_GMP], [], [Define if GMP (with C++ interface) is installed])
# Check whether we can convert between int32_t and int64_t and mpz_class (for the API).
save_CXXFLAGS=${CXXFLAGS}
CXXFLAGS="${CXXFLAGS} ${GMP_CFLAGS}"
save_LIBS="${LIBS}"
LIBS="${LIBS} ${GMP_LIBS}"
AC_MSG_CHECKING(whether we can convert between int32_t and mpz_class)
AC_LINK_IFELSE([AC_LANG_PROGRAM([[ #include <gmpxx.h>
#include <cstdint>
]], [[ int32_t x = 815;
mpz_class y(x);
]])],[ HAVE_MPZ_INT32_CONVERSION=yes;
AC_DEFINE(_4ti2_HAVE_MPZ_INT32_CONVERSION, 1, [Define if we can convert between int32_t and mpz_class]) ],[ HAVE_MPZ_INT32_CONVERSION=no ])
AC_MSG_RESULT(${HAVE_MPZ_INT32_CONVERSION})
AC_MSG_CHECKING(whether we can convert between int64_t and mpz_class)
AC_LINK_IFELSE([AC_LANG_PROGRAM([[ #include <gmpxx.h>
#include <cstdint>
]], [[ int64_t x = 815;
mpz_class y(x);
]])],[ HAVE_MPZ_INT64_CONVERSION=yes;
AC_DEFINE(_4ti2_HAVE_MPZ_INT64_CONVERSION, 1, [Define if we can convert between int64_t and mpz_class]) ],[ HAVE_MPZ_INT64_CONVERSION=no ])
AC_MSG_RESULT(${HAVE_MPZ_INT64_CONVERSION})
LIBS="${save_LIBS}"
CXXFLAGS="${save_CXXFLAGS}"
fi
GROEBNER_DEFAULT_EXECUTABLE=4ti2gmp
dnl elif test -n "${GMP_HAVE_CXX}" ; then
dnl GROEBNER_DEFAULT_EXECUTABLE=4ti2gmp
dnl else
dnl AC_MSG_ERROR([Neither int32_t, int64_t, nor GMP integers are available.
dnl 4ti2 cannot be built. Consider upgrading the compiler or
dnl use the correct CXXFLAGS that enables these types.])
dnl fi
AC_SUBST(GROEBNER_DEFAULT_EXECUTABLE)
AC_OUTPUT
|
