source: git/configure @ 7aebcd

spielwiese
Last change on this file since 7aebcd was 26ec6d, checked in by Anne Frühbis-Krüger <anne@…>, 23 years ago
*anne: Changes for Macintosh-darwin git-svn-id: file:///usr/local/Singular/svn/trunk@5637 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100755
File size: 98.1 KB
Line 
1#! /bin/sh
2
3# Guess values for system-dependent variables and create Makefiles.
4# Generated automatically using autoconf version 2.13
5# Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
6#
7# This configure script is free software; the Free Software Foundation
8# gives unlimited permission to copy, distribute and modify it.
9
10# Defaults:
11ac_help=
12ac_default_prefix=/usr/local
13# Any additions from configure.in:
14ac_default_prefix=`pwd`
15ac_help="$ac_help
16\
17  --with-tmpdir=DIR       use DIR as temporary directory"
18ac_help="$ac_help
19\
20  --enable-PACKAGE        configure and/or build PACKAGE
21  --disable-PACKAGE       do not configure and/or build PACKAGE
22   where PACKAGE can be:
23     smallgmp             minimal version of gmp written in C only"
24ac_help="$ac_help
25\
26     omalloc              omalloc memory managment"
27ac_help="$ac_help
28\
29     gmp                  Gnu Multiple Precision package"
30ac_help="$ac_help
31\
32     MP                   Multi Protocol library"
33ac_help="$ac_help
34\
35     factory              polynomial factorization library"
36ac_help="$ac_help
37\
38     libfac               char set and modp poly factorization library"
39ac_help="$ac_help
40\
41     sgroup               numerical semigroup computations"
42ac_help="$ac_help
43\
44     Singular             CAS for Polynomial Computations"
45ac_help="$ac_help
46\
47     IntegerProgramming   IntegerProgramming"
48ac_help="$ac_help
49\
50     Plural               Plural"
51ac_help="$ac_help
52\
53     Texinfo              Texinfo for info, texi2dvi, makeinfo"
54ac_help="$ac_help
55\
56     Texi2html            Texinfo to HTML converter"
57ac_help="$ac_help
58\
59     doc                  Singular documentation"
60ac_help="$ac_help
61\
62     emacs                emacs completion files"
63ac_help="$ac_help
64\
65  --with-PACKAGE          use PACKAGE, provide dependent functionality
66  --without-PACKAGE       do not use PACKAGE, disable dependent functionality
67   where PACKAGE can be:
68     MP                   Multi Protocol library"
69ac_help="$ac_help
70\
71     factory              polynomial factorization library"
72ac_help="$ac_help
73\
74     libfac               char set and modp poly factorization library"
75ac_help="$ac_help
76\
77  --with-apint=PACKAGE    use PACKAGE for arbitary integer arithmetic
78                          where PACKAGE can be gmp or smallgmp
79All additional --enable and --with options are passed to subsequent calls
80to configure of the packages to be built. See also configure --help in
81these packages (resp. subdirs). "
82
83# Initialize some variables set by options.
84# The variables have the same names as the options, with
85# dashes changed to underlines.
86build=NONE
87cache_file=./config.cache
88exec_prefix=NONE
89host=NONE
90no_create=
91nonopt=NONE
92no_recursion=
93prefix=NONE
94program_prefix=NONE
95program_suffix=NONE
96program_transform_name=s,x,x,
97silent=
98site=
99srcdir=
100target=NONE
101verbose=
102x_includes=NONE
103x_libraries=NONE
104bindir='${exec_prefix}/bin'
105sbindir='${exec_prefix}/sbin'
106libexecdir='${exec_prefix}/libexec'
107datadir='${prefix}/share'
108sysconfdir='${prefix}/etc'
109sharedstatedir='${prefix}/com'
110localstatedir='${prefix}/var'
111libdir='${exec_prefix}/lib'
112includedir='${prefix}/include'
113oldincludedir='/usr/include'
114infodir='${prefix}/info'
115mandir='${prefix}/man'
116
117# Initialize some other variables.
118subdirs=
119MFLAGS= MAKEFLAGS=
120SHELL=${CONFIG_SHELL-/bin/sh}
121# Maximum number of lines to put in a shell here document.
122ac_max_here_lines=12
123
124ac_prev=
125for ac_option
126do
127
128  # If the previous option needs an argument, assign it.
129  if test -n "$ac_prev"; then
130    eval "$ac_prev=\$ac_option"
131    ac_prev=
132    continue
133  fi
134
135  case "$ac_option" in
136  -*=*) ac_optarg=`echo "$ac_option" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
137  *) ac_optarg= ;;
138  esac
139
140  # Accept the important Cygnus configure options, so we can diagnose typos.
141
142  case "$ac_option" in
143
144  -bindir | --bindir | --bindi | --bind | --bin | --bi)
145    ac_prev=bindir ;;
146  -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
147    bindir="$ac_optarg" ;;
148
149  -build | --build | --buil | --bui | --bu)
150    ac_prev=build ;;
151  -build=* | --build=* | --buil=* | --bui=* | --bu=*)
152    build="$ac_optarg" ;;
153
154  -cache-file | --cache-file | --cache-fil | --cache-fi \
155  | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
156    ac_prev=cache_file ;;
157  -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
158  | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
159    cache_file="$ac_optarg" ;;
160
161  -datadir | --datadir | --datadi | --datad | --data | --dat | --da)
162    ac_prev=datadir ;;
163  -datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* \
164  | --da=*)
165    datadir="$ac_optarg" ;;
166
167  -disable-* | --disable-*)
168    ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
169    # Reject names that are not valid shell variable names.
170    if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
171      { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
172    fi
173    ac_feature=`echo $ac_feature| sed 's/-/_/g'`
174    eval "enable_${ac_feature}=no" ;;
175
176  -enable-* | --enable-*)
177    ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
178    # Reject names that are not valid shell variable names.
179    if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
180      { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
181    fi
182    ac_feature=`echo $ac_feature| sed 's/-/_/g'`
183    case "$ac_option" in
184      *=*) ;;
185      *) ac_optarg=yes ;;
186    esac
187    eval "enable_${ac_feature}='$ac_optarg'" ;;
188
189  -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
190  | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
191  | --exec | --exe | --ex)
192    ac_prev=exec_prefix ;;
193  -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
194  | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
195  | --exec=* | --exe=* | --ex=*)
196    exec_prefix="$ac_optarg" ;;
197
198  -gas | --gas | --ga | --g)
199    # Obsolete; use --with-gas.
200    with_gas=yes ;;
201
202  -help | --help | --hel | --he)
203    # Omit some internal or obsolete options to make the list less imposing.
204    # This message is too long to be a string in the A/UX 3.1 sh.
205    cat << EOF
206Usage: configure [options] [host]
207Options: [defaults in brackets after descriptions]
208Configuration:
209  --cache-file=FILE       cache test results in FILE
210  --help                  print this message
211  --no-create             do not create output files
212  --quiet, --silent       do not print \`checking...' messages
213  --version               print the version of autoconf that created configure
214Directory and file names:
215  --prefix=PREFIX         install architecture-independent files in PREFIX
216                          [$ac_default_prefix]
217  --exec-prefix=EPREFIX   install architecture-dependent files in EPREFIX
218                          [same as prefix]
219  --bindir=DIR            user executables in DIR [EPREFIX/bin]
220  --sbindir=DIR           system admin executables in DIR [EPREFIX/sbin]
221  --libexecdir=DIR        program executables in DIR [EPREFIX/libexec]
222  --datadir=DIR           read-only architecture-independent data in DIR
223                          [PREFIX/share]
224  --sysconfdir=DIR        read-only single-machine data in DIR [PREFIX/etc]
225  --sharedstatedir=DIR    modifiable architecture-independent data in DIR
226                          [PREFIX/com]
227  --localstatedir=DIR     modifiable single-machine data in DIR [PREFIX/var]
228  --libdir=DIR            object code libraries in DIR [EPREFIX/lib]
229  --includedir=DIR        C header files in DIR [PREFIX/include]
230  --oldincludedir=DIR     C header files for non-gcc in DIR [/usr/include]
231  --infodir=DIR           info documentation in DIR [PREFIX/info]
232  --mandir=DIR            man documentation in DIR [PREFIX/man]
233  --srcdir=DIR            find the sources in DIR [configure dir or ..]
234  --program-prefix=PREFIX prepend PREFIX to installed program names
235  --program-suffix=SUFFIX append SUFFIX to installed program names
236  --program-transform-name=PROGRAM
237                          run sed PROGRAM on installed program names
238EOF
239    cat << EOF
240Host type:
241  --build=BUILD           configure for building on BUILD [BUILD=HOST]
242  --host=HOST             configure for HOST [guessed]
243  --target=TARGET         configure for TARGET [TARGET=HOST]
244Features and packages:
245  --disable-FEATURE       do not include FEATURE (same as --enable-FEATURE=no)
246  --enable-FEATURE[=ARG]  include FEATURE [ARG=yes]
247  --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
248  --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
249  --x-includes=DIR        X include files are in DIR
250  --x-libraries=DIR       X library files are in DIR
251EOF
252    if test -n "$ac_help"; then
253      echo "--enable and --with options recognized:$ac_help"
254    fi
255    exit 0 ;;
256
257  -host | --host | --hos | --ho)
258    ac_prev=host ;;
259  -host=* | --host=* | --hos=* | --ho=*)
260    host="$ac_optarg" ;;
261
262  -includedir | --includedir | --includedi | --included | --include \
263  | --includ | --inclu | --incl | --inc)
264    ac_prev=includedir ;;
265  -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
266  | --includ=* | --inclu=* | --incl=* | --inc=*)
267    includedir="$ac_optarg" ;;
268
269  -infodir | --infodir | --infodi | --infod | --info | --inf)
270    ac_prev=infodir ;;
271  -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
272    infodir="$ac_optarg" ;;
273
274  -libdir | --libdir | --libdi | --libd)
275    ac_prev=libdir ;;
276  -libdir=* | --libdir=* | --libdi=* | --libd=*)
277    libdir="$ac_optarg" ;;
278
279  -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
280  | --libexe | --libex | --libe)
281    ac_prev=libexecdir ;;
282  -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
283  | --libexe=* | --libex=* | --libe=*)
284    libexecdir="$ac_optarg" ;;
285
286  -localstatedir | --localstatedir | --localstatedi | --localstated \
287  | --localstate | --localstat | --localsta | --localst \
288  | --locals | --local | --loca | --loc | --lo)
289    ac_prev=localstatedir ;;
290  -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
291  | --localstate=* | --localstat=* | --localsta=* | --localst=* \
292  | --locals=* | --local=* | --loca=* | --loc=* | --lo=*)
293    localstatedir="$ac_optarg" ;;
294
295  -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
296    ac_prev=mandir ;;
297  -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
298    mandir="$ac_optarg" ;;
299
300  -nfp | --nfp | --nf)
301    # Obsolete; use --without-fp.
302    with_fp=no ;;
303
304  -no-create | --no-create | --no-creat | --no-crea | --no-cre \
305  | --no-cr | --no-c)
306    no_create=yes ;;
307
308  -no-recursion | --no-recursion | --no-recursio | --no-recursi \
309  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
310    no_recursion=yes ;;
311
312  -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
313  | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
314  | --oldin | --oldi | --old | --ol | --o)
315    ac_prev=oldincludedir ;;
316  -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
317  | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
318  | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
319    oldincludedir="$ac_optarg" ;;
320
321  -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
322    ac_prev=prefix ;;
323  -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
324    prefix="$ac_optarg" ;;
325
326  -program-prefix | --program-prefix | --program-prefi | --program-pref \
327  | --program-pre | --program-pr | --program-p)
328    ac_prev=program_prefix ;;
329  -program-prefix=* | --program-prefix=* | --program-prefi=* \
330  | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
331    program_prefix="$ac_optarg" ;;
332
333  -program-suffix | --program-suffix | --program-suffi | --program-suff \
334  | --program-suf | --program-su | --program-s)
335    ac_prev=program_suffix ;;
336  -program-suffix=* | --program-suffix=* | --program-suffi=* \
337  | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
338    program_suffix="$ac_optarg" ;;
339
340  -program-transform-name | --program-transform-name \
341  | --program-transform-nam | --program-transform-na \
342  | --program-transform-n | --program-transform- \
343  | --program-transform | --program-transfor \
344  | --program-transfo | --program-transf \
345  | --program-trans | --program-tran \
346  | --progr-tra | --program-tr | --program-t)
347    ac_prev=program_transform_name ;;
348  -program-transform-name=* | --program-transform-name=* \
349  | --program-transform-nam=* | --program-transform-na=* \
350  | --program-transform-n=* | --program-transform-=* \
351  | --program-transform=* | --program-transfor=* \
352  | --program-transfo=* | --program-transf=* \
353  | --program-trans=* | --program-tran=* \
354  | --progr-tra=* | --program-tr=* | --program-t=*)
355    program_transform_name="$ac_optarg" ;;
356
357  -q | -quiet | --quiet | --quie | --qui | --qu | --q \
358  | -silent | --silent | --silen | --sile | --sil)
359    silent=yes ;;
360
361  -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
362    ac_prev=sbindir ;;
363  -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
364  | --sbi=* | --sb=*)
365    sbindir="$ac_optarg" ;;
366
367  -sharedstatedir | --sharedstatedir | --sharedstatedi \
368  | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
369  | --sharedst | --shareds | --shared | --share | --shar \
370  | --sha | --sh)
371    ac_prev=sharedstatedir ;;
372  -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
373  | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
374  | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
375  | --sha=* | --sh=*)
376    sharedstatedir="$ac_optarg" ;;
377
378  -site | --site | --sit)
379    ac_prev=site ;;
380  -site=* | --site=* | --sit=*)
381    site="$ac_optarg" ;;
382
383  -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
384    ac_prev=srcdir ;;
385  -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
386    srcdir="$ac_optarg" ;;
387
388  -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
389  | --syscon | --sysco | --sysc | --sys | --sy)
390    ac_prev=sysconfdir ;;
391  -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
392  | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
393    sysconfdir="$ac_optarg" ;;
394
395  -target | --target | --targe | --targ | --tar | --ta | --t)
396    ac_prev=target ;;
397  -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
398    target="$ac_optarg" ;;
399
400  -v | -verbose | --verbose | --verbos | --verbo | --verb)
401    verbose=yes ;;
402
403  -version | --version | --versio | --versi | --vers)
404    echo "configure generated by autoconf version 2.13"
405    exit 0 ;;
406
407  -with-* | --with-*)
408    ac_package=`echo $ac_option|sed -e 's/-*with-//' -e 's/=.*//'`
409    # Reject names that are not valid shell variable names.
410    if test -n "`echo $ac_package| sed 's/[-_a-zA-Z0-9]//g'`"; then
411      { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
412    fi
413    ac_package=`echo $ac_package| sed 's/-/_/g'`
414    case "$ac_option" in
415      *=*) ;;
416      *) ac_optarg=yes ;;
417    esac
418    eval "with_${ac_package}='$ac_optarg'" ;;
419
420  -without-* | --without-*)
421    ac_package=`echo $ac_option|sed -e 's/-*without-//'`
422    # Reject names that are not valid shell variable names.
423    if test -n "`echo $ac_package| sed 's/[-a-zA-Z0-9_]//g'`"; then
424      { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
425    fi
426    ac_package=`echo $ac_package| sed 's/-/_/g'`
427    eval "with_${ac_package}=no" ;;
428
429  --x)
430    # Obsolete; use --with-x.
431    with_x=yes ;;
432
433  -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
434  | --x-incl | --x-inc | --x-in | --x-i)
435    ac_prev=x_includes ;;
436  -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
437  | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
438    x_includes="$ac_optarg" ;;
439
440  -x-libraries | --x-libraries | --x-librarie | --x-librari \
441  | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
442    ac_prev=x_libraries ;;
443  -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
444  | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
445    x_libraries="$ac_optarg" ;;
446
447  -*) { echo "configure: error: $ac_option: invalid option; use --help to show usage" 1>&2; exit 1; }
448    ;;
449
450  *)
451    if test -n "`echo $ac_option| sed 's/[-a-z0-9.]//g'`"; then
452      echo "configure: warning: $ac_option: invalid host type" 1>&2
453    fi
454    if test "x$nonopt" != xNONE; then
455      { echo "configure: error: can only configure for one host and one target at a time" 1>&2; exit 1; }
456    fi
457    nonopt="$ac_option"
458    ;;
459
460  esac
461done
462
463if test -n "$ac_prev"; then
464  { echo "configure: error: missing argument to --`echo $ac_prev | sed 's/_/-/g'`" 1>&2; exit 1; }
465fi
466
467trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
468
469# File descriptor usage:
470# 0 standard input
471# 1 file creation
472# 2 errors and warnings
473# 3 some systems may open it to /dev/tty
474# 4 used on the Kubota Titan
475# 6 checking for... messages and results
476# 5 compiler messages saved in config.log
477if test "$silent" = yes; then
478  exec 6>/dev/null
479else
480  exec 6>&1
481fi
482exec 5>./config.log
483
484echo "\
485This file contains any messages produced by compilers while
486running configure, to aid debugging if configure makes a mistake.
487" 1>&5
488
489# Strip out --no-create and --no-recursion so they do not pile up.
490# Also quote any args containing shell metacharacters.
491ac_configure_args=
492for ac_arg
493do
494  case "$ac_arg" in
495  -no-create | --no-create | --no-creat | --no-crea | --no-cre \
496  | --no-cr | --no-c) ;;
497  -no-recursion | --no-recursion | --no-recursio | --no-recursi \
498  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r) ;;
499  *" "*|*"      "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?]*)
500  ac_configure_args="$ac_configure_args '$ac_arg'" ;;
501  *) ac_configure_args="$ac_configure_args $ac_arg" ;;
502  esac
503done
504
505# NLS nuisances.
506# Only set these to C if already set.  These must not be set unconditionally
507# because not all systems understand e.g. LANG=C (notably SCO).
508# Fixing LC_MESSAGES prevents Solaris sh from translating var values in `set'!
509# Non-C LC_CTYPE values break the ctype check.
510if test "${LANG+set}"   = set; then LANG=C;   export LANG;   fi
511if test "${LC_ALL+set}" = set; then LC_ALL=C; export LC_ALL; fi
512if test "${LC_MESSAGES+set}" = set; then LC_MESSAGES=C; export LC_MESSAGES; fi
513if test "${LC_CTYPE+set}"    = set; then LC_CTYPE=C;    export LC_CTYPE;    fi
514
515# confdefs.h avoids OS command line length limits that DEFS can exceed.
516rm -rf conftest* confdefs.h
517# AIX cpp loses on an empty file, so make sure it contains at least a newline.
518echo > confdefs.h
519
520# A filename unique to this package, relative to the directory that
521# configure is in, which we can look for to find out if srcdir is correct.
522ac_unique_file=Singular/matpol.h
523
524# Find the source files, if location was not specified.
525if test -z "$srcdir"; then
526  ac_srcdir_defaulted=yes
527  # Try the directory containing this script, then its parent.
528  ac_prog=$0
529  ac_confdir=`echo $ac_prog|sed 's%/[^/][^/]*$%%'`
530  test "x$ac_confdir" = "x$ac_prog" && ac_confdir=.
531  srcdir=$ac_confdir
532  if test ! -r $srcdir/$ac_unique_file; then
533    srcdir=..
534  fi
535else
536  ac_srcdir_defaulted=no
537fi
538if test ! -r $srcdir/$ac_unique_file; then
539  if test "$ac_srcdir_defaulted" = yes; then
540    { echo "configure: error: can not find sources in $ac_confdir or .." 1>&2; exit 1; }
541  else
542    { echo "configure: error: can not find sources in $srcdir" 1>&2; exit 1; }
543  fi
544fi
545srcdir=`echo "${srcdir}" | sed 's%\([^/]\)/*$%\1%'`
546
547# Prefer explicitly selected file to automatically selected ones.
548if test -z "$CONFIG_SITE"; then
549  if test "x$prefix" != xNONE; then
550    CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
551  else
552    CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
553  fi
554fi
555for ac_site_file in $CONFIG_SITE; do
556  if test -r "$ac_site_file"; then
557    echo "loading site script $ac_site_file"
558    . "$ac_site_file"
559  fi
560done
561
562if test -r "$cache_file"; then
563  echo "loading cache $cache_file"
564  . $cache_file
565else
566  echo "creating cache $cache_file"
567  > $cache_file
568fi
569
570ac_ext=c
571# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
572ac_cpp='$CPP $CPPFLAGS'
573ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
574ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
575cross_compiling=$ac_cv_prog_cc_cross
576
577ac_exeext=
578ac_objext=o
579if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
580  # Stardent Vistra SVR4 grep lacks -e, says ghazi@caip.rutgers.edu.
581  if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
582    ac_n= ac_c='
583' ac_t='        '
584  else
585    ac_n=-n ac_c= ac_t=
586  fi
587else
588  ac_n= ac_c='\c' ac_t=
589fi
590
591
592
593pwd=`pwd`
594
595# make them to env variables
596# pass them indirectly to subsequent configures
597SINGULAR_MAJOR_VERSION=2
598SINGULAR_MINOR_VERSION=1
599SINGULAR_SUB_VERSION=2
600VERSION_SEP="-"
601SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
602SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
603VERSION_DATE="August 2001"
604SINGULAR_ROOT_DIR=$pwd
605
606export SINGULAR_MINOR_VERSION
607export SINGULAR_MAJOR_VERSION
608export SINGULAR_SUB_VERSION
609export SINGULAR_VERSION
610export VERSION_DATE
611export SINGULAR_ROOT_DIR
612
613
614
615
616
617
618
619# determine Makefiles to output
620OUTPUT_MAKEFILES="Makefile"
621if test -d "doc"; then
622   OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES doc/Makefile doc/version.texi doc/uname.texi"
623fi
624if test -d "rpm"; then
625   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/Makefile"
626   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/rpmrc rpm/Singular.spec"
627fi
628if test -d "modules"; then
629   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/Makefile"
630fi
631if test -d "modules/tools"; then
632   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/tools/Makefile"
633fi
634if test -d "modules/modgen"; then
635   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/modgen/Makefile"
636fi
637if test -d "emacs"; then
638   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" emacs/Makefile"
639fi
640if test -d "IntegerProgramming"; then
641   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" IntegerProgramming/Makefile"
642fi
643if test -d "Plural"; then
644   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" Plural/Makefile"
645fi
646if test -d "InstallShield"; then
647   OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" InstallShield/Makefile InstallShield/Etc/Makefile InstallShield/Cygwin/Makefile InstallShield/Singular/Makefile InstallShield/Xemacs/Makefile"
648fi
649
650
651echo $ac_n "checking uname for singular""... $ac_c" 1>&6
652echo "configure:653: checking uname for singular" >&5
653if eval "test \"`echo '$''{'ac_cv_singuname'+set}'`\" = set"; then
654  echo $ac_n "(cached) $ac_c" 1>&6
655else
656  ac_cv_singuname="unknown"
657if test -r "singuname.sh"; then
658  if (/bin/sh singuname.sh >/dev/null 2>&1) then
659    ac_cv_singuname=`/bin/sh singuname.sh`
660  fi
661fi
662
663fi
664
665echo "$ac_t""$ac_cv_singuname" 1>&6
666if test "$ac_cv_singuname" = unknown; then
667  { echo "configure: error: Unknown architecture: Check singuname.sh" 1>&2; exit 1; }
668else
669  SINGUNAME=$ac_cv_singuname
670 
671fi
672
673SING_UNAME=`echo $SINGUNAME | tr '-' '_' `
674
675
676
677# Extract the first word of "gcc", so it can be a program name with args.
678set dummy gcc; ac_word=$2
679echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
680echo "configure:681: checking for $ac_word" >&5
681if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
682  echo $ac_n "(cached) $ac_c" 1>&6
683else
684  if test -n "$CC"; then
685  ac_cv_prog_CC="$CC" # Let the user override the test.
686else
687  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
688  ac_dummy="$PATH"
689  for ac_dir in $ac_dummy; do
690    test -z "$ac_dir" && ac_dir=.
691    if test -f $ac_dir/$ac_word; then
692      ac_cv_prog_CC="gcc"
693      break
694    fi
695  done
696  IFS="$ac_save_ifs"
697fi
698fi
699CC="$ac_cv_prog_CC"
700if test -n "$CC"; then
701  echo "$ac_t""$CC" 1>&6
702else
703  echo "$ac_t""no" 1>&6
704fi
705
706if test -z "$CC"; then
707  # Extract the first word of "cc", so it can be a program name with args.
708set dummy cc; ac_word=$2
709echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
710echo "configure:711: checking for $ac_word" >&5
711if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
712  echo $ac_n "(cached) $ac_c" 1>&6
713else
714  if test -n "$CC"; then
715  ac_cv_prog_CC="$CC" # Let the user override the test.
716else
717  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
718  ac_prog_rejected=no
719  ac_dummy="$PATH"
720  for ac_dir in $ac_dummy; do
721    test -z "$ac_dir" && ac_dir=.
722    if test -f $ac_dir/$ac_word; then
723      if test "$ac_dir/$ac_word" = "/usr/ucb/cc"; then
724        ac_prog_rejected=yes
725        continue
726      fi
727      ac_cv_prog_CC="cc"
728      break
729    fi
730  done
731  IFS="$ac_save_ifs"
732if test $ac_prog_rejected = yes; then
733  # We found a bogon in the path, so make sure we never use it.
734  set dummy $ac_cv_prog_CC
735  shift
736  if test $# -gt 0; then
737    # We chose a different compiler from the bogus one.
738    # However, it has the same basename, so the bogon will be chosen
739    # first if we set CC to just the basename; use the full file name.
740    shift
741    set dummy "$ac_dir/$ac_word" "$@"
742    shift
743    ac_cv_prog_CC="$@"
744  fi
745fi
746fi
747fi
748CC="$ac_cv_prog_CC"
749if test -n "$CC"; then
750  echo "$ac_t""$CC" 1>&6
751else
752  echo "$ac_t""no" 1>&6
753fi
754
755  if test -z "$CC"; then
756    case "`uname -s`" in
757    *win32* | *WIN32*)
758      # Extract the first word of "cl", so it can be a program name with args.
759set dummy cl; ac_word=$2
760echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
761echo "configure:762: checking for $ac_word" >&5
762if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
763  echo $ac_n "(cached) $ac_c" 1>&6
764else
765  if test -n "$CC"; then
766  ac_cv_prog_CC="$CC" # Let the user override the test.
767else
768  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
769  ac_dummy="$PATH"
770  for ac_dir in $ac_dummy; do
771    test -z "$ac_dir" && ac_dir=.
772    if test -f $ac_dir/$ac_word; then
773      ac_cv_prog_CC="cl"
774      break
775    fi
776  done
777  IFS="$ac_save_ifs"
778fi
779fi
780CC="$ac_cv_prog_CC"
781if test -n "$CC"; then
782  echo "$ac_t""$CC" 1>&6
783else
784  echo "$ac_t""no" 1>&6
785fi
786 ;;
787    esac
788  fi
789  test -z "$CC" && { echo "configure: error: no acceptable cc found in \$PATH" 1>&2; exit 1; }
790fi
791
792echo $ac_n "checking whether the C compiler ($CC $CFLAGS $LDFLAGS) works""... $ac_c" 1>&6
793echo "configure:794: checking whether the C compiler ($CC $CFLAGS $LDFLAGS) works" >&5
794
795ac_ext=c
796# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
797ac_cpp='$CPP $CPPFLAGS'
798ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
799ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
800cross_compiling=$ac_cv_prog_cc_cross
801
802cat > conftest.$ac_ext << EOF
803
804#line 805 "configure"
805#include "confdefs.h"
806
807main(){return(0);}
808EOF
809if { (eval echo configure:810: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
810  ac_cv_prog_cc_works=yes
811  # If we can't run a trivial program, we are probably using a cross compiler.
812  if (./conftest; exit) 2>/dev/null; then
813    ac_cv_prog_cc_cross=no
814  else
815    ac_cv_prog_cc_cross=yes
816  fi
817else
818  echo "configure: failed program was:" >&5
819  cat conftest.$ac_ext >&5
820  ac_cv_prog_cc_works=no
821fi
822rm -fr conftest*
823ac_ext=c
824# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
825ac_cpp='$CPP $CPPFLAGS'
826ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
827ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
828cross_compiling=$ac_cv_prog_cc_cross
829
830echo "$ac_t""$ac_cv_prog_cc_works" 1>&6
831if test $ac_cv_prog_cc_works = no; then
832  { echo "configure: error: installation or configuration problem: C compiler cannot create executables." 1>&2; exit 1; }
833fi
834echo $ac_n "checking whether the C compiler ($CC $CFLAGS $LDFLAGS) is a cross-compiler""... $ac_c" 1>&6
835echo "configure:836: checking whether the C compiler ($CC $CFLAGS $LDFLAGS) is a cross-compiler" >&5
836echo "$ac_t""$ac_cv_prog_cc_cross" 1>&6
837cross_compiling=$ac_cv_prog_cc_cross
838
839echo $ac_n "checking whether we are using GNU C""... $ac_c" 1>&6
840echo "configure:841: checking whether we are using GNU C" >&5
841if eval "test \"`echo '$''{'ac_cv_prog_gcc'+set}'`\" = set"; then
842  echo $ac_n "(cached) $ac_c" 1>&6
843else
844  cat > conftest.c <<EOF
845#ifdef __GNUC__
846  yes;
847#endif
848EOF
849if { ac_try='${CC-cc} -E conftest.c'; { (eval echo configure:850: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } | egrep yes >/dev/null 2>&1; then
850  ac_cv_prog_gcc=yes
851else
852  ac_cv_prog_gcc=no
853fi
854fi
855
856echo "$ac_t""$ac_cv_prog_gcc" 1>&6
857
858if test $ac_cv_prog_gcc = yes; then
859  GCC=yes
860else
861  GCC=
862fi
863
864ac_test_CFLAGS="${CFLAGS+set}"
865ac_save_CFLAGS="$CFLAGS"
866CFLAGS=
867echo $ac_n "checking whether ${CC-cc} accepts -g""... $ac_c" 1>&6
868echo "configure:869: checking whether ${CC-cc} accepts -g" >&5
869if eval "test \"`echo '$''{'ac_cv_prog_cc_g'+set}'`\" = set"; then
870  echo $ac_n "(cached) $ac_c" 1>&6
871else
872  echo 'void f(){}' > conftest.c
873if test -z "`${CC-cc} -g -c conftest.c 2>&1`"; then
874  ac_cv_prog_cc_g=yes
875else
876  ac_cv_prog_cc_g=no
877fi
878rm -f conftest*
879
880fi
881
882echo "$ac_t""$ac_cv_prog_cc_g" 1>&6
883if test "$ac_test_CFLAGS" = set; then
884  CFLAGS="$ac_save_CFLAGS"
885elif test $ac_cv_prog_cc_g = yes; then
886  if test "$GCC" = yes; then
887    CFLAGS="-g -O2"
888  else
889    CFLAGS="-g"
890  fi
891else
892  if test "$GCC" = yes; then
893    CFLAGS="-O2"
894  else
895    CFLAGS=
896  fi
897fi
898
899echo $ac_n "checking how to run the C preprocessor""... $ac_c" 1>&6
900echo "configure:901: checking how to run the C preprocessor" >&5
901# On Suns, sometimes $CPP names a directory.
902if test -n "$CPP" && test -d "$CPP"; then
903  CPP=
904fi
905if test -z "$CPP"; then
906if eval "test \"`echo '$''{'ac_cv_prog_CPP'+set}'`\" = set"; then
907  echo $ac_n "(cached) $ac_c" 1>&6
908else
909    # This must be in double quotes, not single quotes, because CPP may get
910  # substituted into the Makefile and "${CC-cc}" will confuse make.
911  CPP="${CC-cc} -E"
912  # On the NeXT, cc -E runs the code through the compiler's parser,
913  # not just through cpp.
914  cat > conftest.$ac_ext <<EOF
915#line 916 "configure"
916#include "confdefs.h"
917#include <assert.h>
918Syntax Error
919EOF
920ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
921{ (eval echo configure:922: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
922ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
923if test -z "$ac_err"; then
924  :
925else
926  echo "$ac_err" >&5
927  echo "configure: failed program was:" >&5
928  cat conftest.$ac_ext >&5
929  rm -rf conftest*
930  CPP="${CC-cc} -E -traditional-cpp"
931  cat > conftest.$ac_ext <<EOF
932#line 933 "configure"
933#include "confdefs.h"
934#include <assert.h>
935Syntax Error
936EOF
937ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
938{ (eval echo configure:939: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
939ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
940if test -z "$ac_err"; then
941  :
942else
943  echo "$ac_err" >&5
944  echo "configure: failed program was:" >&5
945  cat conftest.$ac_ext >&5
946  rm -rf conftest*
947  CPP="${CC-cc} -nologo -E"
948  cat > conftest.$ac_ext <<EOF
949#line 950 "configure"
950#include "confdefs.h"
951#include <assert.h>
952Syntax Error
953EOF
954ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
955{ (eval echo configure:956: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
956ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
957if test -z "$ac_err"; then
958  :
959else
960  echo "$ac_err" >&5
961  echo "configure: failed program was:" >&5
962  cat conftest.$ac_ext >&5
963  rm -rf conftest*
964  CPP=/lib/cpp
965fi
966rm -f conftest*
967fi
968rm -f conftest*
969fi
970rm -f conftest*
971  ac_cv_prog_CPP="$CPP"
972fi
973  CPP="$ac_cv_prog_CPP"
974else
975  ac_cv_prog_CPP="$CPP"
976fi
977echo "$ac_t""$CPP" 1>&6
978
979ac_aux_dir=
980for ac_dir in $srcdir $srcdir/.. $srcdir/../..; do
981  if test -f $ac_dir/install-sh; then
982    ac_aux_dir=$ac_dir
983    ac_install_sh="$ac_aux_dir/install-sh -c"
984    break
985  elif test -f $ac_dir/install.sh; then
986    ac_aux_dir=$ac_dir
987    ac_install_sh="$ac_aux_dir/install.sh -c"
988    break
989  fi
990done
991if test -z "$ac_aux_dir"; then
992  { echo "configure: error: can not find install-sh or install.sh in $srcdir $srcdir/.. $srcdir/../.." 1>&2; exit 1; }
993fi
994ac_config_guess=$ac_aux_dir/config.guess
995ac_config_sub=$ac_aux_dir/config.sub
996ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
997
998# Find a good install program.  We prefer a C program (faster),
999# so one script is as good as another.  But avoid the broken or
1000# incompatible versions:
1001# SysV /etc/install, /usr/sbin/install
1002# SunOS /usr/etc/install
1003# IRIX /sbin/install
1004# AIX /bin/install
1005# AIX 4 /usr/bin/installbsd, which doesn't work without a -g flag
1006# AFS /usr/afsws/bin/install, which mishandles nonexistent args
1007# SVR4 /usr/ucb/install, which tries to use the nonexistent group "staff"
1008# ./install, which can be erroneously created by make from ./install.sh.
1009echo $ac_n "checking for a BSD compatible install""... $ac_c" 1>&6
1010echo "configure:1011: checking for a BSD compatible install" >&5
1011if test -z "$INSTALL"; then
1012if eval "test \"`echo '$''{'ac_cv_path_install'+set}'`\" = set"; then
1013  echo $ac_n "(cached) $ac_c" 1>&6
1014else
1015    IFS="${IFS=         }"; ac_save_IFS="$IFS"; IFS=":"
1016  for ac_dir in $PATH; do
1017    # Account for people who put trailing slashes in PATH elements.
1018    case "$ac_dir/" in
1019    /|./|.//|/etc/*|/usr/sbin/*|/usr/etc/*|/sbin/*|/usr/afsws/bin/*|/usr/ucb/*) ;;
1020    *)
1021      # OSF1 and SCO ODT 3.0 have their own names for install.
1022      # Don't use installbsd from OSF since it installs stuff as root
1023      # by default.
1024      for ac_prog in ginstall scoinst install; do
1025        if test -f $ac_dir/$ac_prog; then
1026          if test $ac_prog = install &&
1027            grep dspmsg $ac_dir/$ac_prog >/dev/null 2>&1; then
1028            # AIX install.  It has an incompatible calling convention.
1029            :
1030          else
1031            ac_cv_path_install="$ac_dir/$ac_prog -c"
1032            break 2
1033          fi
1034        fi
1035      done
1036      ;;
1037    esac
1038  done
1039  IFS="$ac_save_IFS"
1040
1041fi
1042  if test "${ac_cv_path_install+set}" = set; then
1043    INSTALL="$ac_cv_path_install"
1044  else
1045    # As a last resort, use the slow shell script.  We don't cache a
1046    # path for INSTALL within a source directory, because that will
1047    # break other packages using the cache if that directory is
1048    # removed, or if the path is relative.
1049    INSTALL="$ac_install_sh"
1050  fi
1051fi
1052echo "$ac_t""$INSTALL" 1>&6
1053
1054# Use test -z because SunOS4 sh mishandles braces in ${var-val}.
1055# It thinks the first close brace ends the variable substitution.
1056test -z "$INSTALL_PROGRAM" && INSTALL_PROGRAM='${INSTALL}'
1057
1058test -z "$INSTALL_SCRIPT" && INSTALL_SCRIPT='${INSTALL_PROGRAM}'
1059
1060test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
1061
1062echo $ac_n "checking for AIX""... $ac_c" 1>&6
1063echo "configure:1064: checking for AIX" >&5
1064cat > conftest.$ac_ext <<EOF
1065#line 1066 "configure"
1066#include "confdefs.h"
1067#ifdef _AIX
1068  yes
1069#endif
1070
1071EOF
1072if (eval "$ac_cpp conftest.$ac_ext") 2>&5 |
1073  egrep "yes" >/dev/null 2>&1; then
1074  rm -rf conftest*
1075  echo "$ac_t""yes" 1>&6; cat >> confdefs.h <<\EOF
1076#define _ALL_SOURCE 1
1077EOF
1078
1079else
1080  rm -rf conftest*
1081  echo "$ac_t""no" 1>&6
1082fi
1083rm -f conftest*
1084
1085
1086for ac_prog in $CCC c++ g++ gcc CC cxx cc++ cl
1087do
1088# Extract the first word of "$ac_prog", so it can be a program name with args.
1089set dummy $ac_prog; ac_word=$2
1090echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1091echo "configure:1092: checking for $ac_word" >&5
1092if eval "test \"`echo '$''{'ac_cv_prog_CXX'+set}'`\" = set"; then
1093  echo $ac_n "(cached) $ac_c" 1>&6
1094else
1095  if test -n "$CXX"; then
1096  ac_cv_prog_CXX="$CXX" # Let the user override the test.
1097else
1098  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
1099  ac_dummy="$PATH"
1100  for ac_dir in $ac_dummy; do
1101    test -z "$ac_dir" && ac_dir=.
1102    if test -f $ac_dir/$ac_word; then
1103      ac_cv_prog_CXX="$ac_prog"
1104      break
1105    fi
1106  done
1107  IFS="$ac_save_ifs"
1108fi
1109fi
1110CXX="$ac_cv_prog_CXX"
1111if test -n "$CXX"; then
1112  echo "$ac_t""$CXX" 1>&6
1113else
1114  echo "$ac_t""no" 1>&6
1115fi
1116
1117test -n "$CXX" && break
1118done
1119test -n "$CXX" || CXX="gcc"
1120
1121
1122echo $ac_n "checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works""... $ac_c" 1>&6
1123echo "configure:1124: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works" >&5
1124
1125ac_ext=C
1126# CXXFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
1127ac_cpp='$CXXCPP $CPPFLAGS'
1128ac_compile='${CXX-g++} -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
1129ac_link='${CXX-g++} -o conftest${ac_exeext} $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
1130cross_compiling=$ac_cv_prog_cxx_cross
1131
1132cat > conftest.$ac_ext << EOF
1133
1134#line 1135 "configure"
1135#include "confdefs.h"
1136
1137int main(){return(0);}
1138EOF
1139if { (eval echo configure:1140: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1140  ac_cv_prog_cxx_works=yes
1141  # If we can't run a trivial program, we are probably using a cross compiler.
1142  if (./conftest; exit) 2>/dev/null; then
1143    ac_cv_prog_cxx_cross=no
1144  else
1145    ac_cv_prog_cxx_cross=yes
1146  fi
1147else
1148  echo "configure: failed program was:" >&5
1149  cat conftest.$ac_ext >&5
1150  ac_cv_prog_cxx_works=no
1151fi
1152rm -fr conftest*
1153ac_ext=c
1154# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
1155ac_cpp='$CPP $CPPFLAGS'
1156ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
1157ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
1158cross_compiling=$ac_cv_prog_cc_cross
1159
1160echo "$ac_t""$ac_cv_prog_cxx_works" 1>&6
1161if test $ac_cv_prog_cxx_works = no; then
1162  { echo "configure: error: installation or configuration problem: C++ compiler cannot create executables." 1>&2; exit 1; }
1163fi
1164echo $ac_n "checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler""... $ac_c" 1>&6
1165echo "configure:1166: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler" >&5
1166echo "$ac_t""$ac_cv_prog_cxx_cross" 1>&6
1167cross_compiling=$ac_cv_prog_cxx_cross
1168
1169echo $ac_n "checking whether we are using GNU C++""... $ac_c" 1>&6
1170echo "configure:1171: checking whether we are using GNU C++" >&5
1171if eval "test \"`echo '$''{'ac_cv_prog_gxx'+set}'`\" = set"; then
1172  echo $ac_n "(cached) $ac_c" 1>&6
1173else
1174  cat > conftest.C <<EOF
1175#ifdef __GNUC__
1176  yes;
1177#endif
1178EOF
1179if { ac_try='${CXX-g++} -E conftest.C'; { (eval echo configure:1180: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } | egrep yes >/dev/null 2>&1; then
1180  ac_cv_prog_gxx=yes
1181else
1182  ac_cv_prog_gxx=no
1183fi
1184fi
1185
1186echo "$ac_t""$ac_cv_prog_gxx" 1>&6
1187
1188if test $ac_cv_prog_gxx = yes; then
1189  GXX=yes
1190else
1191  GXX=
1192fi
1193
1194ac_test_CXXFLAGS="${CXXFLAGS+set}"
1195ac_save_CXXFLAGS="$CXXFLAGS"
1196CXXFLAGS=
1197echo $ac_n "checking whether ${CXX-g++} accepts -g""... $ac_c" 1>&6
1198echo "configure:1199: checking whether ${CXX-g++} accepts -g" >&5
1199if eval "test \"`echo '$''{'ac_cv_prog_cxx_g'+set}'`\" = set"; then
1200  echo $ac_n "(cached) $ac_c" 1>&6
1201else
1202  echo 'void f(){}' > conftest.cc
1203if test -z "`${CXX-g++} -g -c conftest.cc 2>&1`"; then
1204  ac_cv_prog_cxx_g=yes
1205else
1206  ac_cv_prog_cxx_g=no
1207fi
1208rm -f conftest*
1209
1210fi
1211
1212echo "$ac_t""$ac_cv_prog_cxx_g" 1>&6
1213if test "$ac_test_CXXFLAGS" = set; then
1214  CXXFLAGS="$ac_save_CXXFLAGS"
1215elif test $ac_cv_prog_cxx_g = yes; then
1216  if test "$GXX" = yes; then
1217    CXXFLAGS="-g -O2"
1218  else
1219    CXXFLAGS="-g"
1220  fi
1221else
1222  if test "$GXX" = yes; then
1223    CXXFLAGS="-O2"
1224  else
1225    CXXFLAGS=
1226  fi
1227fi
1228
1229
1230# check whether the compiler accepts -pipe
1231echo $ac_n "checking whether compiler accepts -pipe""... $ac_c" 1>&6
1232echo "configure:1233: checking whether compiler accepts -pipe" >&5
1233temp_cflags=${CFLAGS}
1234CFLAGS="${CFLAGS} -pipe"
1235if eval "test \"`echo '$''{'ac_cv_cxx_have_pipe'+set}'`\" = set"; then
1236  echo $ac_n "(cached) $ac_c" 1>&6
1237else
1238  cat > conftest.$ac_ext <<EOF
1239#line 1240 "configure"
1240#include "confdefs.h"
1241
1242int main() {
1243
1244; return 0; }
1245EOF
1246if { (eval echo configure:1247: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
1247  rm -rf conftest*
1248  ac_cv_cxx_have_pipe=yes
1249else
1250  echo "configure: failed program was:" >&5
1251  cat conftest.$ac_ext >&5
1252  rm -rf conftest*
1253  ac_cv_cxx_have_pipe=no
1254fi
1255rm -f conftest*
1256
1257fi
1258
1259echo "$ac_t""${ac_cv_cxx_have_pipe}" 1>&6
1260CFLAGS=${temp_cflags}
1261if test "${ac_cv_cxx_have_pipe}" != yes; then
1262  PIPE=
1263else
1264  PIPE="-pipe"
1265fi
1266
1267
1268for ac_prog in perl5 perl
1269do
1270# Extract the first word of "$ac_prog", so it can be a program name with args.
1271set dummy $ac_prog; ac_word=$2
1272echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1273echo "configure:1274: checking for $ac_word" >&5
1274if eval "test \"`echo '$''{'ac_cv_prog_PERL'+set}'`\" = set"; then
1275  echo $ac_n "(cached) $ac_c" 1>&6
1276else
1277  if test -n "$PERL"; then
1278  ac_cv_prog_PERL="$PERL" # Let the user override the test.
1279else
1280  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
1281  ac_dummy="$PATH"
1282  for ac_dir in $ac_dummy; do
1283    test -z "$ac_dir" && ac_dir=.
1284    if test -f $ac_dir/$ac_word; then
1285      ac_cv_prog_PERL="$ac_prog"
1286      break
1287    fi
1288  done
1289  IFS="$ac_save_ifs"
1290fi
1291fi
1292PERL="$ac_cv_prog_PERL"
1293if test -n "$PERL"; then
1294  echo "$ac_t""$PERL" 1>&6
1295else
1296  echo "$ac_t""no" 1>&6
1297fi
1298
1299test -n "$PERL" && break
1300done
1301
1302for ac_prog in uudecode "uudeview -i"
1303do
1304# Extract the first word of "$ac_prog", so it can be a program name with args.
1305set dummy $ac_prog; ac_word=$2
1306echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1307echo "configure:1308: checking for $ac_word" >&5
1308if eval "test \"`echo '$''{'ac_cv_prog_UUDECODE'+set}'`\" = set"; then
1309  echo $ac_n "(cached) $ac_c" 1>&6
1310else
1311  if test -n "$UUDECODE"; then
1312  ac_cv_prog_UUDECODE="$UUDECODE" # Let the user override the test.
1313else
1314  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
1315  ac_dummy="$PATH"
1316  for ac_dir in $ac_dummy; do
1317    test -z "$ac_dir" && ac_dir=.
1318    if test -f $ac_dir/$ac_word; then
1319      ac_cv_prog_UUDECODE="$ac_prog"
1320      break
1321    fi
1322  done
1323  IFS="$ac_save_ifs"
1324fi
1325fi
1326UUDECODE="$ac_cv_prog_UUDECODE"
1327if test -n "$UUDECODE"; then
1328  echo "$ac_t""$UUDECODE" 1>&6
1329else
1330  echo "$ac_t""no" 1>&6
1331fi
1332
1333test -n "$UUDECODE" && break
1334done
1335
1336for ac_prog in gunzip
1337do
1338# Extract the first word of "$ac_prog", so it can be a program name with args.
1339set dummy $ac_prog; ac_word=$2
1340echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1341echo "configure:1342: checking for $ac_word" >&5
1342if eval "test \"`echo '$''{'ac_cv_prog_GUNZIP'+set}'`\" = set"; then
1343  echo $ac_n "(cached) $ac_c" 1>&6
1344else
1345  if test -n "$GUNZIP"; then
1346  ac_cv_prog_GUNZIP="$GUNZIP" # Let the user override the test.
1347else
1348  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
1349  ac_dummy="$PATH"
1350  for ac_dir in $ac_dummy; do
1351    test -z "$ac_dir" && ac_dir=.
1352    if test -f $ac_dir/$ac_word; then
1353      ac_cv_prog_GUNZIP="$ac_prog"
1354      break
1355    fi
1356  done
1357  IFS="$ac_save_ifs"
1358fi
1359fi
1360GUNZIP="$ac_cv_prog_GUNZIP"
1361if test -n "$GUNZIP"; then
1362  echo "$ac_t""$GUNZIP" 1>&6
1363else
1364  echo "$ac_t""no" 1>&6
1365fi
1366
1367test -n "$GUNZIP" && break
1368done
1369test -n "$GUNZIP" || GUNZIP="${pwd}/warn_not_found.sh gunzip"
1370
1371# don't use GZIP this breaks configure
1372for ac_prog in gzip
1373do
1374# Extract the first word of "$ac_prog", so it can be a program name with args.
1375set dummy $ac_prog; ac_word=$2
1376echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1377echo "configure:1378: checking for $ac_word" >&5
1378if eval "test \"`echo '$''{'ac_cv_prog_MYGZIP'+set}'`\" = set"; then
1379  echo $ac_n "(cached) $ac_c" 1>&6
1380else
1381  if test -n "$MYGZIP"; then
1382  ac_cv_prog_MYGZIP="$MYGZIP" # Let the user override the test.
1383else
1384  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
1385  ac_dummy="$PATH"
1386  for ac_dir in $ac_dummy; do
1387    test -z "$ac_dir" && ac_dir=.
1388    if test -f $ac_dir/$ac_word; then
1389      ac_cv_prog_MYGZIP="$ac_prog"
1390      break
1391    fi
1392  done
1393  IFS="$ac_save_ifs"
1394fi
1395fi
1396MYGZIP="$ac_cv_prog_MYGZIP"
1397if test -n "$MYGZIP"; then
1398  echo "$ac_t""$MYGZIP" 1>&6
1399else
1400  echo "$ac_t""no" 1>&6
1401fi
1402
1403test -n "$MYGZIP" && break
1404done
1405test -n "$MYGZIP" || MYGZIP="${pwd}/warn_not_found.sh gzip"
1406
1407# Extract the first word of "latex2html", so it can be a program name with args.
1408set dummy latex2html; ac_word=$2
1409echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1410echo "configure:1411: checking for $ac_word" >&5
1411if eval "test \"`echo '$''{'ac_cv_prog_LATEX2HTML'+set}'`\" = set"; then
1412  echo $ac_n "(cached) $ac_c" 1>&6
1413else
1414  if test -n "$LATEX2HTML"; then
1415  ac_cv_prog_LATEX2HTML="$LATEX2HTML" # Let the user override the test.
1416else
1417  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
1418  ac_dummy="$PATH"
1419  for ac_dir in $ac_dummy; do
1420    test -z "$ac_dir" && ac_dir=.
1421    if test -f $ac_dir/$ac_word; then
1422      ac_cv_prog_LATEX2HTML="latex2html"
1423      break
1424    fi
1425  done
1426  IFS="$ac_save_ifs"
1427fi
1428fi
1429LATEX2HTML="$ac_cv_prog_LATEX2HTML"
1430if test -n "$LATEX2HTML"; then
1431  echo "$ac_t""$LATEX2HTML" 1>&6
1432else
1433  echo "$ac_t""no" 1>&6
1434fi
1435
1436echo $ac_n "checking whether ln -s works""... $ac_c" 1>&6
1437echo "configure:1438: checking whether ln -s works" >&5
1438if eval "test \"`echo '$''{'ac_cv_prog_LN_S'+set}'`\" = set"; then
1439  echo $ac_n "(cached) $ac_c" 1>&6
1440else
1441  rm -f conftestdata
1442if ln -s X conftestdata 2>/dev/null
1443then
1444  rm -f conftestdata
1445  ac_cv_prog_LN_S="ln -s"
1446else
1447  ac_cv_prog_LN_S=ln
1448fi
1449fi
1450LN_S="$ac_cv_prog_LN_S"
1451if test "$ac_cv_prog_LN_S" = "ln -s"; then
1452  echo "$ac_t""yes" 1>&6
1453else
1454  echo "$ac_t""no" 1>&6
1455fi
1456
1457
1458if test -r "${pwd}/mkinstalldirs"; then
1459  MKINSTALLDIRS=${pwd}/mkinstalldirs
1460 
1461else
1462  { echo "configure: error: mkinstalldirs not foind in ${pwd}" 1>&2; exit 1; }
1463fi
1464
1465# expand prefix and pass it to subsequent configures
1466if test "x$prefix" = xNONE; then
1467  prefix=${ac_default_prefix}
1468  ac_configure_args="$ac_configure_args --prefix=${prefix}"
1469fi
1470
1471# expand exec_prefix
1472if test "x$exec_prefix" = xNONE; then
1473 exec_prefix=${prefix}/${ac_cv_singuname}
1474 ac_configure_args="$ac_configure_args --exec_prefix=${exec_prefix}"
1475fi
1476
1477# expand bindir
1478if test "x$bindir" = 'x${exec_prefix}/bin'; then
1479  bindir="${exec_prefix}"
1480  ac_configure_args="$ac_configure_args --bindir=${bindir}"
1481fi
1482
1483# expand libdir
1484if test "x$libdir" = 'x${exec_prefix}/lib'; then
1485  libdir="${exec_prefix}/lib"
1486  ac_configure_args="$ac_configure_args --libdir=${libdir}"
1487fi
1488
1489# expand includedir
1490if test "x$includedir" = 'x${prefix}/include'; then
1491  includedir="${exec_prefix}/include"
1492  ac_configure_args="$ac_configure_args --includedir=${includedir}"
1493fi
1494
1495# construct name of installed Singular executable
1496SINGULAR=${bindir}/Singular-${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}
1497export SINGULAR
1498
1499
1500
1501# add -I to CPPFLAGS and -L to LDFLAGS, just to be sure
1502LDFLAGS="-L${libdir} ${LDFLAGS}"
1503CPPFLAGS="-I${includedir} ${CPPFLAGS}"
1504
1505# check for AIX
1506echo $ac_n "checking whether _AIX is defined""... $ac_c" 1>&6
1507echo "configure:1508: checking whether _AIX is defined" >&5
1508if eval "test \"`echo '$''{'ac_cv_is_aix'+set}'`\" = set"; then
1509  echo $ac_n "(cached) $ac_c" 1>&6
1510else
1511  cat > conftest.$ac_ext <<EOF
1512#line 1513 "configure"
1513#include "confdefs.h"
1514#ifdef _AIX
1515    yes
1516#endif
1517
1518EOF
1519if (eval "$ac_cpp conftest.$ac_ext") 2>&5 |
1520  egrep "yes" >/dev/null 2>&1; then
1521  rm -rf conftest*
1522  ac_cv_is_aix=yes
1523else
1524  rm -rf conftest*
1525  ac_cv_is_aix=no
1526fi
1527rm -f conftest*
1528
1529fi
1530
1531if test "$ac_cv_is_aix" = yes; then
1532  echo "$ac_t""yes" 1>&6
1533else
1534  echo "$ac_t""no" 1>&6
1535fi
1536
1537echo $ac_n "checking for atof in -lm""... $ac_c" 1>&6
1538echo "configure:1539: checking for atof in -lm" >&5
1539ac_lib_var=`echo m'_'atof | sed 'y%./+-%__p_%'`
1540if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1541  echo $ac_n "(cached) $ac_c" 1>&6
1542else
1543  ac_save_LIBS="$LIBS"
1544LIBS="-lm  $LIBS"
1545cat > conftest.$ac_ext <<EOF
1546#line 1547 "configure"
1547#include "confdefs.h"
1548/* Override any gcc2 internal prototype to avoid an error.  */
1549/* We use char because int might match the return type of a gcc2
1550    builtin and then its argument prototype would still apply.  */
1551char atof();
1552
1553int main() {
1554atof()
1555; return 0; }
1556EOF
1557if { (eval echo configure:1558: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1558  rm -rf conftest*
1559  eval "ac_cv_lib_$ac_lib_var=yes"
1560else
1561  echo "configure: failed program was:" >&5
1562  cat conftest.$ac_ext >&5
1563  rm -rf conftest*
1564  eval "ac_cv_lib_$ac_lib_var=no"
1565fi
1566rm -f conftest*
1567LIBS="$ac_save_LIBS"
1568
1569fi
1570if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1571  echo "$ac_t""yes" 1>&6
1572    ac_tr_lib=HAVE_LIB`echo m | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1573    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1574  cat >> confdefs.h <<EOF
1575#define $ac_tr_lib 1
1576EOF
1577
1578  LIBS="-lm $LIBS"
1579
1580else
1581  echo "$ac_t""no" 1>&6
1582fi
1583
1584echo $ac_n "checking for socket in -lbsd""... $ac_c" 1>&6
1585echo "configure:1586: checking for socket in -lbsd" >&5
1586ac_lib_var=`echo bsd'_'socket | sed 'y%./+-%__p_%'`
1587if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1588  echo $ac_n "(cached) $ac_c" 1>&6
1589else
1590  ac_save_LIBS="$LIBS"
1591LIBS="-lbsd  $LIBS"
1592cat > conftest.$ac_ext <<EOF
1593#line 1594 "configure"
1594#include "confdefs.h"
1595/* Override any gcc2 internal prototype to avoid an error.  */
1596/* We use char because int might match the return type of a gcc2
1597    builtin and then its argument prototype would still apply.  */
1598char socket();
1599
1600int main() {
1601socket()
1602; return 0; }
1603EOF
1604if { (eval echo configure:1605: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1605  rm -rf conftest*
1606  eval "ac_cv_lib_$ac_lib_var=yes"
1607else
1608  echo "configure: failed program was:" >&5
1609  cat conftest.$ac_ext >&5
1610  rm -rf conftest*
1611  eval "ac_cv_lib_$ac_lib_var=no"
1612fi
1613rm -f conftest*
1614LIBS="$ac_save_LIBS"
1615
1616fi
1617if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1618  echo "$ac_t""yes" 1>&6
1619    ac_tr_lib=HAVE_LIB`echo bsd | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1620    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1621  cat >> confdefs.h <<EOF
1622#define $ac_tr_lib 1
1623EOF
1624
1625  LIBS="-lbsd $LIBS"
1626
1627else
1628  echo "$ac_t""no" 1>&6
1629fi
1630
1631echo $ac_n "checking for listen in -lsocket""... $ac_c" 1>&6
1632echo "configure:1633: checking for listen in -lsocket" >&5
1633ac_lib_var=`echo socket'_'listen | sed 'y%./+-%__p_%'`
1634if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1635  echo $ac_n "(cached) $ac_c" 1>&6
1636else
1637  ac_save_LIBS="$LIBS"
1638LIBS="-lsocket  $LIBS"
1639cat > conftest.$ac_ext <<EOF
1640#line 1641 "configure"
1641#include "confdefs.h"
1642/* Override any gcc2 internal prototype to avoid an error.  */
1643/* We use char because int might match the return type of a gcc2
1644    builtin and then its argument prototype would still apply.  */
1645char listen();
1646
1647int main() {
1648listen()
1649; return 0; }
1650EOF
1651if { (eval echo configure:1652: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1652  rm -rf conftest*
1653  eval "ac_cv_lib_$ac_lib_var=yes"
1654else
1655  echo "configure: failed program was:" >&5
1656  cat conftest.$ac_ext >&5
1657  rm -rf conftest*
1658  eval "ac_cv_lib_$ac_lib_var=no"
1659fi
1660rm -f conftest*
1661LIBS="$ac_save_LIBS"
1662
1663fi
1664if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1665  echo "$ac_t""yes" 1>&6
1666    ac_tr_lib=HAVE_LIB`echo socket | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1667    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1668  cat >> confdefs.h <<EOF
1669#define $ac_tr_lib 1
1670EOF
1671
1672  LIBS="-lsocket $LIBS"
1673
1674else
1675  echo "$ac_t""no" 1>&6
1676fi
1677
1678echo $ac_n "checking for gethostbyname in -lnsl""... $ac_c" 1>&6
1679echo "configure:1680: checking for gethostbyname in -lnsl" >&5
1680ac_lib_var=`echo nsl'_'gethostbyname | sed 'y%./+-%__p_%'`
1681if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1682  echo $ac_n "(cached) $ac_c" 1>&6
1683else
1684  ac_save_LIBS="$LIBS"
1685LIBS="-lnsl  $LIBS"
1686cat > conftest.$ac_ext <<EOF
1687#line 1688 "configure"
1688#include "confdefs.h"
1689/* Override any gcc2 internal prototype to avoid an error.  */
1690/* We use char because int might match the return type of a gcc2
1691    builtin and then its argument prototype would still apply.  */
1692char gethostbyname();
1693
1694int main() {
1695gethostbyname()
1696; return 0; }
1697EOF
1698if { (eval echo configure:1699: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1699  rm -rf conftest*
1700  eval "ac_cv_lib_$ac_lib_var=yes"
1701else
1702  echo "configure: failed program was:" >&5
1703  cat conftest.$ac_ext >&5
1704  rm -rf conftest*
1705  eval "ac_cv_lib_$ac_lib_var=no"
1706fi
1707rm -f conftest*
1708LIBS="$ac_save_LIBS"
1709
1710fi
1711if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1712  echo "$ac_t""yes" 1>&6
1713    ac_tr_lib=HAVE_LIB`echo nsl | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1714    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1715  cat >> confdefs.h <<EOF
1716#define $ac_tr_lib 1
1717EOF
1718
1719  LIBS="-lnsl $LIBS"
1720
1721else
1722  echo "$ac_t""no" 1>&6
1723fi
1724
1725echo $ac_n "checking for main in -lgmp""... $ac_c" 1>&6
1726echo "configure:1727: checking for main in -lgmp" >&5
1727ac_lib_var=`echo gmp'_'main | sed 'y%./+-%__p_%'`
1728if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1729  echo $ac_n "(cached) $ac_c" 1>&6
1730else
1731  ac_save_LIBS="$LIBS"
1732LIBS="-lgmp  $LIBS"
1733cat > conftest.$ac_ext <<EOF
1734#line 1735 "configure"
1735#include "confdefs.h"
1736
1737int main() {
1738main()
1739; return 0; }
1740EOF
1741if { (eval echo configure:1742: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1742  rm -rf conftest*
1743  eval "ac_cv_lib_$ac_lib_var=yes"
1744else
1745  echo "configure: failed program was:" >&5
1746  cat conftest.$ac_ext >&5
1747  rm -rf conftest*
1748  eval "ac_cv_lib_$ac_lib_var=no"
1749fi
1750rm -f conftest*
1751LIBS="$ac_save_LIBS"
1752
1753fi
1754if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1755  echo "$ac_t""yes" 1>&6
1756    ac_tr_lib=HAVE_LIB`echo gmp | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1757    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1758  cat >> confdefs.h <<EOF
1759#define $ac_tr_lib 1
1760EOF
1761
1762  LIBS="-lgmp $LIBS"
1763
1764else
1765  echo "$ac_t""no" 1>&6
1766fi
1767
1768echo $ac_n "checking for mpz_init in -lsmallgmp""... $ac_c" 1>&6
1769echo "configure:1770: checking for mpz_init in -lsmallgmp" >&5
1770ac_lib_var=`echo smallgmp'_'mpz_init | sed 'y%./+-%__p_%'`
1771if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1772  echo $ac_n "(cached) $ac_c" 1>&6
1773else
1774  ac_save_LIBS="$LIBS"
1775LIBS="-lsmallgmp  $LIBS"
1776cat > conftest.$ac_ext <<EOF
1777#line 1778 "configure"
1778#include "confdefs.h"
1779/* Override any gcc2 internal prototype to avoid an error.  */
1780/* We use char because int might match the return type of a gcc2
1781    builtin and then its argument prototype would still apply.  */
1782char mpz_init();
1783
1784int main() {
1785mpz_init()
1786; return 0; }
1787EOF
1788if { (eval echo configure:1789: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1789  rm -rf conftest*
1790  eval "ac_cv_lib_$ac_lib_var=yes"
1791else
1792  echo "configure: failed program was:" >&5
1793  cat conftest.$ac_ext >&5
1794  rm -rf conftest*
1795  eval "ac_cv_lib_$ac_lib_var=no"
1796fi
1797rm -f conftest*
1798LIBS="$ac_save_LIBS"
1799
1800fi
1801if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1802  echo "$ac_t""yes" 1>&6
1803    ac_tr_lib=HAVE_LIB`echo smallgmp | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1804    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1805  cat >> confdefs.h <<EOF
1806#define $ac_tr_lib 1
1807EOF
1808
1809  LIBS="-lsmallgmp $LIBS"
1810
1811else
1812  echo "$ac_t""no" 1>&6
1813fi
1814
1815echo $ac_n "checking for IMP_PutGmpInt in -lMP""... $ac_c" 1>&6
1816echo "configure:1817: checking for IMP_PutGmpInt in -lMP" >&5
1817ac_lib_var=`echo MP'_'IMP_PutGmpInt | sed 'y%./+-%__p_%'`
1818if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1819  echo $ac_n "(cached) $ac_c" 1>&6
1820else
1821  ac_save_LIBS="$LIBS"
1822LIBS="-lMP  $LIBS"
1823cat > conftest.$ac_ext <<EOF
1824#line 1825 "configure"
1825#include "confdefs.h"
1826/* Override any gcc2 internal prototype to avoid an error.  */
1827/* We use char because int might match the return type of a gcc2
1828    builtin and then its argument prototype would still apply.  */
1829char IMP_PutGmpInt();
1830
1831int main() {
1832IMP_PutGmpInt()
1833; return 0; }
1834EOF
1835if { (eval echo configure:1836: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1836  rm -rf conftest*
1837  eval "ac_cv_lib_$ac_lib_var=yes"
1838else
1839  echo "configure: failed program was:" >&5
1840  cat conftest.$ac_ext >&5
1841  rm -rf conftest*
1842  eval "ac_cv_lib_$ac_lib_var=no"
1843fi
1844rm -f conftest*
1845LIBS="$ac_save_LIBS"
1846
1847fi
1848if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1849  echo "$ac_t""yes" 1>&6
1850    ac_tr_lib=HAVE_LIB`echo MP | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1851    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1852  cat >> confdefs.h <<EOF
1853#define $ac_tr_lib 1
1854EOF
1855
1856  LIBS="-lMP $LIBS"
1857
1858else
1859  echo "$ac_t""no" 1>&6
1860fi
1861
1862echo $ac_n "checking for MPT_GetTree in -lMPT""... $ac_c" 1>&6
1863echo "configure:1864: checking for MPT_GetTree in -lMPT" >&5
1864ac_lib_var=`echo MPT'_'MPT_GetTree | sed 'y%./+-%__p_%'`
1865if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1866  echo $ac_n "(cached) $ac_c" 1>&6
1867else
1868  ac_save_LIBS="$LIBS"
1869LIBS="-lMPT  $LIBS"
1870cat > conftest.$ac_ext <<EOF
1871#line 1872 "configure"
1872#include "confdefs.h"
1873/* Override any gcc2 internal prototype to avoid an error.  */
1874/* We use char because int might match the return type of a gcc2
1875    builtin and then its argument prototype would still apply.  */
1876char MPT_GetTree();
1877
1878int main() {
1879MPT_GetTree()
1880; return 0; }
1881EOF
1882if { (eval echo configure:1883: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1883  rm -rf conftest*
1884  eval "ac_cv_lib_$ac_lib_var=yes"
1885else
1886  echo "configure: failed program was:" >&5
1887  cat conftest.$ac_ext >&5
1888  rm -rf conftest*
1889  eval "ac_cv_lib_$ac_lib_var=no"
1890fi
1891rm -f conftest*
1892LIBS="$ac_save_LIBS"
1893
1894fi
1895if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1896  echo "$ac_t""yes" 1>&6
1897    ac_tr_lib=HAVE_LIB`echo MPT | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1898    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1899  cat >> confdefs.h <<EOF
1900#define $ac_tr_lib 1
1901EOF
1902
1903  LIBS="-lMPT $LIBS"
1904
1905else
1906  echo "$ac_t""no" 1>&6
1907fi
1908
1909echo $ac_n "checking for atof in -lsingcf""... $ac_c" 1>&6
1910echo "configure:1911: checking for atof in -lsingcf" >&5
1911ac_lib_var=`echo singcf'_'atof | sed 'y%./+-%__p_%'`
1912if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1913  echo $ac_n "(cached) $ac_c" 1>&6
1914else
1915  ac_save_LIBS="$LIBS"
1916LIBS="-lsingcf  $LIBS"
1917cat > conftest.$ac_ext <<EOF
1918#line 1919 "configure"
1919#include "confdefs.h"
1920/* Override any gcc2 internal prototype to avoid an error.  */
1921/* We use char because int might match the return type of a gcc2
1922    builtin and then its argument prototype would still apply.  */
1923char atof();
1924
1925int main() {
1926atof()
1927; return 0; }
1928EOF
1929if { (eval echo configure:1930: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1930  rm -rf conftest*
1931  eval "ac_cv_lib_$ac_lib_var=yes"
1932else
1933  echo "configure: failed program was:" >&5
1934  cat conftest.$ac_ext >&5
1935  rm -rf conftest*
1936  eval "ac_cv_lib_$ac_lib_var=no"
1937fi
1938rm -f conftest*
1939LIBS="$ac_save_LIBS"
1940
1941fi
1942if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1943  echo "$ac_t""yes" 1>&6
1944    ac_tr_lib=HAVE_LIB`echo singcf | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1945    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1946  cat >> confdefs.h <<EOF
1947#define $ac_tr_lib 1
1948EOF
1949
1950  LIBS="-lsingcf $LIBS"
1951
1952else
1953  echo "$ac_t""no" 1>&6
1954fi
1955
1956echo $ac_n "checking for atof in -lsingfac""... $ac_c" 1>&6
1957echo "configure:1958: checking for atof in -lsingfac" >&5
1958ac_lib_var=`echo singfac'_'atof | sed 'y%./+-%__p_%'`
1959if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1960  echo $ac_n "(cached) $ac_c" 1>&6
1961else
1962  ac_save_LIBS="$LIBS"
1963LIBS="-lsingfac  $LIBS"
1964cat > conftest.$ac_ext <<EOF
1965#line 1966 "configure"
1966#include "confdefs.h"
1967/* Override any gcc2 internal prototype to avoid an error.  */
1968/* We use char because int might match the return type of a gcc2
1969    builtin and then its argument prototype would still apply.  */
1970char atof();
1971
1972int main() {
1973atof()
1974; return 0; }
1975EOF
1976if { (eval echo configure:1977: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1977  rm -rf conftest*
1978  eval "ac_cv_lib_$ac_lib_var=yes"
1979else
1980  echo "configure: failed program was:" >&5
1981  cat conftest.$ac_ext >&5
1982  rm -rf conftest*
1983  eval "ac_cv_lib_$ac_lib_var=no"
1984fi
1985rm -f conftest*
1986LIBS="$ac_save_LIBS"
1987
1988fi
1989if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1990  echo "$ac_t""yes" 1>&6
1991    ac_tr_lib=HAVE_LIB`echo singfac | sed -e 's/[^a-zA-Z0-9_]/_/g' \
1992    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1993  cat >> confdefs.h <<EOF
1994#define $ac_tr_lib 1
1995EOF
1996
1997  LIBS="-lsingfac $LIBS"
1998
1999else
2000  echo "$ac_t""no" 1>&6
2001fi
2002
2003echo $ac_n "checking for omTestAddr in -lomalloc""... $ac_c" 1>&6
2004echo "configure:2005: checking for omTestAddr in -lomalloc" >&5
2005ac_lib_var=`echo omalloc'_'omTestAddr | sed 'y%./+-%__p_%'`
2006if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
2007  echo $ac_n "(cached) $ac_c" 1>&6
2008else
2009  ac_save_LIBS="$LIBS"
2010LIBS="-lomalloc  $LIBS"
2011cat > conftest.$ac_ext <<EOF
2012#line 2013 "configure"
2013#include "confdefs.h"
2014/* Override any gcc2 internal prototype to avoid an error.  */
2015/* We use char because int might match the return type of a gcc2
2016    builtin and then its argument prototype would still apply.  */
2017char omTestAddr();
2018
2019int main() {
2020omTestAddr()
2021; return 0; }
2022EOF
2023if { (eval echo configure:2024: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
2024  rm -rf conftest*
2025  eval "ac_cv_lib_$ac_lib_var=yes"
2026else
2027  echo "configure: failed program was:" >&5
2028  cat conftest.$ac_ext >&5
2029  rm -rf conftest*
2030  eval "ac_cv_lib_$ac_lib_var=no"
2031fi
2032rm -f conftest*
2033LIBS="$ac_save_LIBS"
2034
2035fi
2036if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
2037  echo "$ac_t""yes" 1>&6
2038    ac_tr_lib=HAVE_LIB`echo omalloc | sed -e 's/[^a-zA-Z0-9_]/_/g' \
2039    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
2040  cat >> confdefs.h <<EOF
2041#define $ac_tr_lib 1
2042EOF
2043
2044  LIBS="-lomalloc $LIBS"
2045
2046else
2047  echo "$ac_t""no" 1>&6
2048fi
2049
2050echo $ac_n "checking for main in -lomalloc_ndebug""... $ac_c" 1>&6
2051echo "configure:2052: checking for main in -lomalloc_ndebug" >&5
2052ac_lib_var=`echo omalloc_ndebug'_'main | sed 'y%./+-%__p_%'`
2053if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
2054  echo $ac_n "(cached) $ac_c" 1>&6
2055else
2056  ac_save_LIBS="$LIBS"
2057LIBS="-lomalloc_ndebug  $LIBS"
2058cat > conftest.$ac_ext <<EOF
2059#line 2060 "configure"
2060#include "confdefs.h"
2061
2062int main() {
2063main()
2064; return 0; }
2065EOF
2066if { (eval echo configure:2067: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
2067  rm -rf conftest*
2068  eval "ac_cv_lib_$ac_lib_var=yes"
2069else
2070  echo "configure: failed program was:" >&5
2071  cat conftest.$ac_ext >&5
2072  rm -rf conftest*
2073  eval "ac_cv_lib_$ac_lib_var=no"
2074fi
2075rm -f conftest*
2076LIBS="$ac_save_LIBS"
2077
2078fi
2079if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
2080  echo "$ac_t""yes" 1>&6
2081    ac_tr_lib=HAVE_LIB`echo omalloc_ndebug | sed -e 's/[^a-zA-Z0-9_]/_/g' \
2082    -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
2083  cat >> confdefs.h <<EOF
2084#define $ac_tr_lib 1
2085EOF
2086
2087  LIBS="-lomalloc_ndebug $LIBS"
2088
2089else
2090  echo "$ac_t""no" 1>&6
2091fi
2092
2093
2094for ac_hdr in gmp.h smallgmp.h MP.h  MPT.h factory.h factor.h omalloc.h
2095do
2096ac_safe=`echo "$ac_hdr" | sed 'y%./+-%__p_%'`
2097echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
2098echo "configure:2099: checking for $ac_hdr" >&5
2099if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
2100  echo $ac_n "(cached) $ac_c" 1>&6
2101else
2102  cat > conftest.$ac_ext <<EOF
2103#line 2104 "configure"
2104#include "confdefs.h"
2105#include <$ac_hdr>
2106EOF
2107ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
2108{ (eval echo configure:2109: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
2109ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
2110if test -z "$ac_err"; then
2111  rm -rf conftest*
2112  eval "ac_cv_header_$ac_safe=yes"
2113else
2114  echo "$ac_err" >&5
2115  echo "configure: failed program was:" >&5
2116  cat conftest.$ac_ext >&5
2117  rm -rf conftest*
2118  eval "ac_cv_header_$ac_safe=no"
2119fi
2120rm -f conftest*
2121fi
2122if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
2123  echo "$ac_t""yes" 1>&6
2124    ac_tr_hdr=HAVE_`echo $ac_hdr | sed 'y%abcdefghijklmnopqrstuvwxyz./-%ABCDEFGHIJKLMNOPQRSTUVWXYZ___%'`
2125  cat >> confdefs.h <<EOF
2126#define $ac_tr_hdr 1
2127EOF
2128 
2129else
2130  echo "$ac_t""no" 1>&6
2131fi
2132done
2133
2134
2135if test "$ac_cv_lib_gmp_main" = yes && \
2136 test "$ac_cv_header_gmp_h" = yes; then
2137  ac_gmp_ok=yes
2138fi
2139
2140if test "$ac_cv_lib_smallgmp_mpz_init" = yes && \
2141 test "$ac_cv_header_smallgmp_h" = yes && \
2142 test "$ac_cv_header_gmp_h" = yes; then
2143  ac_smallgmp_ok=yes
2144fi
2145
2146if test "$ac_cv_lib_MP_IMP_PutGmpInt" = yes && \
2147 test "$ac_cv_lib_MPT_MPT_GetTree" && \
2148 test "$ac_cv_header_MP_h" = yes && \
2149 test "$ac_cv_header_MPT_h" = yes; then
2150  ac_MP_ok=yes
2151fi
2152
2153if test "$ac_cv_lib_singcf_atof" = yes && \
2154 test "$ac_cv_header_factory_h" = yes; then
2155  ac_factory_ok=yes
2156fi
2157
2158if test "$ac_cv_lib_singfac_atof" = yes && \
2159 test "$ac_cv_header_factor_h" = yes; then
2160  ac_libfac_ok=yes
2161fi
2162
2163if test "$ac_cv_lib_omalloc_omTestAddr" = yes && \
2164   test "$ac_cv_lib_omalloc_ndebug_main" = yes && \
2165   test "$ac_cv_header_omalloc_c" = yes && \
2166   test "$ac_cv_header_omalloc_h" = yes; then
2167  ac_cv_omalloc_ok=yes
2168fi
2169 
2170# Check whether --with-tmpdir or --without-tmpdir was given.
2171if test "${with_tmpdir+set}" = set; then
2172  withval="$with_tmpdir"
2173  :
2174fi
2175
2176# Check whether --enable-smallgmp or --disable-smallgmp was given.
2177if test "${enable_smallgmp+set}" = set; then
2178  enableval="$enable_smallgmp"
2179  :
2180fi
2181
2182# Check whether --enable-omalloc or --disable-omalloc was given.
2183if test "${enable_omalloc+set}" = set; then
2184  enableval="$enable_omalloc"
2185  :
2186fi
2187
2188# Check whether --enable-gmp or --disable-gmp was given.
2189if test "${enable_gmp+set}" = set; then
2190  enableval="$enable_gmp"
2191  :
2192fi
2193
2194# Check whether --enable-MP or --disable-MP was given.
2195if test "${enable_MP+set}" = set; then
2196  enableval="$enable_MP"
2197  :
2198fi
2199
2200# Check whether --enable-factory or --disable-factory was given.
2201if test "${enable_factory+set}" = set; then
2202  enableval="$enable_factory"
2203  :
2204fi
2205
2206# Check whether --enable-libfac or --disable-libfac was given.
2207if test "${enable_libfac+set}" = set; then
2208  enableval="$enable_libfac"
2209  :
2210fi
2211
2212# Check whether --enable-sgroup or --disable-sgroup was given.
2213if test "${enable_sgroup+set}" = set; then
2214  enableval="$enable_sgroup"
2215  :
2216fi
2217
2218# Check whether --enable-Singular or --disable-Singular was given.
2219if test "${enable_Singular+set}" = set; then
2220  enableval="$enable_Singular"
2221  :
2222fi
2223
2224# Check whether --enable-IntegerProgramming or --disable-IntegerProgramming was given.
2225if test "${enable_IntegerProgramming+set}" = set; then
2226  enableval="$enable_IntegerProgramming"
2227  :
2228fi
2229
2230# Check whether --enable-Plural or --disable-Plural was given.
2231if test "${enable_Plural+set}" = set; then
2232  enableval="$enable_Plural"
2233  :
2234fi
2235
2236# Check whether --enable-Texinfo or --disable-Texinfo was given.
2237if test "${enable_Texinfo+set}" = set; then
2238  enableval="$enable_Texinfo"
2239  :
2240fi
2241
2242# Check whether --enable-Texi2html or --disable-Texi2html was given.
2243if test "${enable_Texi2html+set}" = set; then
2244  enableval="$enable_Texi2html"
2245  :
2246fi
2247
2248# Check whether --enable-doc or --disable-doc was given.
2249if test "${enable_doc+set}" = set; then
2250  enableval="$enable_doc"
2251  :
2252fi
2253
2254# Check whether --enable-emacs or --disable-emacs was given.
2255if test "${enable_emacs+set}" = set; then
2256  enableval="$enable_emacs"
2257  :
2258fi
2259
2260# Check whether --with-MP or --without-MP was given.
2261if test "${with_MP+set}" = set; then
2262  withval="$with_MP"
2263  :
2264fi
2265
2266# Check whether --with-factory or --without-factory was given.
2267if test "${with_factory+set}" = set; then
2268  withval="$with_factory"
2269  :
2270fi
2271
2272# Check whether --with-libfac or --without-libfac was given.
2273if test "${with_libfac+set}" = set; then
2274  withval="$with_libfac"
2275  :
2276fi
2277
2278# Check whether --with-gmp or --without-gmp was given.
2279if test "${with_gmp+set}" = set; then
2280  withval="$with_gmp"
2281  :
2282fi
2283
2284
2285echo $ac_n "checking which tmp dir to use""... $ac_c" 1>&6
2286echo "configure:2287: checking which tmp dir to use" >&5
2287if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
2288  if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1)
2289  then
2290    TMP_DIR="${pwd}/tmp"
2291  else
2292    TMP_DIR=${with_tmpdir}
2293  fi
2294else
2295  TMP_DIR="${pwd}/tmp"
2296fi
2297echo "$ac_t""$TMP_DIR" 1>&6
2298
2299
2300echo $ac_n "checking whether to configure and build omalloc""... $ac_c" 1>&6
2301echo "configure:2302: checking whether to configure and build omalloc" >&5
2302if test "${enable_omalloc+set}" != set; then
2303   if test "$ac_cv_omalloc_ok" = yes; then
2304     enable_omalloc=no
2305   fi
2306   enable_omalloc_not_set=yes
2307fi
2308if test "$enable_omalloc" = no; then
2309  if test "$ac_cv_omalloc_ok" != yes; then
2310    { echo "configure: error: can not build without omalloc" 1>&2; exit 1; }
2311  fi
2312  echo "$ac_t""no" 1>&6
2313else
2314  if test -d omalloc; then
2315    echo "$ac_t""yes" 1>&6
2316    if test "$enable_omalloc_not_set" = yes; then
2317      ac_configure_args="$ac_configure_args --enable-omalloc --with-external-config_h='$pwd/Singular/omSingularConfig.h' --with-track-custom"
2318    fi
2319    CONFIG_SUBDIRS="$CONFIG_SUBDIRS omalloc"
2320    if test "${with_malloc+set}" != set; then
2321case "$ac_cv_singuname" in
2322# under windows, it is best to use the provided malloc
2323        ix86-Win*)
2324        with_malloc=system
2325        ac_configure_args="$ac_configure_args --with-malloc=system"
2326        ;;
2327        PowerMacintosh-darwin*)
2328        with_malloc=system
2329        ac_configure_args="$ac_configure_args --with-malloc=system"
2330        ;;
2331esac
2332fi
2333  else
2334    { echo "configure: error: need omalloc subdir" 1>&2; exit 1; }
2335  fi
2336fi
2337
2338echo $ac_n "checking whether to configure and build gmp lib""... $ac_c" 1>&6
2339echo "configure:2340: checking whether to configure and build gmp lib" >&5
2340if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
2341  if test "$ac_gmp_ok" != yes && test -d gmp; then
2342    echo "$ac_t""yes" 1>&6
2343    enable_gmp=yes
2344    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
2345    ac_configure_args="$ac_configure_args --enable-gmp"
2346    enable_gmp=yes
2347#    This we used to need for our patched version of gmp 2.x
2348#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
2349  else
2350    echo "$ac_t""no" 1>&6
2351    enable_gmp=no
2352  fi
2353elif test "$enable_gmp" = yes; then
2354  if test ! -d gmp; then
2355    echo "$ac_t""no" 1>&6
2356    { echo "configure: error: Can not find gmp subdir" 1>&2; exit 1; }
2357  else
2358    echo "$ac_t""yes" 1>&6
2359    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
2360#    This we used to need for our patched version of gmp 2.x
2361#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
2362  fi
2363else
2364  echo "$ac_t""no" 1>&6
2365fi
2366
2367if test "$enable_gmp" = yes; then
2368# for gmp-3.0 to work for all ix86 processors, set generic target
2369if test "$target" = NONE; then
2370case "$ac_cv_singuname" in
2371        ix86*)
2372        gmp_target=`./config.guess | sed 's/^\w*-/i386-/'`
2373        ac_configure_args="$ac_configure_args --target=$gmp_target"
2374        ;;
2375esac
2376fi
2377# furthermore, disable building of dynamic libraries, for we want to
2378# link against the static ones
2379if test "$enable_shared" != no; then
2380  ac_configure_args="$ac_configure_args --disable-shared"
2381fi
2382fi
2383
2384echo $ac_n "checking whether to configure and build smallgmp lib""... $ac_c" 1>&6
2385echo "configure:2386: checking whether to configure and build smallgmp lib" >&5
2386if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
2387  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
2388     test "$enable_gmp" != yes && test -d smallgmp; then
2389    echo "$ac_t""yes" 1>&6
2390    enable_smallgmp=yes
2391    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
2392    ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
2393    enable_gmp=yes
2394  else
2395    echo "$ac_t""no" 1>&6
2396    enable_smallgmp=no
2397  fi
2398elif test "$enable_smallgmp" = yes; then
2399  if test ! -d smallgmp; then
2400    echo "$ac_t""no" 1>&6
2401    { echo "configure: error: Can not find smallgmp subdir" 1>&2; exit 1; }
2402  else
2403    echo "$ac_t""yes" 1>&6
2404    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
2405    if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
2406      ac_configure_args="$ac_configure_args --enable-gmp"
2407      enable_gmp=yes
2408    fi
2409  fi
2410else
2411  echo "$ac_t""${enable_smallgmp}" 1>&6
2412fi
2413
2414# Check whether we have at least one of smallgmp or gmp
2415if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
2416   test "$enable_smallgmp" != yes && test "$enable_gmp" != yes; then
2417  { echo "configure: error: can neither find nor built gmp or smallgmp" 1>&2; exit 1; }
2418fi
2419
2420# Check whether we need to cheat subsequent configures with --enable-gmp
2421if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
2422  ac_configure_args="$ac_configure_args --enable-gmp"
2423fi
2424
2425echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
2426echo "configure:2427: checking whether to configure and build MP lib" >&5
2427if test "$enable_MP" != yes && test "$enable_MP" != no; then
2428  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
2429     (test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes); then
2430    echo "$ac_t""yes" 1>&6
2431    enable_MP=yes
2432    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
2433    ac_configure_args="$ac_configure_args --enable-MP"
2434  else
2435    echo "$ac_t""no" 1>&6
2436    enable_MP=no
2437  fi
2438elif test "$enable_MP" = yes; then
2439  if test ! -d MP; then
2440    echo "$ac_t""no" 1>&6
2441    { echo "configure: error: can not build MP without MP directory" 1>&2; exit 1; }
2442  fi
2443  if test "$enable_gmp" = yes || test "$ac_gmp_ok" = yes; then
2444    echo "$ac_t""yes" 1>&6
2445    CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
2446  else
2447    echo "$ac_t""no" 1>&6
2448    { echo "configure: error: can not build MP without gmp" 1>&2; exit 1; }
2449  fi
2450else
2451  echo "$ac_t""no" 1>&6
2452fi
2453
2454# need MP code to be compiled with -fPIC, should not hurt anybody else
2455if test "$enable_MP" = yes && test "${with_extra_cflags+set}" != set; then
2456ac_configure_args="$ac_configure_args --with-extra_cflags=-fPIC"
2457fi
2458
2459
2460echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
2461echo "configure:2462: checking whether to configure and build factory lib" >&5
2462if test "$enable_factory" != yes && test "$enable_factory" != no; then
2463  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
2464     test -d factory; then
2465    enable_factory=yes
2466    echo "$ac_t""yes" 1>&6
2467    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
2468    ac_configure_args="$ac_configure_args --enable-factory"
2469  else
2470    enable_factory=no
2471    echo "$ac_t""no" 1>&6
2472  fi
2473elif test "$enable_factory" = yes; then
2474  if test -d factory; then
2475    echo "$ac_t""yes" 1>&6
2476    CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
2477  else
2478    echo "$ac_t""no" 1>&6
2479    { echo "configure: error: can not build factory without factory directory" 1>&2; exit 1; }
2480  fi
2481else
2482  echo "$ac_t""no" 1>&6
2483fi
2484
2485echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
2486echo "configure:2487: checking whether to configure and build libfac lib" >&5
2487if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
2488  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
2489     test -d libfac && \
2490     (test "$ac_factory_ok" = yes || test "$enable_factory" = yes); then
2491    enable_libfac=yes
2492    echo "$ac_t""yes" 1>&6
2493    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
2494    ac_configure_args="$ac_configure_args --enable-libfac"
2495  else
2496    enable_libfac=no
2497    echo "$ac_t""no" 1>&6
2498  fi
2499elif  test "$enable_libfac" = yes; then
2500  if test ! -d libfac; then
2501    echo "$ac_t""no" 1>&6
2502    { echo "configure: error: can not build libfac without libfac directory" 1>&2; exit 1; }
2503  fi
2504  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
2505    echo "$ac_t""yes" 1>&6
2506    CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
2507  else
2508    echo "$ac_t""no" 1>&6
2509    { echo "configure: error: Can not build libfac without factory" 1>&2; exit 1; }
2510  fi
2511else
2512  echo "$ac_t""no" 1>&6
2513fi
2514
2515echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
2516echo "configure:2517: checking whether to configure and build sgroup lib" >&5
2517if test "$enable_sgroup" = yes; then
2518  if test ! -d sgroup; then
2519    echo "$ac_t""no" 1>&6
2520    { echo "configure: error: can not build sgroup without sgroup directory" 1>&2; exit 1; }
2521  fi
2522  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
2523    echo "$ac_t""yes" 1>&6
2524    CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
2525  else
2526    echo "$ac_t""no" 1>&6
2527    { echo "configure: error: Can not build sgroup without MP" 1>&2; exit 1; }
2528  fi
2529else
2530  echo "$ac_t""no" 1>&6
2531fi
2532
2533BUILD_SUBDIRS="$CONFIG_SUBDIRS"
2534
2535echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
2536echo "configure:2537: checking whether to configure and build Singular" >&5
2537if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
2538  if test "$with_Singular" != no && test -d Singular; then
2539    enable_Singular=yes
2540    echo "$ac_t""yes" 1>&6
2541    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
2542    BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"     
2543    ac_configure_args="$ac_configure_args --enable-Singular"
2544  else
2545    enable_Singular=no
2546    echo "$ac_t""no" 1>&6
2547  fi
2548elif test "$enable_Singular" = yes; then
2549  if test -d Singular; then
2550    echo "$ac_t""yes" 1>&6
2551    CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
2552    BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"     
2553  else
2554    echo "$ac_t""no" 1>&6
2555    { echo "configure: error: can not build Singular without Singular directory" 1>&2; exit 1; }
2556  fi
2557else
2558  echo "$ac_t""no" 1>&6
2559fi
2560
2561
2562# test if IntegerProgramming should be built:
2563
2564echo $ac_n "checking whether to build IntegerProgramming""... $ac_c" 1>&6
2565echo "configure:2566: checking whether to build IntegerProgramming" >&5
2566if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
2567   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
2568   echo "$ac_t""yes" 1>&6
2569   if test "$enable_IntegerProgramming" != yes; then
2570     ac_configure_args="$ac_configure_args --enable-IntegerProgramming"
2571   fi
2572else
2573   echo "$ac_t""no" 1>&6
2574fi
2575
2576echo $ac_n "checking whether to build Plural""... $ac_c" 1>&6
2577echo "configure:2578: checking whether to build Plural" >&5
2578if test "$enable_Plural" != no && test -d "Plural"; then
2579   BUILD_SUBDIRS="$BUILD_SUBDIRS Plural"
2580   echo "$ac_t""yes" 1>&6
2581   if test "$enable_Plural" != yes; then
2582     ac_configure_args="$ac_configure_args --enable-Plural"
2583   fi
2584else
2585   echo "$ac_t""no" 1>&6
2586fi
2587
2588
2589echo $ac_n "checking whether to configure and build Texinfo""... $ac_c" 1>&6
2590echo "configure:2591: checking whether to configure and build Texinfo" >&5
2591if test "$enable_Texinfo" != no && test -d Texinfo; then
2592  echo "$ac_t""yes" 1>&6
2593  enable_texinfo=yes
2594  CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo"
2595  BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo"       
2596  TEXI2DVI=${bindir}/texi2dvi
2597  MAKEINFO="${bindir}/makeinfo"
2598  TEXINDEX=${bindir}/texindex
2599 
2600 
2601 
2602  if test "$enable_Texinfo" != yes; then
2603    ac_configure_args="$ac_configure_args --enable-Texinfo"
2604  fi
2605else
2606  echo "$ac_t""no" 1>&6
2607  echo "configure: warning: Building of doc might fail. Need Texinfo" 1>&2
2608  enable_texinfo=no
2609  # Extract the first word of "makeinfo", so it can be a program name with args.
2610set dummy makeinfo; ac_word=$2
2611echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2612echo "configure:2613: checking for $ac_word" >&5
2613if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
2614  echo $ac_n "(cached) $ac_c" 1>&6
2615else
2616  if test -n "$MAKEINFO"; then
2617  ac_cv_prog_MAKEINFO="$MAKEINFO" # Let the user override the test.
2618else
2619  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
2620  ac_dummy="$PATH"
2621  for ac_dir in $ac_dummy; do
2622    test -z "$ac_dir" && ac_dir=.
2623    if test -f $ac_dir/$ac_word; then
2624      ac_cv_prog_MAKEINFO="makeinfo"
2625      break
2626    fi
2627  done
2628  IFS="$ac_save_ifs"
2629  test -z "$ac_cv_prog_MAKEINFO" && ac_cv_prog_MAKEINFO="${pwd}/warn_not_found.sh makeinfo"
2630fi
2631fi
2632MAKEINFO="$ac_cv_prog_MAKEINFO"
2633if test -n "$MAKEINFO"; then
2634  echo "$ac_t""$MAKEINFO" 1>&6
2635else
2636  echo "$ac_t""no" 1>&6
2637fi
2638
2639  # Extract the first word of "texi2dvi", so it can be a program name with args.
2640set dummy texi2dvi; ac_word=$2
2641echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2642echo "configure:2643: checking for $ac_word" >&5
2643if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
2644  echo $ac_n "(cached) $ac_c" 1>&6
2645else
2646  if test -n "$TEXI2DVI"; then
2647  ac_cv_prog_TEXI2DVI="$TEXI2DVI" # Let the user override the test.
2648else
2649  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
2650  ac_dummy="$PATH"
2651  for ac_dir in $ac_dummy; do
2652    test -z "$ac_dir" && ac_dir=.
2653    if test -f $ac_dir/$ac_word; then
2654      ac_cv_prog_TEXI2DVI="texi2dvi"
2655      break
2656    fi
2657  done
2658  IFS="$ac_save_ifs"
2659  test -z "$ac_cv_prog_TEXI2DVI" && ac_cv_prog_TEXI2DVI="${pwd}/warn_not_found.sh texi2dvi"
2660fi
2661fi
2662TEXI2DVI="$ac_cv_prog_TEXI2DVI"
2663if test -n "$TEXI2DVI"; then
2664  echo "$ac_t""$TEXI2DVI" 1>&6
2665else
2666  echo "$ac_t""no" 1>&6
2667fi
2668
2669  # Extract the first word of "texindex", so it can be a program name with args.
2670set dummy texindex; ac_word=$2
2671echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2672echo "configure:2673: checking for $ac_word" >&5
2673if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
2674  echo $ac_n "(cached) $ac_c" 1>&6
2675else
2676  if test -n "$TEXINDEX"; then
2677  ac_cv_prog_TEXINDEX="$TEXINDEX" # Let the user override the test.
2678else
2679  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
2680  ac_dummy="$PATH"
2681  for ac_dir in $ac_dummy; do
2682    test -z "$ac_dir" && ac_dir=.
2683    if test -f $ac_dir/$ac_word; then
2684      ac_cv_prog_TEXINDEX="texindex"
2685      break
2686    fi
2687  done
2688  IFS="$ac_save_ifs"
2689  test -z "$ac_cv_prog_TEXINDEX" && ac_cv_prog_TEXINDEX="${pwd}/warn_not_found.sh texindex"
2690fi
2691fi
2692TEXINDEX="$ac_cv_prog_TEXINDEX"
2693if test -n "$TEXINDEX"; then
2694  echo "$ac_t""$TEXINDEX" 1>&6
2695else
2696  echo "$ac_t""no" 1>&6
2697fi
2698
2699fi 
2700
2701echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
2702echo "configure:2703: checking whether to configure and build Texi2html" >&5
2703if test "$enable_Texi2html" != no && test -d Texi2html; then
2704 echo "$ac_t""yes" 1>&6
2705 CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texi2html"
2706 BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html"
2707 if test "$enable_Texi2html" != yes; then
2708   ac_configure_args="$ac_configure_args --enable-Texi2html"
2709 fi
2710 TEXI2HTML=${bindir}/texi2html
2711 
2712else
2713 echo "$ac_t""no" 1>&6
2714 # Extract the first word of "texi2html", so it can be a program name with args.
2715set dummy texi2html; ac_word=$2
2716echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2717echo "configure:2718: checking for $ac_word" >&5
2718if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
2719  echo $ac_n "(cached) $ac_c" 1>&6
2720else
2721  if test -n "$TEXI2HTML"; then
2722  ac_cv_prog_TEXI2HTML="$TEXI2HTML" # Let the user override the test.
2723else
2724  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
2725  ac_dummy="$PATH"
2726  for ac_dir in $ac_dummy; do
2727    test -z "$ac_dir" && ac_dir=.
2728    if test -f $ac_dir/$ac_word; then
2729      ac_cv_prog_TEXI2HTML="texi2html"
2730      break
2731    fi
2732  done
2733  IFS="$ac_save_ifs"
2734fi
2735fi
2736TEXI2HTML="$ac_cv_prog_TEXI2HTML"
2737if test -n "$TEXI2HTML"; then
2738  echo "$ac_t""$TEXI2HTML" 1>&6
2739else
2740  echo "$ac_t""no" 1>&6
2741fi
2742
2743fi
2744
2745if test "${TEXI2HTML+set}" != set; then
2746echo "configure: warning: texi2html not found. HTML doc generation will fail" 1>&2
2747fi
2748if test "$ac_cv_prog_LATEX2HTML" = latex2html; then
2749  TEXI2HTML_OPTS="-l2h"
2750fi
2751
2752
2753
2754echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
2755echo "configure:2756: checking whether to build doc" >&5
2756if test "$enable_doc" != no && test -d doc; then
2757 echo "$ac_t""yes" 1>&6
2758 BUILD_SUBDIRS="$BUILD_SUBDIRS doc"
2759 if test "$enable_doc" != yes; then
2760   enable_doc=yes
2761   ac_configure_args="$ac_configure_args --enable-doc"
2762 fi
2763else
2764 enable_doc=no
2765 echo "$ac_t""no" 1>&6
2766fi
2767
2768echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
2769echo "configure:2770: checking whether to build emacs" >&5
2770if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
2771 echo "$ac_t""yes" 1>&6
2772 BUILD_SUBDIRS="$BUILD_SUBDIRS emacs"
2773 if test "$enable_emacs" != yes; then
2774   ac_configure_args="$ac_configure_args --enable-emacs"
2775 fi
2776else
2777 echo "$ac_t""no" 1>&6
2778fi
2779
2780echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
2781echo "configure:2782: checking which apint package to use" >&5
2782if test "$with_apint" = gmp; then
2783  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
2784    echo "$ac_t""gmp" 1>&6
2785  else
2786    echo "$ac_t""none" 1>&6
2787    { echo "configure: error: can not use with gmp without finding or building it" 1>&2; exit 1; }
2788  fi
2789elif test "$with_apint" = smallgmp; then
2790  if test "$ac_smallgmp_ok" = yes || test "$enable_smallgmp" = yes; then
2791    echo "$ac_t""smallgmp" 1>&6
2792  else
2793    echo "$ac_t""none" 1>&6
2794    { echo "configure: error: can not use with smallgmp without finding or building it" 1>&2; exit 1; }
2795  fi
2796elif test "$ac_gmp_ok" = yes || test "$enable_gmp"; then
2797    echo "$ac_t""gmp" 1>&6
2798    ac_configure_args="$ac_configure_args --with-apint=gmp"
2799else
2800   echo "$ac_t""smallgmp" 1>&6
2801   ac_configure_args="$ac_configure_args --with-apint=smallgmp"
2802fi
2803
2804echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
2805echo "configure:2806: checking whether to use with MP" >&5
2806if test "$with_MP" = yes; then
2807  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
2808    echo "$ac_t""yes" 1>&6
2809  else
2810    echo "$ac_t""none" 1>&6
2811    { echo "configure: error: can not use with MP without finding or building it" 1>&2; exit 1; }
2812  fi
2813elif test "$with_MP" = no; then
2814  echo "$ac_t""no" 1>&6
2815elif test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
2816  echo "$ac_t""yes" 1>&6
2817  ac_configure_args="$ac_configure_args --with-MP"
2818else
2819  echo "$ac_t""no" 1>&6
2820  ac_configure_args="$ac_configure_args --without-MP"
2821fi
2822
2823echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
2824echo "configure:2825: checking whether to use with factory" >&5
2825if test "$with_factory" = yes; then
2826  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
2827    echo "$ac_t""yes" 1>&6
2828  else
2829    echo "$ac_t""none" 1>&6
2830    { echo "configure: error: can not use with factory without finding or building it" 1>&2; exit 1; }
2831  fi
2832elif test "$with_factory" = no; then
2833  echo "$ac_t""no" 1>&6
2834elif test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
2835  echo "$ac_t""yes" 1>&6
2836  ac_configure_args="$ac_configure_args --with-factory"
2837else
2838  echo "$ac_t""no" 1>&6
2839  ac_configure_args="$ac_configure_args --without-factory"
2840fi
2841 
2842echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
2843echo "configure:2844: checking whether to use with libfac" >&5
2844if test "$with_libfac" = yes; then
2845  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
2846    echo "$ac_t""yes" 1>&6
2847  else
2848    echo "$ac_t""none" 1>&6
2849    { echo "configure: error: can not use with libfac without finding or building it" 1>&2; exit 1; }
2850  fi
2851elif test "$with_libfac" = no; then
2852  echo "$ac_t""no" 1>&6
2853elif test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
2854  echo "$ac_t""yes" 1>&6
2855  ac_configure_args="$ac_configure_args --with-libfac"
2856else
2857  echo "$ac_t""no" 1>&6
2858  ac_configure_args="$ac_configure_args --without-libfac"
2859fi
2860
2861
2862
2863echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
2864echo "configure:2865: checking whether to use with Singular" >&5
2865if test "$with_Singular" != no && test "$with_Singular" != yes; then
2866  if test "$enable_Singular" = yes; then
2867    with_Singular=yes
2868  else
2869    with_Singular=no
2870  fi
2871  ac_configure_args="$ac_configure_args --with-Singular=$with_Singular"
2872fi
2873
2874if test "$with_Singular" != no; then
2875  echo "$ac_t""yes" 1>&6
2876else
2877  echo "$ac_t""no" 1>&6
2878fi
2879
2880
2881SUBDIRS=""
2882if test -d omalloc; then
2883  SUBDIRS="$SUBDIRS omalloc"
2884fi
2885if test -d smallgmp; then
2886  SUBDIRS="$SUBDIRS smallgmp"
2887fi
2888if test -d gmp; then
2889  SUBDIRS="$SUBDIRS gmp"
2890fi
2891if test -d MP; then
2892  SUBDIRS="$SUBDIRS MP"
2893fi
2894if test -d factory; then
2895  SUBDIRS="$SUBDIRS factory"
2896fi
2897if test -d libfac; then
2898  SUBDIRS="$SUBDIRS libfac"
2899fi
2900if test -d sgroup; then
2901  SUBDIRS="$SUBDIRS sgroup"
2902fi
2903if test -d Singular; then
2904  SUBDIRS="$SUBDIRS Singular"
2905fi
2906if test -d Texinfo; then
2907  SUBDIRS="$SUBDIRS Texinfo"
2908fi
2909if test -d Texi2html; then
2910  SUBDIRS="$SUBDIRS Texi2html"
2911fi
2912if test -d doc; then
2913  SUBDIRS="$SUBDIRS doc"
2914fi
2915if test -d emacs; then
2916  SUBDIRS="$SUBDIRS emacs"
2917fi
2918if test -d rpm; then
2919  SUBDIRS="$SUBDIRS rpm"
2920fi
2921 
2922echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
2923echo "configure:2924: checking whether ${MAKE-make} sets \${MAKE}" >&5
2924set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
2925if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
2926  echo $ac_n "(cached) $ac_c" 1>&6
2927else
2928  cat > conftestmake <<\EOF
2929all:
2930        @echo 'ac_maketemp="${MAKE}"'
2931EOF
2932# GNU make sometimes prints "make[1]: Entering...", which would confuse us.
2933eval `${MAKE-make} -f conftestmake 2>/dev/null | grep temp=`
2934if test -n "$ac_maketemp"; then
2935  eval ac_cv_prog_make_${ac_make}_set=yes
2936else
2937  eval ac_cv_prog_make_${ac_make}_set=no
2938fi
2939rm -f conftestmake
2940fi
2941if eval "test \"`echo '$ac_cv_prog_make_'${ac_make}_set`\" = yes"; then
2942  echo "$ac_t""yes" 1>&6
2943  SET_MAKE=
2944else
2945  echo "$ac_t""no" 1>&6
2946  SET_MAKE="MAKE=${MAKE-make}"
2947fi
2948
2949
2950
2951
2952subdirs="$CONFIG_SUBDIRS"
2953 
2954
2955trap '' 1 2 15
2956cat > confcache <<\EOF
2957# This file is a shell script that caches the results of configure
2958# tests run on this system so they can be shared between configure
2959# scripts and configure runs.  It is not useful on other systems.
2960# If it contains results you don't want to keep, you may remove or edit it.
2961#
2962# By default, configure uses ./config.cache as the cache file,
2963# creating it if it does not exist already.  You can give configure
2964# the --cache-file=FILE option to use a different cache file; that is
2965# what configure does when it calls configure scripts in
2966# subdirectories, so they share the cache.
2967# Giving --cache-file=/dev/null disables caching, for debugging configure.
2968# config.status only pays attention to the cache file if you give it the
2969# --recheck option to rerun configure.
2970#
2971EOF
2972# The following way of writing the cache mishandles newlines in values,
2973# but we know of no workaround that is simple, portable, and efficient.
2974# So, don't put newlines in cache variables' values.
2975# Ultrix sh set writes to stderr and can't be redirected directly,
2976# and sets the high bit in the cache file unless we assign to the vars.
2977(set) 2>&1 |
2978  case `(ac_space=' '; set | grep ac_space) 2>&1` in
2979  *ac_space=\ *)
2980    # `set' does not quote correctly, so add quotes (double-quote substitution
2981    # turns \\\\ into \\, and sed turns \\ into \).
2982    sed -n \
2983      -e "s/'/'\\\\''/g" \
2984      -e "s/^\\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\\)=\\(.*\\)/\\1=\${\\1='\\2'}/p"
2985    ;;
2986  *)
2987    # `set' quotes correctly as required by POSIX, so do not add quotes.
2988    sed -n -e 's/^\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\)=\(.*\)/\1=${\1=\2}/p'
2989    ;;
2990  esac >> confcache
2991if cmp -s $cache_file confcache; then
2992  :
2993else
2994  if test -w $cache_file; then
2995    echo "updating cache $cache_file"
2996    cat confcache > $cache_file
2997  else
2998    echo "not updating unwritable cache $cache_file"
2999  fi
3000fi
3001rm -f confcache
3002
3003trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
3004
3005test "x$prefix" = xNONE && prefix=$ac_default_prefix
3006# Let make expand exec_prefix.
3007test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
3008
3009# Any assignment to VPATH causes Sun make to only execute
3010# the first set of double-colon rules, so remove it if not needed.
3011# If there is a colon in the path, we need to keep it.
3012if test "x$srcdir" = x.; then
3013  ac_vpsub='/^[         ]*VPATH[        ]*=[^:]*$/d'
3014fi
3015
3016trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
3017
3018# Transform confdefs.h into DEFS.
3019# Protect against shell expansion while executing Makefile rules.
3020# Protect against Makefile macro expansion.
3021cat > conftest.defs <<\EOF
3022s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
3023s%[     `~#$^&*(){}\\|;'"<>?]%\\&%g
3024s%\[%\\&%g
3025s%\]%\\&%g
3026s%\$%$$%g
3027EOF
3028DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
3029rm -f conftest.defs
3030
3031
3032# Without the "./", some shells look in PATH for config.status.
3033: ${CONFIG_STATUS=./config.status}
3034
3035echo creating $CONFIG_STATUS
3036rm -f $CONFIG_STATUS
3037cat > $CONFIG_STATUS <<EOF
3038#! /bin/sh
3039# Generated automatically by configure.
3040# Run this file to recreate the current configuration.
3041# This directory was configured as follows,
3042# on host `(hostname || uname -n) 2>/dev/null | sed 1q`:
3043#
3044# $0 $ac_configure_args
3045#
3046# Compiler output produced by configure, useful for debugging
3047# configure, is in ./config.log if it exists.
3048
3049ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
3050for ac_option
3051do
3052  case "\$ac_option" in
3053  -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
3054    echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
3055    exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
3056  -version | --version | --versio | --versi | --vers | --ver | --ve | --v)
3057    echo "$CONFIG_STATUS generated by autoconf version 2.13"
3058    exit 0 ;;
3059  -help | --help | --hel | --he | --h)
3060    echo "\$ac_cs_usage"; exit 0 ;;
3061  *) echo "\$ac_cs_usage"; exit 1 ;;
3062  esac
3063done
3064
3065ac_given_srcdir=$srcdir
3066ac_given_INSTALL="$INSTALL"
3067
3068trap 'rm -fr `echo "${OUTPUT_MAKEFILES}" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
3069EOF
3070cat >> $CONFIG_STATUS <<EOF
3071
3072# Protect against being on the right side of a sed subst in config.status.
3073sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
3074 s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
3075$ac_vpsub
3076$extrasub
3077s%@SHELL@%$SHELL%g
3078s%@CFLAGS@%$CFLAGS%g
3079s%@CPPFLAGS@%$CPPFLAGS%g
3080s%@CXXFLAGS@%$CXXFLAGS%g
3081s%@FFLAGS@%$FFLAGS%g
3082s%@DEFS@%$DEFS%g
3083s%@LDFLAGS@%$LDFLAGS%g
3084s%@LIBS@%$LIBS%g
3085s%@exec_prefix@%$exec_prefix%g
3086s%@prefix@%$prefix%g
3087s%@program_transform_name@%$program_transform_name%g
3088s%@bindir@%$bindir%g
3089s%@sbindir@%$sbindir%g
3090s%@libexecdir@%$libexecdir%g
3091s%@datadir@%$datadir%g
3092s%@sysconfdir@%$sysconfdir%g
3093s%@sharedstatedir@%$sharedstatedir%g
3094s%@localstatedir@%$localstatedir%g
3095s%@libdir@%$libdir%g
3096s%@includedir@%$includedir%g
3097s%@oldincludedir@%$oldincludedir%g
3098s%@infodir@%$infodir%g
3099s%@mandir@%$mandir%g
3100s%@SINGULAR_VERSION@%$SINGULAR_VERSION%g
3101s%@VERSION_DATE@%$VERSION_DATE%g
3102s%@SINGULAR_SHORT_VERSION@%$SINGULAR_SHORT_VERSION%g
3103s%@SINGULAR_ROOT_DIR@%$SINGULAR_ROOT_DIR%g
3104s%@SINGUNAME@%$SINGUNAME%g
3105s%@SING_UNAME@%$SING_UNAME%g
3106s%@CC@%$CC%g
3107s%@CPP@%$CPP%g
3108s%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%g
3109s%@INSTALL_SCRIPT@%$INSTALL_SCRIPT%g
3110s%@INSTALL_DATA@%$INSTALL_DATA%g
3111s%@CXX@%$CXX%g
3112s%@PIPE@%$PIPE%g
3113s%@PERL@%$PERL%g
3114s%@UUDECODE@%$UUDECODE%g
3115s%@GUNZIP@%$GUNZIP%g
3116s%@MYGZIP@%$MYGZIP%g
3117s%@LATEX2HTML@%$LATEX2HTML%g
3118s%@LN_S@%$LN_S%g
3119s%@MKINSTALLDIRS@%$MKINSTALLDIRS%g
3120s%@SINGULAR@%$SINGULAR%g
3121s%@TMP_DIR@%$TMP_DIR%g
3122s%@TEXI2DVI@%$TEXI2DVI%g
3123s%@MAKEINFO@%$MAKEINFO%g
3124s%@TEXINDEX@%$TEXINDEX%g
3125s%@TEXI2HTML@%$TEXI2HTML%g
3126s%@TEXI2HTML_OPTS@%$TEXI2HTML_OPTS%g
3127s%@SET_MAKE@%$SET_MAKE%g
3128s%@SUBDIRS@%$SUBDIRS%g
3129s%@BUILD_SUBDIRS@%$BUILD_SUBDIRS%g
3130s%@CONFIG_SUBDIRS@%$CONFIG_SUBDIRS%g
3131s%@subdirs@%$subdirs%g
3132
3133CEOF
3134EOF
3135
3136cat >> $CONFIG_STATUS <<\EOF
3137
3138# Split the substitutions into bite-sized pieces for seds with
3139# small command number limits, like on Digital OSF/1 and HP-UX.
3140ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
3141ac_file=1 # Number of current file.
3142ac_beg=1 # First line for current file.
3143ac_end=$ac_max_sed_cmds # Line after last line for current file.
3144ac_more_lines=:
3145ac_sed_cmds=""
3146while $ac_more_lines; do
3147  if test $ac_beg -gt 1; then
3148    sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
3149  else
3150    sed "${ac_end}q" conftest.subs > conftest.s$ac_file
3151  fi
3152  if test ! -s conftest.s$ac_file; then
3153    ac_more_lines=false
3154    rm -f conftest.s$ac_file
3155  else
3156    if test -z "$ac_sed_cmds"; then
3157      ac_sed_cmds="sed -f conftest.s$ac_file"
3158    else
3159      ac_sed_cmds="$ac_sed_cmds | sed -f conftest.s$ac_file"
3160    fi
3161    ac_file=`expr $ac_file + 1`
3162    ac_beg=$ac_end
3163    ac_end=`expr $ac_end + $ac_max_sed_cmds`
3164  fi
3165done
3166if test -z "$ac_sed_cmds"; then
3167  ac_sed_cmds=cat
3168fi
3169EOF
3170
3171cat >> $CONFIG_STATUS <<EOF
3172
3173CONFIG_FILES=\${CONFIG_FILES-"${OUTPUT_MAKEFILES}"}
3174EOF
3175cat >> $CONFIG_STATUS <<\EOF
3176for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
3177  # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
3178  case "$ac_file" in
3179  *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'`
3180       ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;;
3181  *) ac_file_in="${ac_file}.in" ;;
3182  esac
3183
3184  # Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
3185
3186  # Remove last slash and all that follows it.  Not all systems have dirname.
3187  ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'`
3188  if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
3189    # The file is in a subdirectory.
3190    test ! -d "$ac_dir" && mkdir "$ac_dir"
3191    ac_dir_suffix="/`echo $ac_dir|sed 's%^\./%%'`"
3192    # A "../" for each directory in $ac_dir_suffix.
3193    ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'`
3194  else
3195    ac_dir_suffix= ac_dots=
3196  fi
3197
3198  case "$ac_given_srcdir" in
3199  .)  srcdir=.
3200      if test -z "$ac_dots"; then top_srcdir=.
3201      else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;;
3202  /*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
3203  *) # Relative path.
3204    srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
3205    top_srcdir="$ac_dots$ac_given_srcdir" ;;
3206  esac
3207
3208  case "$ac_given_INSTALL" in
3209  [/$]*) INSTALL="$ac_given_INSTALL" ;;
3210  *) INSTALL="$ac_dots$ac_given_INSTALL" ;;
3211  esac
3212
3213  echo creating "$ac_file"
3214  rm -f "$ac_file"
3215  configure_input="Generated automatically from `echo $ac_file_in|sed 's%.*/%%'` by configure."
3216  case "$ac_file" in
3217  *Makefile*) ac_comsub="1i\\
3218# $configure_input" ;;
3219  *) ac_comsub= ;;
3220  esac
3221
3222  ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
3223  sed -e "$ac_comsub
3224s%@configure_input@%$configure_input%g
3225s%@srcdir@%$srcdir%g
3226s%@top_srcdir@%$top_srcdir%g
3227s%@INSTALL@%$INSTALL%g
3228" $ac_file_inputs | (eval "$ac_sed_cmds") > $ac_file
3229fi; done
3230rm -f conftest.s*
3231
3232EOF
3233cat >> $CONFIG_STATUS <<EOF
3234
3235EOF
3236cat >> $CONFIG_STATUS <<\EOF
3237
3238exit 0
3239EOF
3240chmod +x $CONFIG_STATUS
3241rm -fr confdefs* $ac_clean_files
3242test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
3243
3244if test "$no_recursion" != yes; then
3245
3246  # Remove --cache-file and --srcdir arguments so they do not pile up.
3247  ac_sub_configure_args=
3248  ac_prev=
3249  for ac_arg in $ac_configure_args; do
3250    if test -n "$ac_prev"; then
3251      ac_prev=
3252      continue
3253    fi
3254    case "$ac_arg" in
3255    -cache-file | --cache-file | --cache-fil | --cache-fi \
3256    | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
3257      ac_prev=cache_file ;;
3258    -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
3259    | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
3260      ;;
3261    -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
3262      ac_prev=srcdir ;;
3263    -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
3264      ;;
3265    *) ac_sub_configure_args="$ac_sub_configure_args $ac_arg" ;;
3266    esac
3267  done
3268
3269  for ac_config_dir in $CONFIG_SUBDIRS; do
3270
3271    # Do not complain, so a configure script can configure whichever
3272    # parts of a large source tree are present.
3273    if test ! -d $srcdir/$ac_config_dir; then
3274      continue
3275    fi
3276
3277    echo configuring in $ac_config_dir
3278
3279    case "$srcdir" in
3280    .) ;;
3281    *)
3282      if test -d ./$ac_config_dir || mkdir ./$ac_config_dir; then :;
3283      else
3284        { echo "configure: error: can not create `pwd`/$ac_config_dir" 1>&2; exit 1; }
3285      fi
3286      ;;
3287    esac
3288
3289    ac_popdir=`pwd`
3290    cd $ac_config_dir
3291
3292      # A "../" for each directory in /$ac_config_dir.
3293      ac_dots=`echo $ac_config_dir|sed -e 's%^\./%%' -e 's%[^/]$%&/%' -e 's%[^/]*/%../%g'`
3294
3295    case "$srcdir" in
3296    .) # No --srcdir option.  We are building in place.
3297      ac_sub_srcdir=$srcdir ;;
3298    /*) # Absolute path.
3299      ac_sub_srcdir=$srcdir/$ac_config_dir ;;
3300    *) # Relative path.
3301      ac_sub_srcdir=$ac_dots$srcdir/$ac_config_dir ;;
3302    esac
3303
3304    # Check for guested configure; otherwise get Cygnus style configure.
3305    if test -f $ac_sub_srcdir/configure; then
3306      ac_sub_configure=$ac_sub_srcdir/configure
3307    elif test -f $ac_sub_srcdir/configure.in; then
3308      ac_sub_configure=$ac_configure
3309    else
3310      echo "configure: warning: no configuration information is in $ac_config_dir" 1>&2
3311      ac_sub_configure=
3312    fi
3313
3314    # The recursion is here.
3315    if test -n "$ac_sub_configure"; then
3316
3317      # Make the cache file name correct relative to the subdirectory.
3318      case "$cache_file" in
3319      /*) ac_sub_cache_file=$cache_file ;;
3320      *) # Relative path.
3321        ac_sub_cache_file="$ac_dots$cache_file" ;;
3322      esac
3323  case "$ac_given_INSTALL" in
3324        [/$]*) INSTALL="$ac_given_INSTALL" ;;
3325        *) INSTALL="$ac_dots$ac_given_INSTALL" ;;
3326        esac
3327
3328      echo "running ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir"
3329      # The eval makes quoting arguments work.
3330      if eval ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir
3331      then :
3332      else
3333        { echo "configure: error: $ac_sub_configure failed for $ac_config_dir" 1>&2; exit 1; }
3334      fi
3335    fi
3336
3337    cd $ac_popdir
3338  done
3339fi
3340
Note: See TracBrowser for help on using the repository browser.