source: git/configure @ 0fc536

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