[6afd7c] | 1 | dnl Process this file with autoconf to produce a configure script |
---|
[f84882] | 2 | AC_INIT(kernel/matpol.h) |
---|
[6afd7c] | 3 | AC_PREFIX_DEFAULT(`pwd`) |
---|
[a15090f] | 4 | pwd=`pwd` |
---|
| 5 | |
---|
[5e5db8] | 6 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 7 | dnl Version business -- set these here |
---|
| 8 | dnl |
---|
| 9 | # make them to env variables |
---|
| 10 | # pass them indirectly to subsequent configures |
---|
[23b5a6] | 11 | SINGULAR_MAJOR_VERSION=3 |
---|
[b4e3253] | 12 | SINGULAR_MINOR_VERSION=1 |
---|
[ada9ee] | 13 | SINGULAR_SUB_VERSION=2 |
---|
[72541b] | 14 | VERSION_SEP="-" |
---|
[5e5db8] | 15 | SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}" |
---|
| 16 | SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}" |
---|
[553006] | 17 | SINGULAR_RPM_VERSION="${SINGULAR_MAJOR_VERSION}.${SINGULAR_MINOR_VERSION}.${SINGULAR_SUB_VERSION}" |
---|
[ada9ee] | 18 | VERSION_DATE="Oct 2010" |
---|
[5e5db8] | 19 | SINGULAR_ROOT_DIR=$pwd |
---|
[a15090f] | 20 | |
---|
[5e5db8] | 21 | export SINGULAR_MINOR_VERSION |
---|
| 22 | export SINGULAR_MAJOR_VERSION |
---|
| 23 | export SINGULAR_SUB_VERSION |
---|
| 24 | export SINGULAR_VERSION |
---|
[553006] | 25 | export SINGULAR_RPM_VERSION |
---|
[5e5db8] | 26 | export VERSION_DATE |
---|
| 27 | export SINGULAR_ROOT_DIR |
---|
| 28 | |
---|
| 29 | dnl substitue them into the Makefiles |
---|
| 30 | AC_SUBST(SINGULAR_VERSION) |
---|
| 31 | AC_SUBST(VERSION_DATE) |
---|
| 32 | AC_SUBST(SINGULAR_SHORT_VERSION) |
---|
[553006] | 33 | AC_SUBST(SINGULAR_RPM_VERSION) |
---|
[5e5db8] | 34 | AC_SUBST(SINGULAR_ROOT_DIR) |
---|
| 35 | |
---|
| 36 | |
---|
| 37 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 38 | dnl Makefiles to output |
---|
| 39 | dnl |
---|
[a15090f] | 40 | # determine Makefiles to output |
---|
[aac46c] | 41 | OUTPUT_MAKEFILES="Makefile" |
---|
| 42 | if test -d "doc"; then |
---|
| 43 | OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES doc/Makefile doc/version.texi doc/uname.texi" |
---|
| 44 | fi |
---|
[460c1e1] | 45 | if test -d "emacs"; then |
---|
| 46 | OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" emacs/Makefile" |
---|
| 47 | fi |
---|
[8c8a76] | 48 | if test -d "IntegerProgramming"; then |
---|
| 49 | OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" IntegerProgramming/Makefile" |
---|
| 50 | fi |
---|
[08b7a76] | 51 | if test -d "Plural"; then |
---|
| 52 | OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" Plural/Makefile" |
---|
| 53 | fi |
---|
[a15090f] | 54 | if test -d "InstallShield"; then |
---|
| 55 | OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" InstallShield/Makefile InstallShield/Etc/Makefile InstallShield/Cygwin/Makefile InstallShield/Singular/Makefile InstallShield/Xemacs/Makefile" |
---|
| 56 | fi |
---|
[73e491] | 57 | |
---|
[9ead31] | 58 | |
---|
[ebe3e8] | 59 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
[fe40293] | 60 | dnl determine singuname |
---|
[1bed80] | 61 | dnl |
---|
[fe40293] | 62 | AC_MSG_CHECKING(uname for singular) |
---|
| 63 | AC_CACHE_VAL(ac_cv_singuname, |
---|
| 64 | ac_cv_singuname="unknown" |
---|
| 65 | if test -r "singuname.sh"; then |
---|
| 66 | if (/bin/sh singuname.sh >/dev/null 2>&1) then |
---|
| 67 | ac_cv_singuname=`/bin/sh singuname.sh` |
---|
| 68 | fi |
---|
| 69 | fi |
---|
| 70 | ) |
---|
| 71 | AC_MSG_RESULT($ac_cv_singuname) |
---|
| 72 | if test "$ac_cv_singuname" = unknown; then |
---|
[f02645b] | 73 | AC_MSG_WARN(Unknown architecture: Check singuname.sh) |
---|
[fe40293] | 74 | fi |
---|
[f02645b] | 75 | SINGUNAME=$ac_cv_singuname |
---|
| 76 | AC_SUBST(SINGUNAME) |
---|
[ebe3e8] | 77 | |
---|
[c30f2eb] | 78 | SING_UNAME=`echo $SINGUNAME | tr '-' '_' ` |
---|
| 79 | AC_SUBST(SING_UNAME) |
---|
| 80 | |
---|
[1bed80] | 81 | |
---|
[074171] | 82 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 83 | dnl compiler stuff |
---|
| 84 | dnl is needed to check for libs and headers, later on |
---|
| 85 | dnl |
---|
| 86 | dnl we do not want to have "-g -O" for CFLAGS |
---|
| 87 | if test "${CXXFLAGS+set}" != set; then |
---|
| 88 | ac_cxxflags_set=no |
---|
| 89 | CXXFLAGS="-O" |
---|
| 90 | fi |
---|
| 91 | if test "${CFLAGS+set}" != set; then |
---|
| 92 | CFLAGS="-O" |
---|
| 93 | ac_cflags_set=no |
---|
| 94 | fi |
---|
| 95 | |
---|
[6afd7c] | 96 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
[8c8a76] | 97 | dnl compiler stuff |
---|
| 98 | dnl is needed to check for libs and headers, later on |
---|
[6afd7c] | 99 | dnl |
---|
| 100 | AC_PROG_CC |
---|
| 101 | AC_PROG_CPP |
---|
[4b72f6] | 102 | AC_PROG_INSTALL |
---|
[6afd7c] | 103 | AC_AIX |
---|
[8c8a76] | 104 | AC_PROG_CXX |
---|
| 105 | |
---|
[5ff7d2] | 106 | SING_CC=${CC}; export SING_CC |
---|
| 107 | SING_CXX=${CXX}; export SING_CXX |
---|
| 108 | |
---|
[8c8a76] | 109 | # check whether the compiler accepts -pipe |
---|
| 110 | AC_MSG_CHECKING(whether compiler accepts -pipe) |
---|
| 111 | temp_cflags=${CFLAGS} |
---|
| 112 | CFLAGS="${CFLAGS} -pipe" |
---|
| 113 | AC_CACHE_VAL(ac_cv_cxx_have_pipe, |
---|
| 114 | AC_TRY_COMPILE(,,ac_cv_cxx_have_pipe=yes,ac_cv_cxx_have_pipe=no) |
---|
| 115 | ) |
---|
| 116 | AC_MSG_RESULT(${ac_cv_cxx_have_pipe}) |
---|
| 117 | CFLAGS=${temp_cflags} |
---|
| 118 | if test "${ac_cv_cxx_have_pipe}" != yes; then |
---|
| 119 | PIPE= |
---|
| 120 | else |
---|
| 121 | PIPE="-pipe" |
---|
| 122 | fi |
---|
| 123 | AC_SUBST(PIPE) |
---|
[6afd7c] | 124 | |
---|
[3d8259] | 125 | AC_CHECK_PROGS(PERL, perl5 perl) |
---|
[575b64] | 126 | AC_CHECK_PROGS(UUDECODE, uudecode "uudeview -i",${pwd}/warn_not_found.sh uudecode) |
---|
[9ead31] | 127 | AC_CHECK_PROGS(GUNZIP, gunzip, ${pwd}/warn_not_found.sh gunzip) |
---|
| 128 | # don't use GZIP this breaks configure |
---|
| 129 | AC_CHECK_PROGS(MYGZIP, gzip, ${pwd}/warn_not_found.sh gzip) |
---|
[f36635] | 130 | AC_CHECK_PROG(LATEX2HTML, latex2html, latex2html) |
---|
[fe40293] | 131 | AC_PROG_LN_S |
---|
[73e491] | 132 | |
---|
[51f201] | 133 | if test -r "${pwd}/mkinstalldirs"; then |
---|
[a15090f] | 134 | MKINSTALLDIRS=${pwd}/mkinstalldirs |
---|
| 135 | AC_SUBST(MKINSTALLDIRS) |
---|
| 136 | else |
---|
| 137 | AC_MSG_ERROR(mkinstalldirs not foind in ${pwd}) |
---|
| 138 | fi |
---|
| 139 | |
---|
[64c6d1] | 140 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
[a23686] | 141 | dnl Set exec_prefix, bindir, libdir, includedir to some sensible values |
---|
[64c6d1] | 142 | dnl |
---|
| 143 | # expand prefix and pass it to subsequent configures |
---|
[73e491] | 144 | if test "x$prefix" = xNONE; then |
---|
| 145 | prefix=${ac_default_prefix} |
---|
| 146 | ac_configure_args="$ac_configure_args --prefix=${prefix}" |
---|
| 147 | fi |
---|
[64c6d1] | 148 | |
---|
| 149 | # expand exec_prefix |
---|
| 150 | if test "x$exec_prefix" = xNONE; then |
---|
[fe40293] | 151 | exec_prefix=${prefix}/${ac_cv_singuname} |
---|
| 152 | ac_configure_args="$ac_configure_args --exec_prefix=${exec_prefix}" |
---|
[6afd7c] | 153 | fi |
---|
| 154 | |
---|
[64c6d1] | 155 | # expand bindir |
---|
[73e491] | 156 | if test "x$bindir" = 'x${exec_prefix}/bin'; then |
---|
[dcc635] | 157 | bindir="${exec_prefix}" |
---|
[73e491] | 158 | ac_configure_args="$ac_configure_args --bindir=${bindir}" |
---|
| 159 | fi |
---|
[64c6d1] | 160 | |
---|
| 161 | # expand libdir |
---|
[73e491] | 162 | if test "x$libdir" = 'x${exec_prefix}/lib'; then |
---|
[dcc635] | 163 | libdir="${exec_prefix}/lib" |
---|
[73e491] | 164 | ac_configure_args="$ac_configure_args --libdir=${libdir}" |
---|
| 165 | fi |
---|
[64c6d1] | 166 | |
---|
| 167 | # expand includedir |
---|
[73e491] | 168 | if test "x$includedir" = 'x${prefix}/include'; then |
---|
[dcc635] | 169 | includedir="${exec_prefix}/include" |
---|
[73e491] | 170 | ac_configure_args="$ac_configure_args --includedir=${includedir}" |
---|
| 171 | fi |
---|
| 172 | |
---|
[9bc556] | 173 | # construct name of installed Singular executable |
---|
[ef0124] | 174 | SINGULAR=${bindir}/Singular-${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION} |
---|
[9bc556] | 175 | export SINGULAR |
---|
| 176 | AC_SUBST(SINGULAR) |
---|
[64c6d1] | 177 | |
---|
[73e491] | 178 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
[a23686] | 179 | dnl Check for various libraries and headers |
---|
[73e491] | 180 | dnl |
---|
| 181 | dnl After this part, the variables 'ac_<package>_ok' is 'yes' |
---|
| 182 | dnl if '<package>' is already existent on the system, otherwise |
---|
| 183 | dnl undefined. |
---|
| 184 | dnl |
---|
| 185 | |
---|
| 186 | # add -I to CPPFLAGS and -L to LDFLAGS, just to be sure |
---|
[64c6d1] | 187 | LDFLAGS="-L${libdir} ${LDFLAGS}" |
---|
| 188 | CPPFLAGS="-I${includedir} ${CPPFLAGS}" |
---|
[6afd7c] | 189 | |
---|
[73e491] | 190 | # check for AIX |
---|
[dc32d42] | 191 | AC_MSG_CHECKING(whether _AIX is defined) |
---|
| 192 | AC_CACHE_VAL(ac_cv_is_aix, |
---|
| 193 | AC_EGREP_CPP(yes, |
---|
| 194 | [#ifdef _AIX |
---|
| 195 | yes |
---|
| 196 | #endif |
---|
| 197 | ], ac_cv_is_aix=yes, ac_cv_is_aix=no, 1)) |
---|
| 198 | if test "$ac_cv_is_aix" = yes; then |
---|
| 199 | AC_MSG_RESULT(yes) |
---|
| 200 | else |
---|
| 201 | AC_MSG_RESULT(no) |
---|
| 202 | fi |
---|
[6afd7c] | 203 | |
---|
| 204 | AC_CHECK_LIB(m, atof) |
---|
[4dea87] | 205 | AC_CHECK_LIB(bsd, socket) |
---|
| 206 | AC_CHECK_LIB(socket, listen) |
---|
| 207 | AC_CHECK_LIB(nsl, gethostbyname) |
---|
[a70441f] | 208 | AC_CHECK_LIB(gmp, main) |
---|
[6afd7c] | 209 | AC_CHECK_LIB(MP, IMP_PutGmpInt) |
---|
| 210 | AC_CHECK_LIB(MPT, MPT_GetTree) |
---|
| 211 | AC_CHECK_LIB(singcf, atof) |
---|
| 212 | AC_CHECK_LIB(singfac, atof) |
---|
[c232af] | 213 | AC_CHECK_LIB(omalloc, omTestAddr) |
---|
| 214 | AC_CHECK_LIB(omalloc_ndebug, main) |
---|
[6afd7c] | 215 | |
---|
[25ed91] | 216 | AC_CHECK_HEADERS(gmp.h MP.h MPT.h factory.h factor.h omalloc.h) |
---|
[6afd7c] | 217 | |
---|
[a70441f] | 218 | if test "$ac_cv_lib_gmp_main" = yes && \ |
---|
[6afd7c] | 219 | test "$ac_cv_header_gmp_h" = yes; then |
---|
[73e491] | 220 | ac_gmp_ok=yes |
---|
[6afd7c] | 221 | fi |
---|
| 222 | |
---|
| 223 | if test "$ac_cv_lib_MP_IMP_PutGmpInt" = yes && \ |
---|
| 224 | test "$ac_cv_lib_MPT_MPT_GetTree" && \ |
---|
| 225 | test "$ac_cv_header_MP_h" = yes && \ |
---|
| 226 | test "$ac_cv_header_MPT_h" = yes; then |
---|
| 227 | ac_MP_ok=yes |
---|
| 228 | fi |
---|
| 229 | |
---|
[4c001a] | 230 | if test "$ac_cv_lib_singcf_atof" = yes && \ |
---|
[6afd7c] | 231 | test "$ac_cv_header_factory_h" = yes; then |
---|
| 232 | ac_factory_ok=yes |
---|
| 233 | fi |
---|
| 234 | |
---|
[4c001a] | 235 | if test "$ac_cv_lib_singfac_atof" = yes && \ |
---|
[6afd7c] | 236 | test "$ac_cv_header_factor_h" = yes; then |
---|
| 237 | ac_libfac_ok=yes |
---|
| 238 | fi |
---|
| 239 | |
---|
[c232af] | 240 | if test "$ac_cv_lib_omalloc_omTestAddr" = yes && \ |
---|
| 241 | test "$ac_cv_lib_omalloc_ndebug_main" = yes && \ |
---|
| 242 | test "$ac_cv_header_omalloc_c" = yes && \ |
---|
| 243 | test "$ac_cv_header_omalloc_h" = yes; then |
---|
| 244 | ac_cv_omalloc_ok=yes |
---|
| 245 | fi |
---|
[6afd7c] | 246 | |
---|
| 247 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
[a23686] | 248 | dnl Check command line arguments |
---|
[6afd7c] | 249 | dnl |
---|
[9177e3] | 250 | |
---|
| 251 | DOC2TEX_EXAMPLE_EXCLUSIONS="" |
---|
| 252 | AC_SUBST(DOC2TEX_EXAMPLE_EXCLUSIONS) |
---|
| 253 | |
---|
[f36635] | 254 | AC_ARG_WITH(tmpdir, \ |
---|
| 255 | [ --with-tmpdir=DIR use DIR as temporary directory]) |
---|
[25ed91] | 256 | AC_ARG_ENABLE(omalloc, \ |
---|
[aac46c] | 257 | [ --enable-PACKAGE configure and/or build PACKAGE |
---|
| 258 | --disable-PACKAGE do not configure and/or build PACKAGE |
---|
[64c6d1] | 259 | where PACKAGE can be: |
---|
[25ed91] | 260 | omalloc omalloc memory managment]) |
---|
[64c6d1] | 261 | AC_ARG_ENABLE(gmp, \ |
---|
| 262 | [ gmp Gnu Multiple Precision package]) |
---|
[6afd7c] | 263 | AC_ARG_ENABLE(MP, \ |
---|
| 264 | [ MP Multi Protocol library]) |
---|
| 265 | AC_ARG_ENABLE(factory, \ |
---|
| 266 | [ factory polynomial factorization library]) |
---|
| 267 | AC_ARG_ENABLE(libfac, \ |
---|
| 268 | [ libfac char set and modp poly factorization library]) |
---|
[a04715] | 269 | AC_ARG_ENABLE(sgroup, \ |
---|
| 270 | [ sgroup numerical semigroup computations]) |
---|
[6afd7c] | 271 | AC_ARG_ENABLE(Singular, \ |
---|
[64c6d1] | 272 | [ Singular CAS for Polynomial Computations]) |
---|
[181d6e] | 273 | AC_ARG_ENABLE(IntegerProgramming, \ |
---|
| 274 | [ IntegerProgramming IntegerProgramming]) |
---|
[08b7a76] | 275 | AC_ARG_ENABLE(Plural, \ |
---|
| 276 | [ Plural Plural]) |
---|
[f36635] | 277 | AC_ARG_ENABLE(Texinfo, \ |
---|
| 278 | [ Texinfo Texinfo for info, texi2dvi, makeinfo]) |
---|
[aac46c] | 279 | AC_ARG_ENABLE(Texi2html, \ |
---|
| 280 | [ Texi2html Texinfo to HTML converter]) |
---|
| 281 | AC_ARG_ENABLE(doc, \ |
---|
| 282 | [ doc Singular documentation]) |
---|
| 283 | AC_ARG_ENABLE(emacs, \ |
---|
| 284 | [ emacs emacs completion files]) |
---|
[78364c] | 285 | AC_ARG_WITH(MP,\ |
---|
| 286 | [ --with-PACKAGE use PACKAGE, provide dependent functionality |
---|
| 287 | --without-PACKAGE do not use PACKAGE, disable dependent functionality |
---|
[64c6d1] | 288 | where PACKAGE can be: |
---|
[9f226d] | 289 | MP Multi Protocol library]) |
---|
[78364c] | 290 | AC_ARG_WITH(factory, \ |
---|
| 291 | [ factory polynomial factorization library]) |
---|
| 292 | AC_ARG_WITH(libfac, \ |
---|
| 293 | [ libfac char set and modp poly factorization library]) |
---|
| 294 | AC_ARG_WITH(gmp, \ |
---|
| 295 | [ --with-apint=PACKAGE use PACKAGE for arbitary integer arithmetic |
---|
[25ed91] | 296 | where PACKAGE can be gmp |
---|
[9bc556] | 297 | All additional --enable and --with options are passed to subsequent calls |
---|
| 298 | to configure of the packages to be built. See also configure --help in |
---|
| 299 | these packages (resp. subdirs). ]) |
---|
[64c6d1] | 300 | |
---|
[f36635] | 301 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 302 | dnl Check what to use as tmp dir |
---|
| 303 | dnl |
---|
| 304 | AC_MSG_CHECKING(which tmp dir to use) |
---|
| 305 | if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then |
---|
| 306 | if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1) |
---|
| 307 | then |
---|
[8f659dc] | 308 | TMP_DIR="${pwd}/tmp" |
---|
[f36635] | 309 | else |
---|
| 310 | TMP_DIR=${with_tmpdir} |
---|
| 311 | fi |
---|
| 312 | else |
---|
[8f659dc] | 313 | TMP_DIR="${pwd}/tmp" |
---|
[f36635] | 314 | fi |
---|
| 315 | AC_MSG_RESULT($TMP_DIR) |
---|
| 316 | AC_SUBST(TMP_DIR) |
---|
| 317 | |
---|
[a23686] | 318 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 319 | dnl Check whether or not to configure and build various packages |
---|
| 320 | dnl |
---|
[c232af] | 321 | AC_MSG_CHECKING(whether to configure and build omalloc) |
---|
| 322 | if test "${enable_omalloc+set}" != set; then |
---|
| 323 | if test "$ac_cv_omalloc_ok" = yes; then |
---|
| 324 | enable_omalloc=no |
---|
| 325 | fi |
---|
| 326 | enable_omalloc_not_set=yes |
---|
| 327 | fi |
---|
| 328 | if test "$enable_omalloc" = no; then |
---|
| 329 | if test "$ac_cv_omalloc_ok" != yes; then |
---|
| 330 | AC_MSG_ERROR(can not build without omalloc) |
---|
| 331 | fi |
---|
| 332 | AC_MSG_RESULT(no) |
---|
| 333 | else |
---|
| 334 | if test -d omalloc; then |
---|
| 335 | AC_MSG_RESULT(yes) |
---|
| 336 | if test "$enable_omalloc_not_set" = yes; then |
---|
[efbf54] | 337 | ac_configure_args="$ac_configure_args --enable-omalloc --with-external-config_h='$pwd/Singular/omSingularConfig.h' --with-track-custom" |
---|
[c232af] | 338 | fi |
---|
| 339 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS omalloc" |
---|
[25ed91] | 340 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS omalloc" |
---|
[995ba8] | 341 | if test "${with_malloc+set}" != set; then |
---|
| 342 | case "$ac_cv_singuname" in |
---|
| 343 | # under windows, it is best to use the provided malloc |
---|
| 344 | ix86-Win*) |
---|
| 345 | with_malloc=system |
---|
| 346 | ac_configure_args="$ac_configure_args --with-malloc=system" |
---|
| 347 | ;; |
---|
[26ec6d] | 348 | PowerMacintosh-darwin*) |
---|
| 349 | with_malloc=system |
---|
| 350 | ac_configure_args="$ac_configure_args --with-malloc=system" |
---|
| 351 | ;; |
---|
[995ba8] | 352 | esac |
---|
| 353 | fi |
---|
[c232af] | 354 | else |
---|
| 355 | AC_MSG_ERROR(need omalloc subdir) |
---|
| 356 | fi |
---|
| 357 | fi |
---|
[f36635] | 358 | |
---|
[386a86] | 359 | AC_MSG_CHECKING(whether to configure and build gfan lib) |
---|
| 360 | if test "$enable_gfanlib" = yes; then |
---|
| 361 | if test -d gfanlib; then |
---|
[64c6d1] | 362 | AC_MSG_RESULT(yes) |
---|
[386a86] | 363 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS gfanlib" |
---|
| 364 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS gfanlib" |
---|
[64c6d1] | 365 | else |
---|
| 366 | AC_MSG_RESULT(no) |
---|
| 367 | fi |
---|
| 368 | else |
---|
| 369 | AC_MSG_RESULT(no) |
---|
| 370 | fi |
---|
[78364c] | 371 | |
---|
[03f074] | 372 | if test "$enable_gmp" = yes; then |
---|
[b920d1] | 373 | # for gmp-3.0 to work for all ix86 processors, set generic target |
---|
| 374 | if test "$target" = NONE; then |
---|
| 375 | case "$ac_cv_singuname" in |
---|
| 376 | ix86*) |
---|
| 377 | gmp_target=`./config.guess | sed 's/^\w*-/i386-/'` |
---|
| 378 | ac_configure_args="$ac_configure_args --target=$gmp_target" |
---|
| 379 | ;; |
---|
| 380 | esac |
---|
| 381 | fi |
---|
[03f074] | 382 | # furthermore, disable building of dynamic libraries, for we want to |
---|
| 383 | # link against the static ones |
---|
| 384 | if test "$enable_shared" != no; then |
---|
| 385 | ac_configure_args="$ac_configure_args --disable-shared" |
---|
| 386 | fi |
---|
[b920d1] | 387 | fi |
---|
| 388 | |
---|
[25ed91] | 389 | # Check whether we have gmp |
---|
| 390 | if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then |
---|
| 391 | AC_MSG_ERROR(can neither find nor built gmp) |
---|
[64c6d1] | 392 | fi |
---|
| 393 | |
---|
| 394 | # Check whether we need to cheat subsequent configures with --enable-gmp |
---|
[25ed91] | 395 | if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then |
---|
[78364c] | 396 | ac_configure_args="$ac_configure_args --enable-gmp" |
---|
[6afd7c] | 397 | fi |
---|
| 398 | |
---|
[2f7cc5] | 399 | #AC_MSG_CHECKING(whether to configure and build MP lib) |
---|
| 400 | # requires: sizeof(long)==4 |
---|
| 401 | AC_CHECK_SIZEOF(long,4) |
---|
| 402 | if test "$ac_cv_sizeof_long" != 4; then |
---|
| 403 | with_MP=no |
---|
| 404 | fi |
---|
| 405 | |
---|
[6afd7c] | 406 | AC_MSG_CHECKING(whether to configure and build MP lib) |
---|
[2f7cc5] | 407 | |
---|
[6afd7c] | 408 | if test "$enable_MP" != yes && test "$enable_MP" != no; then |
---|
[64c6d1] | 409 | if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \ |
---|
| 410 | (test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes); then |
---|
| 411 | AC_MSG_RESULT(yes) |
---|
[6afd7c] | 412 | enable_MP=yes |
---|
[64c6d1] | 413 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP" |
---|
[25ed91] | 414 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS MP" |
---|
[64c6d1] | 415 | ac_configure_args="$ac_configure_args --enable-MP" |
---|
[6afd7c] | 416 | else |
---|
[64c6d1] | 417 | AC_MSG_RESULT(no) |
---|
[6afd7c] | 418 | enable_MP=no |
---|
| 419 | fi |
---|
[64c6d1] | 420 | elif test "$enable_MP" = yes; then |
---|
| 421 | if test ! -d MP; then |
---|
| 422 | AC_MSG_RESULT(no) |
---|
| 423 | AC_MSG_ERROR(can not build MP without MP directory) |
---|
| 424 | fi |
---|
| 425 | if test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes; then |
---|
[dc32d42] | 426 | AC_MSG_RESULT(yes) |
---|
| 427 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP" |
---|
[25ed91] | 428 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS MP" |
---|
[dc32d42] | 429 | else |
---|
| 430 | AC_MSG_RESULT(no) |
---|
[64c6d1] | 431 | AC_MSG_ERROR(can not build MP without gmp) |
---|
[dc32d42] | 432 | fi |
---|
[6afd7c] | 433 | else |
---|
| 434 | AC_MSG_RESULT(no) |
---|
| 435 | fi |
---|
[c232af] | 436 | |
---|
[70afd2] | 437 | # need MP code to be compiled with -fPIC, should not hurt anybody else |
---|
| 438 | if test "$enable_MP" = yes && test "${with_extra_cflags+set}" != set; then |
---|
| 439 | ac_configure_args="$ac_configure_args --with-extra_cflags=-fPIC" |
---|
| 440 | fi |
---|
| 441 | |
---|
[4d7834] | 442 | AC_MSG_CHECKING(whether to configure and build NTL lib) |
---|
| 443 | if test "$enable_NTL" != yes && test "$enable_NTL" != no; then |
---|
| 444 | if test "$with_NTL" != no && test "$ac_NTL_ok" != yes && \ |
---|
| 445 | test -d ntl; then |
---|
| 446 | enable_NTL=yes |
---|
| 447 | AC_MSG_RESULT(yes) |
---|
| 448 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS ntl" |
---|
[25ed91] | 449 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS ntl" |
---|
[4d7834] | 450 | ac_configure_args="$ac_configure_args --enable-NTL" |
---|
[9f738e4] | 451 | AC_LANG_CPLUSPLUS |
---|
| 452 | AC_CHECK_HEADERS(iostream.h iostream) |
---|
| 453 | AC_LANG_RESTORE |
---|
[4d7834] | 454 | else |
---|
| 455 | enable_NTL=no |
---|
| 456 | AC_MSG_RESULT(no) |
---|
| 457 | fi |
---|
| 458 | elif test "$enable_NTL" = yes; then |
---|
| 459 | if test -d ntl; then |
---|
| 460 | AC_MSG_RESULT(yes) |
---|
| 461 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS ntl" |
---|
[25ed91] | 462 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS ntl" |
---|
[4d7834] | 463 | else |
---|
| 464 | AC_MSG_RESULT(no) |
---|
| 465 | AC_MSG_ERROR(can not build NTL without ntl directory) |
---|
| 466 | fi |
---|
| 467 | else |
---|
| 468 | AC_MSG_RESULT(no) |
---|
| 469 | fi |
---|
[70afd2] | 470 | |
---|
[6afd7c] | 471 | AC_MSG_CHECKING(whether to configure and build factory lib) |
---|
| 472 | if test "$enable_factory" != yes && test "$enable_factory" != no; then |
---|
[64c6d1] | 473 | if test "$with_factory" != no && test "$ac_factory_ok" != yes && \ |
---|
| 474 | test -d factory; then |
---|
[6afd7c] | 475 | enable_factory=yes |
---|
[64c6d1] | 476 | AC_MSG_RESULT(yes) |
---|
| 477 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory" |
---|
[25ed91] | 478 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS factory" |
---|
[64c6d1] | 479 | ac_configure_args="$ac_configure_args --enable-factory" |
---|
[6afd7c] | 480 | else |
---|
| 481 | enable_factory=no |
---|
[64c6d1] | 482 | AC_MSG_RESULT(no) |
---|
[6afd7c] | 483 | fi |
---|
[64c6d1] | 484 | elif test "$enable_factory" = yes; then |
---|
| 485 | if test -d factory; then |
---|
[78364c] | 486 | AC_MSG_RESULT(yes) |
---|
| 487 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory" |
---|
[25ed91] | 488 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS factory" |
---|
[dc32d42] | 489 | else |
---|
| 490 | AC_MSG_RESULT(no) |
---|
[64c6d1] | 491 | AC_MSG_ERROR(can not build factory without factory directory) |
---|
[dc32d42] | 492 | fi |
---|
[6afd7c] | 493 | else |
---|
| 494 | AC_MSG_RESULT(no) |
---|
| 495 | fi |
---|
| 496 | |
---|
| 497 | AC_MSG_CHECKING(whether to configure and build libfac lib) |
---|
| 498 | if test "$enable_libfac" != yes && test "$enable_libfac" != no; then |
---|
[64c6d1] | 499 | if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \ |
---|
| 500 | test -d libfac && \ |
---|
| 501 | (test "$ac_factory_ok" = yes || test "$enable_factory" = yes); then |
---|
[6afd7c] | 502 | enable_libfac=yes |
---|
[64c6d1] | 503 | AC_MSG_RESULT(yes) |
---|
| 504 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac" |
---|
[25ed91] | 505 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS libfac" |
---|
[64c6d1] | 506 | ac_configure_args="$ac_configure_args --enable-libfac" |
---|
[6afd7c] | 507 | else |
---|
| 508 | enable_libfac=no |
---|
[64c6d1] | 509 | AC_MSG_RESULT(no) |
---|
| 510 | fi |
---|
| 511 | elif test "$enable_libfac" = yes; then |
---|
| 512 | if test ! -d libfac; then |
---|
| 513 | AC_MSG_RESULT(no) |
---|
| 514 | AC_MSG_ERROR(can not build libfac without libfac directory) |
---|
[6afd7c] | 515 | fi |
---|
[dc32d42] | 516 | if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then |
---|
[64c6d1] | 517 | AC_MSG_RESULT(yes) |
---|
| 518 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac" |
---|
[25ed91] | 519 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS libfac" |
---|
[dc32d42] | 520 | else |
---|
| 521 | AC_MSG_RESULT(no) |
---|
[64c6d1] | 522 | AC_MSG_ERROR(Can not build libfac without factory) |
---|
[dc32d42] | 523 | fi |
---|
[6afd7c] | 524 | else |
---|
| 525 | AC_MSG_RESULT(no) |
---|
| 526 | fi |
---|
| 527 | |
---|
[64c6d1] | 528 | AC_MSG_CHECKING(whether to configure and build sgroup lib) |
---|
[91ee87] | 529 | dnl |
---|
| 530 | dnl only sgroup if explicietely requested |
---|
| 531 | dnl if test "$enable_sgroup" != yes && test "$enable_sgroup" != no; then |
---|
| 532 | dnl if test "$with_sgroup" != no && test "$ac_sgroup_ok" != yes && \ |
---|
| 533 | dnl test -d sgroup && \ |
---|
| 534 | dnl (test "$ac_MP_ok" = yes || test "$enable_MP" = yes); then |
---|
| 535 | dnl enable_sgroup=yes |
---|
| 536 | dnl AC_MSG_RESULT(yes) |
---|
| 537 | dnl CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup" |
---|
| 538 | dnl ac_configure_args="$ac_configure_args --enable-sgroup" |
---|
| 539 | dnl else |
---|
| 540 | dnl enable_sgroup=no |
---|
| 541 | dnl AC_MSG_RESULT(no) |
---|
| 542 | dnl fi |
---|
| 543 | dnl elif test "$enable_sgroup" = yes; then |
---|
| 544 | if test "$enable_sgroup" = yes; then |
---|
[64c6d1] | 545 | if test ! -d sgroup; then |
---|
| 546 | AC_MSG_RESULT(no) |
---|
| 547 | AC_MSG_ERROR(can not build sgroup without sgroup directory) |
---|
| 548 | fi |
---|
| 549 | if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then |
---|
| 550 | AC_MSG_RESULT(yes) |
---|
| 551 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup" |
---|
[25ed91] | 552 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS sgroup" |
---|
[64c6d1] | 553 | else |
---|
| 554 | AC_MSG_RESULT(no) |
---|
| 555 | AC_MSG_ERROR(Can not build sgroup without MP) |
---|
[a04715] | 556 | fi |
---|
| 557 | else |
---|
| 558 | AC_MSG_RESULT(no) |
---|
| 559 | fi |
---|
| 560 | |
---|
[aac46c] | 561 | BUILD_SUBDIRS="$CONFIG_SUBDIRS" |
---|
| 562 | |
---|
[6afd7c] | 563 | AC_MSG_CHECKING(whether to configure and build Singular) |
---|
| 564 | if test "$enable_Singular" != yes && test "$enable_Singular" != no; then |
---|
[64c6d1] | 565 | if test "$with_Singular" != no && test -d Singular; then |
---|
[6afd7c] | 566 | enable_Singular=yes |
---|
[64c6d1] | 567 | AC_MSG_RESULT(yes) |
---|
| 568 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular" |
---|
[b2b47c] | 569 | BUILD_SUBDIRS="$BUILD_SUBDIRS kernel Singular" |
---|
[25ed91] | 570 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS kernel Singular" |
---|
[64c6d1] | 571 | ac_configure_args="$ac_configure_args --enable-Singular" |
---|
[6afd7c] | 572 | else |
---|
| 573 | enable_Singular=no |
---|
[64c6d1] | 574 | AC_MSG_RESULT(no) |
---|
| 575 | fi |
---|
| 576 | elif test "$enable_Singular" = yes; then |
---|
| 577 | if test -d Singular; then |
---|
| 578 | AC_MSG_RESULT(yes) |
---|
| 579 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular" |
---|
[690e864] | 580 | BUILD_SUBDIRS="$BUILD_SUBDIRS kernel Singular" |
---|
[25ed91] | 581 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS kernel Singular" |
---|
[64c6d1] | 582 | else |
---|
| 583 | AC_MSG_RESULT(no) |
---|
| 584 | AC_MSG_ERROR(can not build Singular without Singular directory) |
---|
[6afd7c] | 585 | fi |
---|
| 586 | else |
---|
| 587 | AC_MSG_RESULT(no) |
---|
| 588 | fi |
---|
| 589 | |
---|
[181d6e] | 590 | |
---|
| 591 | # test if IntegerProgramming should be built: |
---|
| 592 | |
---|
| 593 | AC_MSG_CHECKING(whether to build IntegerProgramming) |
---|
| 594 | if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then |
---|
| 595 | BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming" |
---|
[aee329b] | 596 | BUILD1_SUBDIRS="$BUILD1_SUBDIRS IntegerProgramming" |
---|
[181d6e] | 597 | AC_MSG_RESULT(yes) |
---|
| 598 | if test "$enable_IntegerProgramming" != yes; then |
---|
| 599 | ac_configure_args="$ac_configure_args --enable-IntegerProgramming" |
---|
| 600 | fi |
---|
| 601 | else |
---|
| 602 | AC_MSG_RESULT(no) |
---|
| 603 | fi |
---|
| 604 | |
---|
[08b7a76] | 605 | AC_MSG_CHECKING(whether to build Plural) |
---|
[bd63e0] | 606 | if test "$enable_Plural" != no || test "$with_Plural" != no; then |
---|
[08b7a76] | 607 | AC_MSG_RESULT(yes) |
---|
| 608 | if test "$enable_Plural" != yes; then |
---|
| 609 | ac_configure_args="$ac_configure_args --enable-Plural" |
---|
| 610 | fi |
---|
| 611 | else |
---|
| 612 | AC_MSG_RESULT(no) |
---|
| 613 | fi |
---|
| 614 | |
---|
[181d6e] | 615 | |
---|
[aac46c] | 616 | AC_MSG_CHECKING(whether to configure and build Texinfo) |
---|
| 617 | if test "$enable_Texinfo" != no && test -d Texinfo; then |
---|
| 618 | AC_MSG_RESULT(yes) |
---|
| 619 | enable_texinfo=yes |
---|
| 620 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo" |
---|
| 621 | BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo" |
---|
[175c56] | 622 | TEXI2PDF=${bindir}/texi2pdf |
---|
[181d6e] | 623 | MAKEINFO="${bindir}/makeinfo" |
---|
[aac46c] | 624 | TEXINDEX=${bindir}/texindex |
---|
[175c56] | 625 | AC_SUBST(TEXI2PDF) |
---|
[aac46c] | 626 | AC_SUBST(MAKEINFO) |
---|
| 627 | AC_SUBST(TEXINDEX) |
---|
| 628 | if test "$enable_Texinfo" != yes; then |
---|
| 629 | ac_configure_args="$ac_configure_args --enable-Texinfo" |
---|
| 630 | fi |
---|
| 631 | else |
---|
| 632 | AC_MSG_RESULT(no) |
---|
| 633 | AC_MSG_WARN(Building of doc might fail. Need Texinfo) |
---|
| 634 | enable_texinfo=no |
---|
| 635 | AC_CHECK_PROG(MAKEINFO, makeinfo, makeinfo, ${pwd}/warn_not_found.sh makeinfo) |
---|
| 636 | AC_CHECK_PROG(TEXINDEX, texindex, texindex, ${pwd}/warn_not_found.sh texindex) |
---|
[175c56] | 637 | AC_CHECK_PROG(TEXI2PDF, texi2pdf, texi2pdf, ${pwd}/warn_not_found.sh texi2pdf) |
---|
[aac46c] | 638 | fi |
---|
| 639 | |
---|
[d16193] | 640 | AC_MSG_CHECKING(whether to configure and build Texi2html) |
---|
[aac46c] | 641 | if test "$enable_Texi2html" != no && test -d Texi2html; then |
---|
| 642 | AC_MSG_RESULT(yes) |
---|
[d16193] | 643 | CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texi2html" |
---|
[aac46c] | 644 | BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html" |
---|
| 645 | if test "$enable_Texi2html" != yes; then |
---|
| 646 | ac_configure_args="$ac_configure_args --enable-Texi2html" |
---|
| 647 | fi |
---|
[d16193] | 648 | TEXI2HTML=${bindir}/texi2html |
---|
| 649 | AC_SUBST(TEXI2HTML) |
---|
[aac46c] | 650 | else |
---|
| 651 | AC_MSG_RESULT(no) |
---|
[d16193] | 652 | AC_CHECK_PROG(TEXI2HTML, texi2html, texi2html) |
---|
[aac46c] | 653 | fi |
---|
| 654 | |
---|
[575b64] | 655 | if test "${UUDECODE+set}" != set; then |
---|
| 656 | AC_MSG_WARN(uudecode not found. HTML doc generation will fail) |
---|
| 657 | fi |
---|
[d16193] | 658 | if test "${TEXI2HTML+set}" != set; then |
---|
| 659 | AC_MSG_WARN(texi2html not found. HTML doc generation will fail) |
---|
| 660 | fi |
---|
| 661 | if test "$ac_cv_prog_LATEX2HTML" = latex2html; then |
---|
| 662 | TEXI2HTML_OPTS="-l2h" |
---|
| 663 | fi |
---|
| 664 | AC_SUBST(TEXI2HTML_OPTS) |
---|
| 665 | |
---|
| 666 | |
---|
[aac46c] | 667 | AC_MSG_CHECKING(whether to build doc) |
---|
| 668 | if test "$enable_doc" != no && test -d doc; then |
---|
| 669 | AC_MSG_RESULT(yes) |
---|
| 670 | BUILD_SUBDIRS="$BUILD_SUBDIRS doc" |
---|
| 671 | if test "$enable_doc" != yes; then |
---|
| 672 | enable_doc=yes |
---|
| 673 | ac_configure_args="$ac_configure_args --enable-doc" |
---|
| 674 | fi |
---|
| 675 | else |
---|
| 676 | enable_doc=no |
---|
| 677 | AC_MSG_RESULT(no) |
---|
| 678 | fi |
---|
| 679 | |
---|
| 680 | AC_MSG_CHECKING(whether to build emacs) |
---|
| 681 | if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then |
---|
| 682 | AC_MSG_RESULT(yes) |
---|
| 683 | BUILD_SUBDIRS="$BUILD_SUBDIRS emacs" |
---|
| 684 | if test "$enable_emacs" != yes; then |
---|
| 685 | ac_configure_args="$ac_configure_args --enable-emacs" |
---|
| 686 | fi |
---|
| 687 | else |
---|
| 688 | AC_MSG_RESULT(no) |
---|
| 689 | fi |
---|
[6afd7c] | 690 | |
---|
| 691 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 692 | dnl Check whether or not to use various packages |
---|
| 693 | dnl |
---|
[a23686] | 694 | AC_MSG_CHECKING(which apint package to use) |
---|
[64c6d1] | 695 | if test "$with_apint" = gmp; then |
---|
| 696 | if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then |
---|
| 697 | AC_MSG_RESULT(gmp) |
---|
| 698 | else |
---|
| 699 | AC_MSG_RESULT(none) |
---|
| 700 | AC_MSG_ERROR(can not use with gmp without finding or building it) |
---|
| 701 | fi |
---|
| 702 | elif test "$ac_gmp_ok" = yes || test "$enable_gmp"; then |
---|
| 703 | AC_MSG_RESULT(gmp) |
---|
| 704 | ac_configure_args="$ac_configure_args --with-apint=gmp" |
---|
[25ed91] | 705 | else |
---|
| 706 | AC_MSG_ERROR(gmp required) |
---|
[78364c] | 707 | fi |
---|
[6afd7c] | 708 | |
---|
[dc32d42] | 709 | AC_MSG_CHECKING(whether to use with MP) |
---|
[64c6d1] | 710 | if test "$with_MP" = yes; then |
---|
[dc32d42] | 711 | if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then |
---|
[64c6d1] | 712 | AC_MSG_RESULT(yes) |
---|
[6afd7c] | 713 | else |
---|
[64c6d1] | 714 | AC_MSG_RESULT(none) |
---|
| 715 | AC_MSG_ERROR(can not use with MP without finding or building it) |
---|
[6afd7c] | 716 | fi |
---|
[64c6d1] | 717 | elif test "$with_MP" = no; then |
---|
| 718 | AC_MSG_RESULT(no) |
---|
| 719 | elif test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then |
---|
[6afd7c] | 720 | AC_MSG_RESULT(yes) |
---|
[64c6d1] | 721 | ac_configure_args="$ac_configure_args --with-MP" |
---|
[6afd7c] | 722 | else |
---|
| 723 | AC_MSG_RESULT(no) |
---|
[64c6d1] | 724 | ac_configure_args="$ac_configure_args --without-MP" |
---|
[9177e3] | 725 | DOC2TEX_EXAMPLE_EXCLUSIONS="$DOC2TEX_EXAMPLE_EXCLUSIONS -exclude MP" |
---|
[78364c] | 726 | fi |
---|
| 727 | |
---|
[dc32d42] | 728 | AC_MSG_CHECKING(whether to use with factory) |
---|
[64c6d1] | 729 | if test "$with_factory" = yes; then |
---|
[dc32d42] | 730 | if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then |
---|
[64c6d1] | 731 | AC_MSG_RESULT(yes) |
---|
[6afd7c] | 732 | else |
---|
[64c6d1] | 733 | AC_MSG_RESULT(none) |
---|
| 734 | AC_MSG_ERROR(can not use with factory without finding or building it) |
---|
[6afd7c] | 735 | fi |
---|
[64c6d1] | 736 | elif test "$with_factory" = no; then |
---|
| 737 | AC_MSG_RESULT(no) |
---|
| 738 | elif test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then |
---|
[6afd7c] | 739 | AC_MSG_RESULT(yes) |
---|
[64c6d1] | 740 | ac_configure_args="$ac_configure_args --with-factory" |
---|
[6afd7c] | 741 | else |
---|
| 742 | AC_MSG_RESULT(no) |
---|
[64c6d1] | 743 | ac_configure_args="$ac_configure_args --without-factory" |
---|
[6afd7c] | 744 | fi |
---|
[64c6d1] | 745 | |
---|
[dc32d42] | 746 | AC_MSG_CHECKING(whether to use with libfac) |
---|
[64c6d1] | 747 | if test "$with_libfac" = yes; then |
---|
[dc32d42] | 748 | if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then |
---|
[64c6d1] | 749 | AC_MSG_RESULT(yes) |
---|
[6afd7c] | 750 | else |
---|
[64c6d1] | 751 | AC_MSG_RESULT(none) |
---|
| 752 | AC_MSG_ERROR(can not use with libfac without finding or building it) |
---|
[6afd7c] | 753 | fi |
---|
[64c6d1] | 754 | elif test "$with_libfac" = no; then |
---|
| 755 | AC_MSG_RESULT(no) |
---|
| 756 | elif test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then |
---|
[6afd7c] | 757 | AC_MSG_RESULT(yes) |
---|
[64c6d1] | 758 | ac_configure_args="$ac_configure_args --with-libfac" |
---|
[6afd7c] | 759 | else |
---|
| 760 | AC_MSG_RESULT(no) |
---|
[64c6d1] | 761 | ac_configure_args="$ac_configure_args --without-libfac" |
---|
[6afd7c] | 762 | fi |
---|
| 763 | |
---|
[aac46c] | 764 | |
---|
| 765 | |
---|
[dc32d42] | 766 | AC_MSG_CHECKING(whether to use with Singular) |
---|
| 767 | if test "$with_Singular" != no && test "$with_Singular" != yes; then |
---|
[6afd7c] | 768 | if test "$enable_Singular" = yes; then |
---|
[dc32d42] | 769 | with_Singular=yes |
---|
[6afd7c] | 770 | else |
---|
| 771 | with_Singular=no |
---|
| 772 | fi |
---|
[dc32d42] | 773 | ac_configure_args="$ac_configure_args --with-Singular=$with_Singular" |
---|
[6afd7c] | 774 | fi |
---|
[dc32d42] | 775 | |
---|
[6afd7c] | 776 | if test "$with_Singular" != no; then |
---|
| 777 | AC_MSG_RESULT(yes) |
---|
| 778 | else |
---|
| 779 | AC_MSG_RESULT(no) |
---|
| 780 | fi |
---|
| 781 | |
---|
[a23686] | 782 | |
---|
[6afd7c] | 783 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
| 784 | dnl Check for known subdirs |
---|
| 785 | dnl |
---|
[73e491] | 786 | SUBDIRS="" |
---|
[c232af] | 787 | if test -d omalloc; then |
---|
| 788 | SUBDIRS="$SUBDIRS omalloc" |
---|
| 789 | fi |
---|
[64c6d1] | 790 | if test -d gmp; then |
---|
[73e491] | 791 | SUBDIRS="$SUBDIRS gmp" |
---|
[64c6d1] | 792 | fi |
---|
[6afd7c] | 793 | if test -d MP; then |
---|
| 794 | SUBDIRS="$SUBDIRS MP" |
---|
| 795 | fi |
---|
[4d7834] | 796 | if test -d ntl; then |
---|
| 797 | SUBDIRS="$SUBDIRS ntl" |
---|
| 798 | fi |
---|
[6afd7c] | 799 | if test -d factory; then |
---|
| 800 | SUBDIRS="$SUBDIRS factory" |
---|
| 801 | fi |
---|
| 802 | if test -d libfac; then |
---|
| 803 | SUBDIRS="$SUBDIRS libfac" |
---|
| 804 | fi |
---|
[aac46c] | 805 | if test -d sgroup; then |
---|
| 806 | SUBDIRS="$SUBDIRS sgroup" |
---|
| 807 | fi |
---|
[22e84a] | 808 | if test -d kernel; then |
---|
| 809 | SUBDIRS="$SUBDIRS kernel" |
---|
| 810 | fi |
---|
| 811 | if test -d IntegerProgramming; then |
---|
| 812 | SUBDIRS="$SUBDIRS IntegerProgramming" |
---|
| 813 | fi |
---|
[518752] | 814 | if test -d Singular; then |
---|
| 815 | SUBDIRS="$SUBDIRS Singular" |
---|
| 816 | fi |
---|
[aac46c] | 817 | if test -d Texinfo; then |
---|
| 818 | SUBDIRS="$SUBDIRS Texinfo" |
---|
[6b27cb] | 819 | fi |
---|
| 820 | if test -d Texi2html; then |
---|
| 821 | SUBDIRS="$SUBDIRS Texi2html" |
---|
[460c1e1] | 822 | fi |
---|
[aac46c] | 823 | if test -d doc; then |
---|
| 824 | SUBDIRS="$SUBDIRS doc" |
---|
| 825 | fi |
---|
| 826 | if test -d emacs; then |
---|
| 827 | SUBDIRS="$SUBDIRS emacs" |
---|
| 828 | fi |
---|
[234bc8] | 829 | dnl if test -d rpm; then |
---|
| 830 | dnl SUBDIRS="$SUBDIRS rpm" |
---|
| 831 | dnl fi |
---|
[3c473c] | 832 | if test -d dyn_modules; then |
---|
| 833 | SUBDIRS="$SUBDIRS dyn_modules" |
---|
[99b3777] | 834 | fi |
---|
[3c473c] | 835 | if test -d "dyn_modules"; then |
---|
| 836 | dnl OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" dyn_modules/Makefile" |
---|
| 837 | CONFIG_SUBDIRS=$CONFIG_SUBDIRS" dyn_modules" |
---|
| 838 | BUILD_SUBDIRS=$BUILD_SUBDIRS" dyn_modules" |
---|
[b640fd] | 839 | fi |
---|
[6afd7c] | 840 | |
---|
[051dc7] | 841 | AC_MSG_CHECKING(whether to use libsvd) |
---|
| 842 | if test "$with_svd" = yes; then |
---|
| 843 | AC_MSG_RESULT(yes) |
---|
[3c473c] | 844 | dnl OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" dyn_modules/Makefile" |
---|
[051dc7] | 845 | CONFIG_SUBDIRS=$CONFIG_SUBDIRS" svd" |
---|
| 846 | BUILD_SUBDIRS=$BUILD_SUBDIRS" svd" |
---|
| 847 | else |
---|
| 848 | AC_MSG_RESULT(no) |
---|
| 849 | fi |
---|
| 850 | |
---|
[6afd7c] | 851 | dnl lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll |
---|
[73e491] | 852 | dnl Enough -- wrap it up |
---|
[6afd7c] | 853 | dnl |
---|
| 854 | AC_PROG_MAKE_SET |
---|
| 855 | AC_SUBST(SUBDIRS) |
---|
[6b27cb] | 856 | AC_SUBST(BUILD_SUBDIRS) |
---|
[25ed91] | 857 | AC_SUBST(BUILD1_SUBDIRS) |
---|
[6afd7c] | 858 | AC_SUBST(CONFIG_SUBDIRS) |
---|
| 859 | AC_CONFIG_SUBDIRS($CONFIG_SUBDIRS) |
---|
| 860 | |
---|
[8c4748] | 861 | AC_OUTPUT(${OUTPUT_MAKEFILES}) |
---|