Context Navigation

source: git/configure @ 181d6e

spielwiese

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

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format