source: git/configure @ 354f3b

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