Context Navigation

source: git/configure @ 03f074

spielwiese

Last change on this file since 03f074 was 03f074, checked in by Olaf Bachmann <obachman@…>, 24 years ago
bug fix git-svn-id: file:///usr/local/Singular/svn/trunk@4453 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100755`
File size: 94.9 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	pwd=`pwd`
594
595	# make them to env variables
596	# pass them indirectly to subsequent configures
597	SINGULAR_MAJOR_VERSION=1
598	SINGULAR_MINOR_VERSION=3
599	SINGULAR_SUB_VERSION=8
600	VERSION_SEP="-"
601	SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
602	SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
603	VERSION_DATE="May 2000"
604	SINGULAR_ROOT_DIR=$pwd
605
606	export SINGULAR_MINOR_VERSION
607	export SINGULAR_MAJOR_VERSION
608	export SINGULAR_SUB_VERSION
609	export SINGULAR_VERSION
610	export VERSION_DATE
611	export SINGULAR_ROOT_DIR
612
613
614
615
616
617
618
619	# determine Makefiles to output
620	OUTPUT_MAKEFILES="Makefile"
621	if test -d "doc"; then
622	OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES doc/Makefile doc/version.texi doc/uname.texi"
623	fi
624	if test -d "rpm"; then
625	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/Makefile"
626	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/rpmrc rpm/Singular.spec"
627	fi
628	if test -d "modules"; then
629	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/Makefile"
630	fi
631	if test -d "modules/tools"; then
632	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/tools/Makefile"
633	fi
634	if test -d "modules/modgen"; then
635	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/modgen/Makefile"
636	fi
637	if test -d "emacs"; then
638	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" emacs/Makefile"
639	fi
640	if test -d "IntegerProgramming"; then
641	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" IntegerProgramming/Makefile"
642	fi
643	if test -d "InstallShield"; then
644	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" InstallShield/Makefile InstallShield/Etc/Makefile InstallShield/Cygwin/Makefile InstallShield/Singular/Makefile InstallShield/Xemacs/Makefile"
645	fi
646
647
648	echo $ac_n "checking uname for singular""... $ac_c" 1>&6
649	echo "configure:650: checking uname for singular" >&5
650	if eval "test \"`echo '$''{'ac_cv_singuname'+set}'`\" = set"; then
651	echo $ac_n "(cached) $ac_c" 1>&6
652	else
653	ac_cv_singuname="unknown"
654	if test -r "singuname.sh"; then
655	if (/bin/sh singuname.sh >/dev/null 2>&1) then
656	ac_cv_singuname=`/bin/sh singuname.sh`
657	fi
658	fi
659
660	fi
661
662	echo "$ac_t""$ac_cv_singuname" 1>&6
663	if test "$ac_cv_singuname" = unknown; then
664	{ echo "configure: error: Unknown architecture: Check singuname.sh" 1>&2; exit 1; }
665	else
666	SINGUNAME=$ac_cv_singuname
667
668	fi
669
670	SING_UNAME=`echo $SINGUNAME \| tr '-' '_' `
671
672
673
674	# Extract the first word of "gcc", so it can be a program name with args.
675	set dummy gcc; ac_word=$2
676	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
677	echo "configure:678: checking for $ac_word" >&5
678	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
679	echo $ac_n "(cached) $ac_c" 1>&6
680	else
681	if test -n "$CC"; then
682	ac_cv_prog_CC="$CC" # Let the user override the test.
683	else
684	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
685	ac_dummy="$PATH"
686	for ac_dir in $ac_dummy; do
687	test -z "$ac_dir" && ac_dir=.
688	if test -f $ac_dir/$ac_word; then
689	ac_cv_prog_CC="gcc"
690	break
691	fi
692	done
693	IFS="$ac_save_ifs"
694	fi
695	fi
696	CC="$ac_cv_prog_CC"
697	if test -n "$CC"; then
698	echo "$ac_t""$CC" 1>&6
699	else
700	echo "$ac_t""no" 1>&6
701	fi
702
703	if test -z "$CC"; then
704	# Extract the first word of "cc", so it can be a program name with args.
705	set dummy cc; ac_word=$2
706	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
707	echo "configure:708: checking for $ac_word" >&5
708	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
709	echo $ac_n "(cached) $ac_c" 1>&6
710	else
711	if test -n "$CC"; then
712	ac_cv_prog_CC="$CC" # Let the user override the test.
713	else
714	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
715	ac_prog_rejected=no
716	ac_dummy="$PATH"
717	for ac_dir in $ac_dummy; do
718	test -z "$ac_dir" && ac_dir=.
719	if test -f $ac_dir/$ac_word; then
720	if test "$ac_dir/$ac_word" = "/usr/ucb/cc"; then
721	ac_prog_rejected=yes
722	continue
723	fi
724	ac_cv_prog_CC="cc"
725	break
726	fi
727	done
728	IFS="$ac_save_ifs"
729	if test $ac_prog_rejected = yes; then
730	# We found a bogon in the path, so make sure we never use it.
731	set dummy $ac_cv_prog_CC
732	shift
733	if test $# -gt 0; then
734	# We chose a different compiler from the bogus one.
735	# However, it has the same basename, so the bogon will be chosen
736	# first if we set CC to just the basename; use the full file name.
737	shift
738	set dummy "$ac_dir/$ac_word" "$@"
739	shift
740	ac_cv_prog_CC="$@"
741	fi
742	fi
743	fi
744	fi
745	CC="$ac_cv_prog_CC"
746	if test -n "$CC"; then
747	echo "$ac_t""$CC" 1>&6
748	else
749	echo "$ac_t""no" 1>&6
750	fi
751
752	if test -z "$CC"; then
753	case "`uname -s`" in
754	win32 \| WIN32)
755	# Extract the first word of "cl", so it can be a program name with args.
756	set dummy cl; ac_word=$2
757	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
758	echo "configure:759: checking for $ac_word" >&5
759	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
760	echo $ac_n "(cached) $ac_c" 1>&6
761	else
762	if test -n "$CC"; then
763	ac_cv_prog_CC="$CC" # Let the user override the test.
764	else
765	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
766	ac_dummy="$PATH"
767	for ac_dir in $ac_dummy; do
768	test -z "$ac_dir" && ac_dir=.
769	if test -f $ac_dir/$ac_word; then
770	ac_cv_prog_CC="cl"
771	break
772	fi
773	done
774	IFS="$ac_save_ifs"
775	fi
776	fi
777	CC="$ac_cv_prog_CC"
778	if test -n "$CC"; then
779	echo "$ac_t""$CC" 1>&6
780	else
781	echo "$ac_t""no" 1>&6
782	fi
783	;;
784	esac
785	fi
786	test -z "$CC" && { echo "configure: error: no acceptable cc found in \$PATH" 1>&2; exit 1; }
787	fi
788
789	echo $ac_n "checking whether the C compiler ($CC $CFLAGS $LDFLAGS) works""... $ac_c" 1>&6
790	echo "configure:791: checking whether the C compiler ($CC $CFLAGS $LDFLAGS) works" >&5
791
792	ac_ext=c
793	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
794	ac_cpp='$CPP $CPPFLAGS'
795	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
796	ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
797	cross_compiling=$ac_cv_prog_cc_cross
798
799	cat > conftest.$ac_ext << EOF
800
801	#line 802 "configure"
802	#include "confdefs.h"
803
804	main(){return(0);}
805	EOF
806	if { (eval echo configure:807: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
807	ac_cv_prog_cc_works=yes
808	# If we can't run a trivial program, we are probably using a cross compiler.
809	if (./conftest; exit) 2>/dev/null; then
810	ac_cv_prog_cc_cross=no
811	else
812	ac_cv_prog_cc_cross=yes
813	fi
814	else
815	echo "configure: failed program was:" >&5
816	cat conftest.$ac_ext >&5
817	ac_cv_prog_cc_works=no
818	fi
819	rm -fr conftest*
820	ac_ext=c
821	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
822	ac_cpp='$CPP $CPPFLAGS'
823	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
824	ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
825	cross_compiling=$ac_cv_prog_cc_cross
826
827	echo "$ac_t""$ac_cv_prog_cc_works" 1>&6
828	if test $ac_cv_prog_cc_works = no; then
829	{ echo "configure: error: installation or configuration problem: C compiler cannot create executables." 1>&2; exit 1; }
830	fi
831	echo $ac_n "checking whether the C compiler ($CC $CFLAGS $LDFLAGS) is a cross-compiler""... $ac_c" 1>&6
832	echo "configure:833: checking whether the C compiler ($CC $CFLAGS $LDFLAGS) is a cross-compiler" >&5
833	echo "$ac_t""$ac_cv_prog_cc_cross" 1>&6
834	cross_compiling=$ac_cv_prog_cc_cross
835
836	echo $ac_n "checking whether we are using GNU C""... $ac_c" 1>&6
837	echo "configure:838: checking whether we are using GNU C" >&5
838	if eval "test \"`echo '$''{'ac_cv_prog_gcc'+set}'`\" = set"; then
839	echo $ac_n "(cached) $ac_c" 1>&6
840	else
841	cat > conftest.c <<EOF
842	#ifdef __GNUC__
843	yes;
844	#endif
845	EOF
846	if { ac_try='${CC-cc} -E conftest.c'; { (eval echo configure:847: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } \| egrep yes >/dev/null 2>&1; then
847	ac_cv_prog_gcc=yes
848	else
849	ac_cv_prog_gcc=no
850	fi
851	fi
852
853	echo "$ac_t""$ac_cv_prog_gcc" 1>&6
854
855	if test $ac_cv_prog_gcc = yes; then
856	GCC=yes
857	else
858	GCC=
859	fi
860
861	ac_test_CFLAGS="${CFLAGS+set}"
862	ac_save_CFLAGS="$CFLAGS"
863	CFLAGS=
864	echo $ac_n "checking whether ${CC-cc} accepts -g""... $ac_c" 1>&6
865	echo "configure:866: checking whether ${CC-cc} accepts -g" >&5
866	if eval "test \"`echo '$''{'ac_cv_prog_cc_g'+set}'`\" = set"; then
867	echo $ac_n "(cached) $ac_c" 1>&6
868	else
869	echo 'void f(){}' > conftest.c
870	if test -z "`${CC-cc} -g -c conftest.c 2>&1`"; then
871	ac_cv_prog_cc_g=yes
872	else
873	ac_cv_prog_cc_g=no
874	fi
875	rm -f conftest*
876
877	fi
878
879	echo "$ac_t""$ac_cv_prog_cc_g" 1>&6
880	if test "$ac_test_CFLAGS" = set; then
881	CFLAGS="$ac_save_CFLAGS"
882	elif test $ac_cv_prog_cc_g = yes; then
883	if test "$GCC" = yes; then
884	CFLAGS="-g -O2"
885	else
886	CFLAGS="-g"
887	fi
888	else
889	if test "$GCC" = yes; then
890	CFLAGS="-O2"
891	else
892	CFLAGS=
893	fi
894	fi
895
896	echo $ac_n "checking how to run the C preprocessor""... $ac_c" 1>&6
897	echo "configure:898: checking how to run the C preprocessor" >&5
898	# On Suns, sometimes $CPP names a directory.
899	if test -n "$CPP" && test -d "$CPP"; then
900	CPP=
901	fi
902	if test -z "$CPP"; then
903	if eval "test \"`echo '$''{'ac_cv_prog_CPP'+set}'`\" = set"; then
904	echo $ac_n "(cached) $ac_c" 1>&6
905	else
906	# This must be in double quotes, not single quotes, because CPP may get
907	# substituted into the Makefile and "${CC-cc}" will confuse make.
908	CPP="${CC-cc} -E"
909	# On the NeXT, cc -E runs the code through the compiler's parser,
910	# not just through cpp.
911	cat > conftest.$ac_ext <<EOF
912	#line 913 "configure"
913	#include "confdefs.h"
914	#include <assert.h>
915	Syntax Error
916	EOF
917	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
918	{ (eval echo configure:919: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
919	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
920	if test -z "$ac_err"; then
921	:
922	else
923	echo "$ac_err" >&5
924	echo "configure: failed program was:" >&5
925	cat conftest.$ac_ext >&5
926	rm -rf conftest*
927	CPP="${CC-cc} -E -traditional-cpp"
928	cat > conftest.$ac_ext <<EOF
929	#line 930 "configure"
930	#include "confdefs.h"
931	#include <assert.h>
932	Syntax Error
933	EOF
934	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
935	{ (eval echo configure:936: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
936	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
937	if test -z "$ac_err"; then
938	:
939	else
940	echo "$ac_err" >&5
941	echo "configure: failed program was:" >&5
942	cat conftest.$ac_ext >&5
943	rm -rf conftest*
944	CPP="${CC-cc} -nologo -E"
945	cat > conftest.$ac_ext <<EOF
946	#line 947 "configure"
947	#include "confdefs.h"
948	#include <assert.h>
949	Syntax Error
950	EOF
951	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
952	{ (eval echo configure:953: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
953	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
954	if test -z "$ac_err"; then
955	:
956	else
957	echo "$ac_err" >&5
958	echo "configure: failed program was:" >&5
959	cat conftest.$ac_ext >&5
960	rm -rf conftest*
961	CPP=/lib/cpp
962	fi
963	rm -f conftest*
964	fi
965	rm -f conftest*
966	fi
967	rm -f conftest*
968	ac_cv_prog_CPP="$CPP"
969	fi
970	CPP="$ac_cv_prog_CPP"
971	else
972	ac_cv_prog_CPP="$CPP"
973	fi
974	echo "$ac_t""$CPP" 1>&6
975
976	ac_aux_dir=
977	for ac_dir in $srcdir $srcdir/.. $srcdir/../..; do
978	if test -f $ac_dir/install-sh; then
979	ac_aux_dir=$ac_dir
980	ac_install_sh="$ac_aux_dir/install-sh -c"
981	break
982	elif test -f $ac_dir/install.sh; then
983	ac_aux_dir=$ac_dir
984	ac_install_sh="$ac_aux_dir/install.sh -c"
985	break
986	fi
987	done
988	if test -z "$ac_aux_dir"; then
989	{ echo "configure: error: can not find install-sh or install.sh in $srcdir $srcdir/.. $srcdir/../.." 1>&2; exit 1; }
990	fi
991	ac_config_guess=$ac_aux_dir/config.guess
992	ac_config_sub=$ac_aux_dir/config.sub
993	ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
994
995	# Find a good install program. We prefer a C program (faster),
996	# so one script is as good as another. But avoid the broken or
997	# incompatible versions:
998	# SysV /etc/install, /usr/sbin/install
999	# SunOS /usr/etc/install
1000	# IRIX /sbin/install
1001	# AIX /bin/install
1002	# AIX 4 /usr/bin/installbsd, which doesn't work without a -g flag
1003	# AFS /usr/afsws/bin/install, which mishandles nonexistent args
1004	# SVR4 /usr/ucb/install, which tries to use the nonexistent group "staff"
1005	# ./install, which can be erroneously created by make from ./install.sh.
1006	echo $ac_n "checking for a BSD compatible install""... $ac_c" 1>&6
1007	echo "configure:1008: checking for a BSD compatible install" >&5
1008	if test -z "$INSTALL"; then
1009	if eval "test \"`echo '$''{'ac_cv_path_install'+set}'`\" = set"; then
1010	echo $ac_n "(cached) $ac_c" 1>&6
1011	else
1012	IFS="${IFS= }"; ac_save_IFS="$IFS"; IFS=":"
1013	for ac_dir in $PATH; do
1014	# Account for people who put trailing slashes in PATH elements.
1015	case "$ac_dir/" in
1016	/\|./\|.//\|/etc/\|/usr/sbin/\|/usr/etc/\|/sbin/\|/usr/afsws/bin/\|/usr/ucb/) ;;
1017	*)
1018	# OSF1 and SCO ODT 3.0 have their own names for install.
1019	# Don't use installbsd from OSF since it installs stuff as root
1020	# by default.
1021	for ac_prog in ginstall scoinst install; do
1022	if test -f $ac_dir/$ac_prog; then
1023	if test $ac_prog = install &&
1024	grep dspmsg $ac_dir/$ac_prog >/dev/null 2>&1; then
1025	# AIX install. It has an incompatible calling convention.
1026	:
1027	else
1028	ac_cv_path_install="$ac_dir/$ac_prog -c"
1029	break 2
1030	fi
1031	fi
1032	done
1033	;;
1034	esac
1035	done
1036	IFS="$ac_save_IFS"
1037
1038	fi
1039	if test "${ac_cv_path_install+set}" = set; then
1040	INSTALL="$ac_cv_path_install"
1041	else
1042	# As a last resort, use the slow shell script. We don't cache a
1043	# path for INSTALL within a source directory, because that will
1044	# break other packages using the cache if that directory is
1045	# removed, or if the path is relative.
1046	INSTALL="$ac_install_sh"
1047	fi
1048	fi
1049	echo "$ac_t""$INSTALL" 1>&6
1050
1051	# Use test -z because SunOS4 sh mishandles braces in ${var-val}.
1052	# It thinks the first close brace ends the variable substitution.
1053	test -z "$INSTALL_PROGRAM" && INSTALL_PROGRAM='${INSTALL}'
1054
1055	test -z "$INSTALL_SCRIPT" && INSTALL_SCRIPT='${INSTALL_PROGRAM}'
1056
1057	test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
1058
1059	echo $ac_n "checking for AIX""... $ac_c" 1>&6
1060	echo "configure:1061: checking for AIX" >&5
1061	cat > conftest.$ac_ext <<EOF
1062	#line 1063 "configure"
1063	#include "confdefs.h"
1064	#ifdef _AIX
1065	yes
1066	#endif
1067
1068	EOF
1069	if (eval "$ac_cpp conftest.$ac_ext") 2>&5 \|
1070	egrep "yes" >/dev/null 2>&1; then
1071	rm -rf conftest*
1072	echo "$ac_t""yes" 1>&6; cat >> confdefs.h <<\EOF
1073	#define _ALL_SOURCE 1
1074	EOF
1075
1076	else
1077	rm -rf conftest*
1078	echo "$ac_t""no" 1>&6
1079	fi
1080	rm -f conftest*
1081
1082
1083	if test "${CXXFLAGS+set}" != set; then
1084	ac_cxxflags_set=no
1085	CXXFLAGS="-O"
1086	fi
1087	if test "${CFLAGS+set}" != set; then
1088	CFLAGS="-O"
1089	ac_cflags_set=no
1090	fi
1091
1092	# check whether CXX was set by user as env variable
1093	if test "${CXX+set}" != set; then
1094	ac_cxx_set=no
1095	else
1096	ac_cxx_set=yes
1097	fi
1098	for ac_prog in $CCC c++ g++ gcc CC cxx cc++ cl
1099	do
1100	# Extract the first word of "$ac_prog", so it can be a program name with args.
1101	set dummy $ac_prog; ac_word=$2
1102	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1103	echo "configure:1104: checking for $ac_word" >&5
1104	if eval "test \"`echo '$''{'ac_cv_prog_CXX'+set}'`\" = set"; then
1105	echo $ac_n "(cached) $ac_c" 1>&6
1106	else
1107	if test -n "$CXX"; then
1108	ac_cv_prog_CXX="$CXX" # Let the user override the test.
1109	else
1110	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1111	ac_dummy="$PATH"
1112	for ac_dir in $ac_dummy; do
1113	test -z "$ac_dir" && ac_dir=.
1114	if test -f $ac_dir/$ac_word; then
1115	ac_cv_prog_CXX="$ac_prog"
1116	break
1117	fi
1118	done
1119	IFS="$ac_save_ifs"
1120	fi
1121	fi
1122	CXX="$ac_cv_prog_CXX"
1123	if test -n "$CXX"; then
1124	echo "$ac_t""$CXX" 1>&6
1125	else
1126	echo "$ac_t""no" 1>&6
1127	fi
1128
1129	test -n "$CXX" && break
1130	done
1131	test -n "$CXX" \|\| CXX="gcc"
1132
1133
1134	echo $ac_n "checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works""... $ac_c" 1>&6
1135	echo "configure:1136: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works" >&5
1136
1137	ac_ext=C
1138	# CXXFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
1139	ac_cpp='$CXXCPP $CPPFLAGS'
1140	ac_compile='${CXX-g++} -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
1141	ac_link='${CXX-g++} -o conftest${ac_exeext} $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
1142	cross_compiling=$ac_cv_prog_cxx_cross
1143
1144	cat > conftest.$ac_ext << EOF
1145
1146	#line 1147 "configure"
1147	#include "confdefs.h"
1148
1149	int main(){return(0);}
1150	EOF
1151	if { (eval echo configure:1152: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1152	ac_cv_prog_cxx_works=yes
1153	# If we can't run a trivial program, we are probably using a cross compiler.
1154	if (./conftest; exit) 2>/dev/null; then
1155	ac_cv_prog_cxx_cross=no
1156	else
1157	ac_cv_prog_cxx_cross=yes
1158	fi
1159	else
1160	echo "configure: failed program was:" >&5
1161	cat conftest.$ac_ext >&5
1162	ac_cv_prog_cxx_works=no
1163	fi
1164	rm -fr conftest*
1165	ac_ext=c
1166	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
1167	ac_cpp='$CPP $CPPFLAGS'
1168	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
1169	ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
1170	cross_compiling=$ac_cv_prog_cc_cross
1171
1172	echo "$ac_t""$ac_cv_prog_cxx_works" 1>&6
1173	if test $ac_cv_prog_cxx_works = no; then
1174	{ echo "configure: error: installation or configuration problem: C++ compiler cannot create executables." 1>&2; exit 1; }
1175	fi
1176	echo $ac_n "checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler""... $ac_c" 1>&6
1177	echo "configure:1178: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler" >&5
1178	echo "$ac_t""$ac_cv_prog_cxx_cross" 1>&6
1179	cross_compiling=$ac_cv_prog_cxx_cross
1180
1181	echo $ac_n "checking whether we are using GNU C++""... $ac_c" 1>&6
1182	echo "configure:1183: checking whether we are using GNU C++" >&5
1183	if eval "test \"`echo '$''{'ac_cv_prog_gxx'+set}'`\" = set"; then
1184	echo $ac_n "(cached) $ac_c" 1>&6
1185	else
1186	cat > conftest.C <<EOF
1187	#ifdef __GNUC__
1188	yes;
1189	#endif
1190	EOF
1191	if { ac_try='${CXX-g++} -E conftest.C'; { (eval echo configure:1192: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } \| egrep yes >/dev/null 2>&1; then
1192	ac_cv_prog_gxx=yes
1193	else
1194	ac_cv_prog_gxx=no
1195	fi
1196	fi
1197
1198	echo "$ac_t""$ac_cv_prog_gxx" 1>&6
1199
1200	if test $ac_cv_prog_gxx = yes; then
1201	GXX=yes
1202	else
1203	GXX=
1204	fi
1205
1206	ac_test_CXXFLAGS="${CXXFLAGS+set}"
1207	ac_save_CXXFLAGS="$CXXFLAGS"
1208	CXXFLAGS=
1209	echo $ac_n "checking whether ${CXX-g++} accepts -g""... $ac_c" 1>&6
1210	echo "configure:1211: checking whether ${CXX-g++} accepts -g" >&5
1211	if eval "test \"`echo '$''{'ac_cv_prog_cxx_g'+set}'`\" = set"; then
1212	echo $ac_n "(cached) $ac_c" 1>&6
1213	else
1214	echo 'void f(){}' > conftest.cc
1215	if test -z "`${CXX-g++} -g -c conftest.cc 2>&1`"; then
1216	ac_cv_prog_cxx_g=yes
1217	else
1218	ac_cv_prog_cxx_g=no
1219	fi
1220	rm -f conftest*
1221
1222	fi
1223
1224	echo "$ac_t""$ac_cv_prog_cxx_g" 1>&6
1225	if test "$ac_test_CXXFLAGS" = set; then
1226	CXXFLAGS="$ac_save_CXXFLAGS"
1227	elif test $ac_cv_prog_cxx_g = yes; then
1228	if test "$GXX" = yes; then
1229	CXXFLAGS="-g -O2"
1230	else
1231	CXXFLAGS="-g"
1232	fi
1233	else
1234	if test "$GXX" = yes; then
1235	CXXFLAGS="-O2"
1236	else
1237	CXXFLAGS=
1238	fi
1239	fi
1240
1241
1242	# check whether the compiler accepts -pipe
1243	echo $ac_n "checking whether compiler accepts -pipe""... $ac_c" 1>&6
1244	echo "configure:1245: checking whether compiler accepts -pipe" >&5
1245	temp_cflags=${CFLAGS}
1246	CFLAGS="${CFLAGS} -pipe"
1247	if eval "test \"`echo '$''{'ac_cv_cxx_have_pipe'+set}'`\" = set"; then
1248	echo $ac_n "(cached) $ac_c" 1>&6
1249	else
1250	cat > conftest.$ac_ext <<EOF
1251	#line 1252 "configure"
1252	#include "confdefs.h"
1253
1254	int main() {
1255
1256	; return 0; }
1257	EOF
1258	if { (eval echo configure:1259: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
1259	rm -rf conftest*
1260	ac_cv_cxx_have_pipe=yes
1261	else
1262	echo "configure: failed program was:" >&5
1263	cat conftest.$ac_ext >&5
1264	rm -rf conftest*
1265	ac_cv_cxx_have_pipe=no
1266	fi
1267	rm -f conftest*
1268
1269	fi
1270
1271	echo "$ac_t""${ac_cv_cxx_have_pipe}" 1>&6
1272	CFLAGS=${temp_cflags}
1273	if test "${ac_cv_cxx_have_pipe}" != yes; then
1274	PIPE=
1275	else
1276	PIPE="-pipe"
1277	fi
1278
1279
1280	for ac_prog in perl5 perl
1281	do
1282	# Extract the first word of "$ac_prog", so it can be a program name with args.
1283	set dummy $ac_prog; ac_word=$2
1284	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1285	echo "configure:1286: checking for $ac_word" >&5
1286	if eval "test \"`echo '$''{'ac_cv_prog_PERL'+set}'`\" = set"; then
1287	echo $ac_n "(cached) $ac_c" 1>&6
1288	else
1289	if test -n "$PERL"; then
1290	ac_cv_prog_PERL="$PERL" # Let the user override the test.
1291	else
1292	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1293	ac_dummy="$PATH"
1294	for ac_dir in $ac_dummy; do
1295	test -z "$ac_dir" && ac_dir=.
1296	if test -f $ac_dir/$ac_word; then
1297	ac_cv_prog_PERL="$ac_prog"
1298	break
1299	fi
1300	done
1301	IFS="$ac_save_ifs"
1302	fi
1303	fi
1304	PERL="$ac_cv_prog_PERL"
1305	if test -n "$PERL"; then
1306	echo "$ac_t""$PERL" 1>&6
1307	else
1308	echo "$ac_t""no" 1>&6
1309	fi
1310
1311	test -n "$PERL" && break
1312	done
1313
1314	for ac_prog in uudecode "uudeview -i"
1315	do
1316	# Extract the first word of "$ac_prog", so it can be a program name with args.
1317	set dummy $ac_prog; ac_word=$2
1318	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1319	echo "configure:1320: checking for $ac_word" >&5
1320	if eval "test \"`echo '$''{'ac_cv_prog_UUDECODE'+set}'`\" = set"; then
1321	echo $ac_n "(cached) $ac_c" 1>&6
1322	else
1323	if test -n "$UUDECODE"; then
1324	ac_cv_prog_UUDECODE="$UUDECODE" # Let the user override the test.
1325	else
1326	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1327	ac_dummy="$PATH"
1328	for ac_dir in $ac_dummy; do
1329	test -z "$ac_dir" && ac_dir=.
1330	if test -f $ac_dir/$ac_word; then
1331	ac_cv_prog_UUDECODE="$ac_prog"
1332	break
1333	fi
1334	done
1335	IFS="$ac_save_ifs"
1336	fi
1337	fi
1338	UUDECODE="$ac_cv_prog_UUDECODE"
1339	if test -n "$UUDECODE"; then
1340	echo "$ac_t""$UUDECODE" 1>&6
1341	else
1342	echo "$ac_t""no" 1>&6
1343	fi
1344
1345	test -n "$UUDECODE" && break
1346	done
1347
1348	for ac_prog in gunzip
1349	do
1350	# Extract the first word of "$ac_prog", so it can be a program name with args.
1351	set dummy $ac_prog; ac_word=$2
1352	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1353	echo "configure:1354: checking for $ac_word" >&5
1354	if eval "test \"`echo '$''{'ac_cv_prog_GUNZIP'+set}'`\" = set"; then
1355	echo $ac_n "(cached) $ac_c" 1>&6
1356	else
1357	if test -n "$GUNZIP"; then
1358	ac_cv_prog_GUNZIP="$GUNZIP" # Let the user override the test.
1359	else
1360	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1361	ac_dummy="$PATH"
1362	for ac_dir in $ac_dummy; do
1363	test -z "$ac_dir" && ac_dir=.
1364	if test -f $ac_dir/$ac_word; then
1365	ac_cv_prog_GUNZIP="$ac_prog"
1366	break
1367	fi
1368	done
1369	IFS="$ac_save_ifs"
1370	fi
1371	fi
1372	GUNZIP="$ac_cv_prog_GUNZIP"
1373	if test -n "$GUNZIP"; then
1374	echo "$ac_t""$GUNZIP" 1>&6
1375	else
1376	echo "$ac_t""no" 1>&6
1377	fi
1378
1379	test -n "$GUNZIP" && break
1380	done
1381	test -n "$GUNZIP" \|\| GUNZIP="${pwd}/warn_not_found.sh gunzip"
1382
1383	# don't use GZIP this breaks configure
1384	for ac_prog in gzip
1385	do
1386	# Extract the first word of "$ac_prog", so it can be a program name with args.
1387	set dummy $ac_prog; ac_word=$2
1388	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1389	echo "configure:1390: checking for $ac_word" >&5
1390	if eval "test \"`echo '$''{'ac_cv_prog_MYGZIP'+set}'`\" = set"; then
1391	echo $ac_n "(cached) $ac_c" 1>&6
1392	else
1393	if test -n "$MYGZIP"; then
1394	ac_cv_prog_MYGZIP="$MYGZIP" # Let the user override the test.
1395	else
1396	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1397	ac_dummy="$PATH"
1398	for ac_dir in $ac_dummy; do
1399	test -z "$ac_dir" && ac_dir=.
1400	if test -f $ac_dir/$ac_word; then
1401	ac_cv_prog_MYGZIP="$ac_prog"
1402	break
1403	fi
1404	done
1405	IFS="$ac_save_ifs"
1406	fi
1407	fi
1408	MYGZIP="$ac_cv_prog_MYGZIP"
1409	if test -n "$MYGZIP"; then
1410	echo "$ac_t""$MYGZIP" 1>&6
1411	else
1412	echo "$ac_t""no" 1>&6
1413	fi
1414
1415	test -n "$MYGZIP" && break
1416	done
1417	test -n "$MYGZIP" \|\| MYGZIP="${pwd}/warn_not_found.sh gzip"
1418
1419	# Extract the first word of "latex2html", so it can be a program name with args.
1420	set dummy latex2html; ac_word=$2
1421	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1422	echo "configure:1423: checking for $ac_word" >&5
1423	if eval "test \"`echo '$''{'ac_cv_prog_LATEX2HTML'+set}'`\" = set"; then
1424	echo $ac_n "(cached) $ac_c" 1>&6
1425	else
1426	if test -n "$LATEX2HTML"; then
1427	ac_cv_prog_LATEX2HTML="$LATEX2HTML" # Let the user override the test.
1428	else
1429	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1430	ac_dummy="$PATH"
1431	for ac_dir in $ac_dummy; do
1432	test -z "$ac_dir" && ac_dir=.
1433	if test -f $ac_dir/$ac_word; then
1434	ac_cv_prog_LATEX2HTML="latex2html"
1435	break
1436	fi
1437	done
1438	IFS="$ac_save_ifs"
1439	fi
1440	fi
1441	LATEX2HTML="$ac_cv_prog_LATEX2HTML"
1442	if test -n "$LATEX2HTML"; then
1443	echo "$ac_t""$LATEX2HTML" 1>&6
1444	else
1445	echo "$ac_t""no" 1>&6
1446	fi
1447
1448	echo $ac_n "checking whether ln -s works""... $ac_c" 1>&6
1449	echo "configure:1450: checking whether ln -s works" >&5
1450	if eval "test \"`echo '$''{'ac_cv_prog_LN_S'+set}'`\" = set"; then
1451	echo $ac_n "(cached) $ac_c" 1>&6
1452	else
1453	rm -f conftestdata
1454	if ln -s X conftestdata 2>/dev/null
1455	then
1456	rm -f conftestdata
1457	ac_cv_prog_LN_S="ln -s"
1458	else
1459	ac_cv_prog_LN_S=ln
1460	fi
1461	fi
1462	LN_S="$ac_cv_prog_LN_S"
1463	if test "$ac_cv_prog_LN_S" = "ln -s"; then
1464	echo "$ac_t""yes" 1>&6
1465	else
1466	echo "$ac_t""no" 1>&6
1467	fi
1468
1469
1470	if test -e "${pwd}/mkinstalldirs"; then
1471	MKINSTALLDIRS=${pwd}/mkinstalldirs
1472
1473	else
1474	{ echo "configure: error: mkinstalldirs not foind in ${pwd}" 1>&2; exit 1; }
1475	fi
1476
1477	# expand prefix and pass it to subsequent configures
1478	if test "x$prefix" = xNONE; then
1479	prefix=${ac_default_prefix}
1480	ac_configure_args="$ac_configure_args --prefix=${prefix}"
1481	fi
1482
1483	# expand exec_prefix
1484	if test "x$exec_prefix" = xNONE; then
1485	exec_prefix=${prefix}/${ac_cv_singuname}
1486	ac_configure_args="$ac_configure_args --exec_prefix=${exec_prefix}"
1487	fi
1488
1489	# expand bindir
1490	if test "x$bindir" = 'x${exec_prefix}/bin'; then
1491	bindir="${exec_prefix}"
1492	ac_configure_args="$ac_configure_args --bindir=${bindir}"
1493	fi
1494
1495	# expand libdir
1496	if test "x$libdir" = 'x${exec_prefix}/lib'; then
1497	libdir="${exec_prefix}/lib"
1498	ac_configure_args="$ac_configure_args --libdir=${libdir}"
1499	fi
1500
1501	# expand includedir
1502	if test "x$includedir" = 'x${prefix}/include'; then
1503	includedir="${exec_prefix}/include"
1504	ac_configure_args="$ac_configure_args --includedir=${includedir}"
1505	fi
1506
1507	# construct name of installed Singular executable
1508	SINGULAR=${bindir}/Singular-${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}
1509	export SINGULAR
1510
1511
1512
1513	# add -I to CPPFLAGS and -L to LDFLAGS, just to be sure
1514	LDFLAGS="-L${libdir} ${LDFLAGS}"
1515	CPPFLAGS="-I${includedir} ${CPPFLAGS}"
1516
1517	# check for AIX
1518	echo $ac_n "checking whether _AIX is defined""... $ac_c" 1>&6
1519	echo "configure:1520: checking whether _AIX is defined" >&5
1520	if eval "test \"`echo '$''{'ac_cv_is_aix'+set}'`\" = set"; then
1521	echo $ac_n "(cached) $ac_c" 1>&6
1522	else
1523	cat > conftest.$ac_ext <<EOF
1524	#line 1525 "configure"
1525	#include "confdefs.h"
1526	#ifdef _AIX
1527	yes
1528	#endif
1529
1530	EOF
1531	if (eval "$ac_cpp conftest.$ac_ext") 2>&5 \|
1532	egrep "yes" >/dev/null 2>&1; then
1533	rm -rf conftest*
1534	ac_cv_is_aix=yes
1535	else
1536	rm -rf conftest*
1537	ac_cv_is_aix=no
1538	fi
1539	rm -f conftest*
1540
1541	fi
1542
1543	if test "$ac_cv_is_aix" = yes; then
1544	echo "$ac_t""yes" 1>&6
1545	else
1546	echo "$ac_t""no" 1>&6
1547	fi
1548
1549	echo $ac_n "checking for atof in -lm""... $ac_c" 1>&6
1550	echo "configure:1551: checking for atof in -lm" >&5
1551	ac_lib_var=`echo m'_'atof \| sed 'y%./+-%__p_%'`
1552	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1553	echo $ac_n "(cached) $ac_c" 1>&6
1554	else
1555	ac_save_LIBS="$LIBS"
1556	LIBS="-lm $LIBS"
1557	cat > conftest.$ac_ext <<EOF
1558	#line 1559 "configure"
1559	#include "confdefs.h"
1560	/* Override any gcc2 internal prototype to avoid an error. */
1561	/* We use char because int might match the return type of a gcc2
1562	builtin and then its argument prototype would still apply. */
1563	char atof();
1564
1565	int main() {
1566	atof()
1567	; return 0; }
1568	EOF
1569	if { (eval echo configure:1570: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1570	rm -rf conftest*
1571	eval "ac_cv_lib_$ac_lib_var=yes"
1572	else
1573	echo "configure: failed program was:" >&5
1574	cat conftest.$ac_ext >&5
1575	rm -rf conftest*
1576	eval "ac_cv_lib_$ac_lib_var=no"
1577	fi
1578	rm -f conftest*
1579	LIBS="$ac_save_LIBS"
1580
1581	fi
1582	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1583	echo "$ac_t""yes" 1>&6
1584	ac_tr_lib=HAVE_LIB`echo m \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1585	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1586	cat >> confdefs.h <<EOF
1587	#define $ac_tr_lib 1
1588	EOF
1589
1590	LIBS="-lm $LIBS"
1591
1592	else
1593	echo "$ac_t""no" 1>&6
1594	fi
1595
1596	echo $ac_n "checking for socket in -lbsd""... $ac_c" 1>&6
1597	echo "configure:1598: checking for socket in -lbsd" >&5
1598	ac_lib_var=`echo bsd'_'socket \| sed 'y%./+-%__p_%'`
1599	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1600	echo $ac_n "(cached) $ac_c" 1>&6
1601	else
1602	ac_save_LIBS="$LIBS"
1603	LIBS="-lbsd $LIBS"
1604	cat > conftest.$ac_ext <<EOF
1605	#line 1606 "configure"
1606	#include "confdefs.h"
1607	/* Override any gcc2 internal prototype to avoid an error. */
1608	/* We use char because int might match the return type of a gcc2
1609	builtin and then its argument prototype would still apply. */
1610	char socket();
1611
1612	int main() {
1613	socket()
1614	; return 0; }
1615	EOF
1616	if { (eval echo configure:1617: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1617	rm -rf conftest*
1618	eval "ac_cv_lib_$ac_lib_var=yes"
1619	else
1620	echo "configure: failed program was:" >&5
1621	cat conftest.$ac_ext >&5
1622	rm -rf conftest*
1623	eval "ac_cv_lib_$ac_lib_var=no"
1624	fi
1625	rm -f conftest*
1626	LIBS="$ac_save_LIBS"
1627
1628	fi
1629	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1630	echo "$ac_t""yes" 1>&6
1631	ac_tr_lib=HAVE_LIB`echo bsd \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1632	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1633	cat >> confdefs.h <<EOF
1634	#define $ac_tr_lib 1
1635	EOF
1636
1637	LIBS="-lbsd $LIBS"
1638
1639	else
1640	echo "$ac_t""no" 1>&6
1641	fi
1642
1643	echo $ac_n "checking for listen in -lsocket""... $ac_c" 1>&6
1644	echo "configure:1645: checking for listen in -lsocket" >&5
1645	ac_lib_var=`echo socket'_'listen \| sed 'y%./+-%__p_%'`
1646	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1647	echo $ac_n "(cached) $ac_c" 1>&6
1648	else
1649	ac_save_LIBS="$LIBS"
1650	LIBS="-lsocket $LIBS"
1651	cat > conftest.$ac_ext <<EOF
1652	#line 1653 "configure"
1653	#include "confdefs.h"
1654	/* Override any gcc2 internal prototype to avoid an error. */
1655	/* We use char because int might match the return type of a gcc2
1656	builtin and then its argument prototype would still apply. */
1657	char listen();
1658
1659	int main() {
1660	listen()
1661	; return 0; }
1662	EOF
1663	if { (eval echo configure:1664: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1664	rm -rf conftest*
1665	eval "ac_cv_lib_$ac_lib_var=yes"
1666	else
1667	echo "configure: failed program was:" >&5
1668	cat conftest.$ac_ext >&5
1669	rm -rf conftest*
1670	eval "ac_cv_lib_$ac_lib_var=no"
1671	fi
1672	rm -f conftest*
1673	LIBS="$ac_save_LIBS"
1674
1675	fi
1676	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1677	echo "$ac_t""yes" 1>&6
1678	ac_tr_lib=HAVE_LIB`echo socket \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1679	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1680	cat >> confdefs.h <<EOF
1681	#define $ac_tr_lib 1
1682	EOF
1683
1684	LIBS="-lsocket $LIBS"
1685
1686	else
1687	echo "$ac_t""no" 1>&6
1688	fi
1689
1690	echo $ac_n "checking for gethostbyname in -lnsl""... $ac_c" 1>&6
1691	echo "configure:1692: checking for gethostbyname in -lnsl" >&5
1692	ac_lib_var=`echo nsl'_'gethostbyname \| sed 'y%./+-%__p_%'`
1693	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1694	echo $ac_n "(cached) $ac_c" 1>&6
1695	else
1696	ac_save_LIBS="$LIBS"
1697	LIBS="-lnsl $LIBS"
1698	cat > conftest.$ac_ext <<EOF
1699	#line 1700 "configure"
1700	#include "confdefs.h"
1701	/* Override any gcc2 internal prototype to avoid an error. */
1702	/* We use char because int might match the return type of a gcc2
1703	builtin and then its argument prototype would still apply. */
1704	char gethostbyname();
1705
1706	int main() {
1707	gethostbyname()
1708	; return 0; }
1709	EOF
1710	if { (eval echo configure:1711: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1711	rm -rf conftest*
1712	eval "ac_cv_lib_$ac_lib_var=yes"
1713	else
1714	echo "configure: failed program was:" >&5
1715	cat conftest.$ac_ext >&5
1716	rm -rf conftest*
1717	eval "ac_cv_lib_$ac_lib_var=no"
1718	fi
1719	rm -f conftest*
1720	LIBS="$ac_save_LIBS"
1721
1722	fi
1723	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1724	echo "$ac_t""yes" 1>&6
1725	ac_tr_lib=HAVE_LIB`echo nsl \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1726	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1727	cat >> confdefs.h <<EOF
1728	#define $ac_tr_lib 1
1729	EOF
1730
1731	LIBS="-lnsl $LIBS"
1732
1733	else
1734	echo "$ac_t""no" 1>&6
1735	fi
1736
1737	echo $ac_n "checking for main in -lgmp""... $ac_c" 1>&6
1738	echo "configure:1739: checking for main in -lgmp" >&5
1739	ac_lib_var=`echo gmp'_'main \| sed 'y%./+-%__p_%'`
1740	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1741	echo $ac_n "(cached) $ac_c" 1>&6
1742	else
1743	ac_save_LIBS="$LIBS"
1744	LIBS="-lgmp $LIBS"
1745	cat > conftest.$ac_ext <<EOF
1746	#line 1747 "configure"
1747	#include "confdefs.h"
1748
1749	int main() {
1750	main()
1751	; return 0; }
1752	EOF
1753	if { (eval echo configure:1754: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1754	rm -rf conftest*
1755	eval "ac_cv_lib_$ac_lib_var=yes"
1756	else
1757	echo "configure: failed program was:" >&5
1758	cat conftest.$ac_ext >&5
1759	rm -rf conftest*
1760	eval "ac_cv_lib_$ac_lib_var=no"
1761	fi
1762	rm -f conftest*
1763	LIBS="$ac_save_LIBS"
1764
1765	fi
1766	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1767	echo "$ac_t""yes" 1>&6
1768	ac_tr_lib=HAVE_LIB`echo gmp \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1769	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1770	cat >> confdefs.h <<EOF
1771	#define $ac_tr_lib 1
1772	EOF
1773
1774	LIBS="-lgmp $LIBS"
1775
1776	else
1777	echo "$ac_t""no" 1>&6
1778	fi
1779
1780	echo $ac_n "checking for mpz_init in -lsmallgmp""... $ac_c" 1>&6
1781	echo "configure:1782: checking for mpz_init in -lsmallgmp" >&5
1782	ac_lib_var=`echo smallgmp'_'mpz_init \| sed 'y%./+-%__p_%'`
1783	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1784	echo $ac_n "(cached) $ac_c" 1>&6
1785	else
1786	ac_save_LIBS="$LIBS"
1787	LIBS="-lsmallgmp $LIBS"
1788	cat > conftest.$ac_ext <<EOF
1789	#line 1790 "configure"
1790	#include "confdefs.h"
1791	/* Override any gcc2 internal prototype to avoid an error. */
1792	/* We use char because int might match the return type of a gcc2
1793	builtin and then its argument prototype would still apply. */
1794	char mpz_init();
1795
1796	int main() {
1797	mpz_init()
1798	; return 0; }
1799	EOF
1800	if { (eval echo configure:1801: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1801	rm -rf conftest*
1802	eval "ac_cv_lib_$ac_lib_var=yes"
1803	else
1804	echo "configure: failed program was:" >&5
1805	cat conftest.$ac_ext >&5
1806	rm -rf conftest*
1807	eval "ac_cv_lib_$ac_lib_var=no"
1808	fi
1809	rm -f conftest*
1810	LIBS="$ac_save_LIBS"
1811
1812	fi
1813	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1814	echo "$ac_t""yes" 1>&6
1815	ac_tr_lib=HAVE_LIB`echo smallgmp \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1816	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1817	cat >> confdefs.h <<EOF
1818	#define $ac_tr_lib 1
1819	EOF
1820
1821	LIBS="-lsmallgmp $LIBS"
1822
1823	else
1824	echo "$ac_t""no" 1>&6
1825	fi
1826
1827	echo $ac_n "checking for IMP_PutGmpInt in -lMP""... $ac_c" 1>&6
1828	echo "configure:1829: checking for IMP_PutGmpInt in -lMP" >&5
1829	ac_lib_var=`echo MP'_'IMP_PutGmpInt \| sed 'y%./+-%__p_%'`
1830	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1831	echo $ac_n "(cached) $ac_c" 1>&6
1832	else
1833	ac_save_LIBS="$LIBS"
1834	LIBS="-lMP $LIBS"
1835	cat > conftest.$ac_ext <<EOF
1836	#line 1837 "configure"
1837	#include "confdefs.h"
1838	/* Override any gcc2 internal prototype to avoid an error. */
1839	/* We use char because int might match the return type of a gcc2
1840	builtin and then its argument prototype would still apply. */
1841	char IMP_PutGmpInt();
1842
1843	int main() {
1844	IMP_PutGmpInt()
1845	; return 0; }
1846	EOF
1847	if { (eval echo configure:1848: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1848	rm -rf conftest*
1849	eval "ac_cv_lib_$ac_lib_var=yes"
1850	else
1851	echo "configure: failed program was:" >&5
1852	cat conftest.$ac_ext >&5
1853	rm -rf conftest*
1854	eval "ac_cv_lib_$ac_lib_var=no"
1855	fi
1856	rm -f conftest*
1857	LIBS="$ac_save_LIBS"
1858
1859	fi
1860	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1861	echo "$ac_t""yes" 1>&6
1862	ac_tr_lib=HAVE_LIB`echo MP \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1863	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1864	cat >> confdefs.h <<EOF
1865	#define $ac_tr_lib 1
1866	EOF
1867
1868	LIBS="-lMP $LIBS"
1869
1870	else
1871	echo "$ac_t""no" 1>&6
1872	fi
1873
1874	echo $ac_n "checking for MPT_GetTree in -lMPT""... $ac_c" 1>&6
1875	echo "configure:1876: checking for MPT_GetTree in -lMPT" >&5
1876	ac_lib_var=`echo MPT'_'MPT_GetTree \| sed 'y%./+-%__p_%'`
1877	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1878	echo $ac_n "(cached) $ac_c" 1>&6
1879	else
1880	ac_save_LIBS="$LIBS"
1881	LIBS="-lMPT $LIBS"
1882	cat > conftest.$ac_ext <<EOF
1883	#line 1884 "configure"
1884	#include "confdefs.h"
1885	/* Override any gcc2 internal prototype to avoid an error. */
1886	/* We use char because int might match the return type of a gcc2
1887	builtin and then its argument prototype would still apply. */
1888	char MPT_GetTree();
1889
1890	int main() {
1891	MPT_GetTree()
1892	; return 0; }
1893	EOF
1894	if { (eval echo configure:1895: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1895	rm -rf conftest*
1896	eval "ac_cv_lib_$ac_lib_var=yes"
1897	else
1898	echo "configure: failed program was:" >&5
1899	cat conftest.$ac_ext >&5
1900	rm -rf conftest*
1901	eval "ac_cv_lib_$ac_lib_var=no"
1902	fi
1903	rm -f conftest*
1904	LIBS="$ac_save_LIBS"
1905
1906	fi
1907	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1908	echo "$ac_t""yes" 1>&6
1909	ac_tr_lib=HAVE_LIB`echo MPT \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1910	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1911	cat >> confdefs.h <<EOF
1912	#define $ac_tr_lib 1
1913	EOF
1914
1915	LIBS="-lMPT $LIBS"
1916
1917	else
1918	echo "$ac_t""no" 1>&6
1919	fi
1920
1921	echo $ac_n "checking for atof in -lsingcf""... $ac_c" 1>&6
1922	echo "configure:1923: checking for atof in -lsingcf" >&5
1923	ac_lib_var=`echo singcf'_'atof \| sed 'y%./+-%__p_%'`
1924	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1925	echo $ac_n "(cached) $ac_c" 1>&6
1926	else
1927	ac_save_LIBS="$LIBS"
1928	LIBS="-lsingcf $LIBS"
1929	cat > conftest.$ac_ext <<EOF
1930	#line 1931 "configure"
1931	#include "confdefs.h"
1932	/* Override any gcc2 internal prototype to avoid an error. */
1933	/* We use char because int might match the return type of a gcc2
1934	builtin and then its argument prototype would still apply. */
1935	char atof();
1936
1937	int main() {
1938	atof()
1939	; return 0; }
1940	EOF
1941	if { (eval echo configure:1942: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1942	rm -rf conftest*
1943	eval "ac_cv_lib_$ac_lib_var=yes"
1944	else
1945	echo "configure: failed program was:" >&5
1946	cat conftest.$ac_ext >&5
1947	rm -rf conftest*
1948	eval "ac_cv_lib_$ac_lib_var=no"
1949	fi
1950	rm -f conftest*
1951	LIBS="$ac_save_LIBS"
1952
1953	fi
1954	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1955	echo "$ac_t""yes" 1>&6
1956	ac_tr_lib=HAVE_LIB`echo singcf \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1957	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1958	cat >> confdefs.h <<EOF
1959	#define $ac_tr_lib 1
1960	EOF
1961
1962	LIBS="-lsingcf $LIBS"
1963
1964	else
1965	echo "$ac_t""no" 1>&6
1966	fi
1967
1968	echo $ac_n "checking for atof in -lsingfac""... $ac_c" 1>&6
1969	echo "configure:1970: checking for atof in -lsingfac" >&5
1970	ac_lib_var=`echo singfac'_'atof \| sed 'y%./+-%__p_%'`
1971	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1972	echo $ac_n "(cached) $ac_c" 1>&6
1973	else
1974	ac_save_LIBS="$LIBS"
1975	LIBS="-lsingfac $LIBS"
1976	cat > conftest.$ac_ext <<EOF
1977	#line 1978 "configure"
1978	#include "confdefs.h"
1979	/* Override any gcc2 internal prototype to avoid an error. */
1980	/* We use char because int might match the return type of a gcc2
1981	builtin and then its argument prototype would still apply. */
1982	char atof();
1983
1984	int main() {
1985	atof()
1986	; return 0; }
1987	EOF
1988	if { (eval echo configure:1989: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1989	rm -rf conftest*
1990	eval "ac_cv_lib_$ac_lib_var=yes"
1991	else
1992	echo "configure: failed program was:" >&5
1993	cat conftest.$ac_ext >&5
1994	rm -rf conftest*
1995	eval "ac_cv_lib_$ac_lib_var=no"
1996	fi
1997	rm -f conftest*
1998	LIBS="$ac_save_LIBS"
1999
2000	fi
2001	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
2002	echo "$ac_t""yes" 1>&6
2003	ac_tr_lib=HAVE_LIB`echo singfac \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
2004	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
2005	cat >> confdefs.h <<EOF
2006	#define $ac_tr_lib 1
2007	EOF
2008
2009	LIBS="-lsingfac $LIBS"
2010
2011	else
2012	echo "$ac_t""no" 1>&6
2013	fi
2014
2015
2016	for ac_hdr in gmp.h smallgmp.h MP.h MPT.h factory.h factor.h
2017	do
2018	ac_safe=`echo "$ac_hdr" \| sed 'y%./+-%__p_%'`
2019	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
2020	echo "configure:2021: checking for $ac_hdr" >&5
2021	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
2022	echo $ac_n "(cached) $ac_c" 1>&6
2023	else
2024	cat > conftest.$ac_ext <<EOF
2025	#line 2026 "configure"
2026	#include "confdefs.h"
2027	#include <$ac_hdr>
2028	EOF
2029	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
2030	{ (eval echo configure:2031: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
2031	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
2032	if test -z "$ac_err"; then
2033	rm -rf conftest*
2034	eval "ac_cv_header_$ac_safe=yes"
2035	else
2036	echo "$ac_err" >&5
2037	echo "configure: failed program was:" >&5
2038	cat conftest.$ac_ext >&5
2039	rm -rf conftest*
2040	eval "ac_cv_header_$ac_safe=no"
2041	fi
2042	rm -f conftest*
2043	fi
2044	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
2045	echo "$ac_t""yes" 1>&6
2046	ac_tr_hdr=HAVE_`echo $ac_hdr \| sed 'y%abcdefghijklmnopqrstuvwxyz./-%ABCDEFGHIJKLMNOPQRSTUVWXYZ___%'`
2047	cat >> confdefs.h <<EOF
2048	#define $ac_tr_hdr 1
2049	EOF
2050
2051	else
2052	echo "$ac_t""no" 1>&6
2053	fi
2054	done
2055
2056
2057	if test "$ac_cv_lib_gmp_main" = yes && \
2058	test "$ac_cv_header_gmp_h" = yes; then
2059	ac_gmp_ok=yes
2060	fi
2061
2062	if test "$ac_cv_lib_smallgmp_mpz_init" = yes && \
2063	test "$ac_cv_header_smallgmp_h" = yes && \
2064	test "$ac_cv_header_gmp_h" = yes; then
2065	ac_smallgmp_ok=yes
2066	fi
2067
2068	if test "$ac_cv_lib_MP_IMP_PutGmpInt" = yes && \
2069	test "$ac_cv_lib_MPT_MPT_GetTree" && \
2070	test "$ac_cv_header_MP_h" = yes && \
2071	test "$ac_cv_header_MPT_h" = yes; then
2072	ac_MP_ok=yes
2073	fi
2074
2075	if test "$ac_cv_lib_singcf_atof" = yes && \
2076	test "$ac_cv_header_factory_h" = yes; then
2077	ac_factory_ok=yes
2078	fi
2079
2080	if test "$ac_cv_lib_singfac_atof" = yes && \
2081	test "$ac_cv_header_factor_h" = yes; then
2082	ac_libfac_ok=yes
2083	fi
2084
2085
2086	# Check whether --with-tmpdir or --without-tmpdir was given.
2087	if test "${with_tmpdir+set}" = set; then
2088	withval="$with_tmpdir"
2089	:
2090	fi
2091
2092	# Check whether --enable-smallgmp or --disable-smallgmp was given.
2093	if test "${enable_smallgmp+set}" = set; then
2094	enableval="$enable_smallgmp"
2095	:
2096	fi
2097
2098	# Check whether --enable-gmp or --disable-gmp was given.
2099	if test "${enable_gmp+set}" = set; then
2100	enableval="$enable_gmp"
2101	:
2102	fi
2103
2104	# Check whether --enable-MP or --disable-MP was given.
2105	if test "${enable_MP+set}" = set; then
2106	enableval="$enable_MP"
2107	:
2108	fi
2109
2110	# Check whether --enable-factory or --disable-factory was given.
2111	if test "${enable_factory+set}" = set; then
2112	enableval="$enable_factory"
2113	:
2114	fi
2115
2116	# Check whether --enable-libfac or --disable-libfac was given.
2117	if test "${enable_libfac+set}" = set; then
2118	enableval="$enable_libfac"
2119	:
2120	fi
2121
2122	# Check whether --enable-sgroup or --disable-sgroup was given.
2123	if test "${enable_sgroup+set}" = set; then
2124	enableval="$enable_sgroup"
2125	:
2126	fi
2127
2128	# Check whether --enable-mtrack or --disable-mtrack was given.
2129	if test "${enable_mtrack+set}" = set; then
2130	enableval="$enable_mtrack"
2131	:
2132	fi
2133
2134	# Check whether --enable-Singular or --disable-Singular was given.
2135	if test "${enable_Singular+set}" = set; then
2136	enableval="$enable_Singular"
2137	:
2138	fi
2139
2140	# Check whether --enable-IntegerProgramming or --disable-IntegerProgramming was given.
2141	if test "${enable_IntegerProgramming+set}" = set; then
2142	enableval="$enable_IntegerProgramming"
2143	:
2144	fi
2145
2146	# Check whether --enable-Texinfo or --disable-Texinfo was given.
2147	if test "${enable_Texinfo+set}" = set; then
2148	enableval="$enable_Texinfo"
2149	:
2150	fi
2151
2152	# Check whether --enable-Texi2html or --disable-Texi2html was given.
2153	if test "${enable_Texi2html+set}" = set; then
2154	enableval="$enable_Texi2html"
2155	:
2156	fi
2157
2158	# Check whether --enable-doc or --disable-doc was given.
2159	if test "${enable_doc+set}" = set; then
2160	enableval="$enable_doc"
2161	:
2162	fi
2163
2164	# Check whether --enable-emacs or --disable-emacs was given.
2165	if test "${enable_emacs+set}" = set; then
2166	enableval="$enable_emacs"
2167	:
2168	fi
2169
2170	# Check whether --with-MP or --without-MP was given.
2171	if test "${with_MP+set}" = set; then
2172	withval="$with_MP"
2173	:
2174	fi
2175
2176	# Check whether --with-factory or --without-factory was given.
2177	if test "${with_factory+set}" = set; then
2178	withval="$with_factory"
2179	:
2180	fi
2181
2182	# Check whether --with-libfac or --without-libfac was given.
2183	if test "${with_libfac+set}" = set; then
2184	withval="$with_libfac"
2185	:
2186	fi
2187
2188	# Check whether --with-mtrack or --without-mtrack was given.
2189	if test "${with_mtrack+set}" = set; then
2190	withval="$with_mtrack"
2191	:
2192	fi
2193
2194	# Check whether --with-gmp or --without-gmp was given.
2195	if test "${with_gmp+set}" = set; then
2196	withval="$with_gmp"
2197	:
2198	fi
2199
2200
2201	echo $ac_n "checking which tmp dir to use""... $ac_c" 1>&6
2202	echo "configure:2203: checking which tmp dir to use" >&5
2203	if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
2204	if (echo "${with_tmpdir}" \| egrep "\." >/dev/null 2>&1)
2205	then
2206	TMP_DIR="${pwd}/tmp"
2207	else
2208	TMP_DIR=${with_tmpdir}
2209	fi
2210	else
2211	TMP_DIR="${pwd}/tmp"
2212	fi
2213	echo "$ac_t""$TMP_DIR" 1>&6
2214
2215
2216
2217	echo $ac_n "checking whether to configure and build gmp lib""... $ac_c" 1>&6
2218	echo "configure:2219: checking whether to configure and build gmp lib" >&5
2219	if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
2220	if test "$ac_gmp_ok" != yes && test -d gmp; then
2221	echo "$ac_t""yes" 1>&6
2222	enable_gmp=yes
2223	CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
2224	ac_configure_args="$ac_configure_args --enable-gmp"
2225	# This we used to need for our patched version of gmp 2.x
2226	# OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
2227	else
2228	echo "$ac_t""no" 1>&6
2229	enable_gmp=no
2230	fi
2231	elif test "$enable_gmp" = yes; then
2232	if test ! -d gmp; then
2233	echo "$ac_t""no" 1>&6
2234	{ echo "configure: error: Can not find gmp subdir" 1>&2; exit 1; }
2235	else
2236	echo "$ac_t""yes" 1>&6
2237	CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
2238	# This we used to need for our patched version of gmp 2.x
2239	# OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
2240	fi
2241	else
2242	echo "$ac_t""no" 1>&6
2243	fi
2244
2245	if test "$enable_gmp" = yes; then
2246	# for gmp-3.0 to work for all ix86 processors, set generic target
2247	if test "$target" = NONE; then
2248	case "$ac_cv_singuname" in
2249	ix86*)
2250	gmp_target=`./config.guess \| sed 's/^\w*-/i386-/'`
2251	ac_configure_args="$ac_configure_args --target=$gmp_target"
2252	;;
2253	esac
2254	fi
2255	# furthermore, disable building of dynamic libraries, for we want to
2256	# link against the static ones
2257	if test "$enable_shared" != no; then
2258	ac_configure_args="$ac_configure_args --disable-shared"
2259	fi
2260	fi
2261
2262
2263	echo $ac_n "checking whether to configure and build smallgmp lib""... $ac_c" 1>&6
2264	echo "configure:2265: checking whether to configure and build smallgmp lib" >&5
2265	if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
2266	if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
2267	test "$enable_gmp" != yes && test -d smallgmp; then
2268	echo "$ac_t""yes" 1>&6
2269	enable_smallgmp=yes
2270	CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
2271	ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
2272	else
2273	echo "$ac_t""no" 1>&6
2274	enable_smallgmp=no
2275	fi
2276	elif test "$enable_smallgmp" = yes; then
2277	if test ! -d smallgmp; then
2278	echo "$ac_t""no" 1>&6
2279	{ echo "configure: error: Can not find smallgmp subdir" 1>&2; exit 1; }
2280	else
2281	echo "$ac_t""yes" 1>&6
2282	CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
2283	if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
2284	ac_configure_args="$ac_configure_args --enable-gmp"
2285	fi
2286	fi
2287	else
2288	echo "$ac_t""${enable_smallgmp}" 1>&6
2289	fi
2290
2291	# Check whether we have at least one of smallgmp or gmp
2292	if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
2293	test "$enable_smallgmp" != yes && test "$enable_gmp" != yes; then
2294	{ echo "configure: error: can neither find nor built gmp or smallgmp" 1>&2; exit 1; }
2295	fi
2296
2297	# Check whether we need to cheat subsequent configures with --enable-gmp
2298	if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes; then
2299	ac_configure_args="$ac_configure_args --enable-gmp"
2300	fi
2301
2302	echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
2303	echo "configure:2304: checking whether to configure and build MP lib" >&5
2304	if test "$enable_MP" != yes && test "$enable_MP" != no; then
2305	if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
2306	(test "$enable_gmp" = yes \|\| test "$ac_gmp_ok" = yes); then
2307	echo "$ac_t""yes" 1>&6
2308	enable_MP=yes
2309	CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
2310	ac_configure_args="$ac_configure_args --enable-MP"
2311	else
2312	echo "$ac_t""no" 1>&6
2313	enable_MP=no
2314	fi
2315	elif test "$enable_MP" = yes; then
2316	if test ! -d MP; then
2317	echo "$ac_t""no" 1>&6
2318	{ echo "configure: error: can not build MP without MP directory" 1>&2; exit 1; }
2319	fi
2320	if test "$enable_gmp" = yes \|\| test "$ac_gmp_ok" = yes; then
2321	echo "$ac_t""yes" 1>&6
2322	CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
2323	else
2324	echo "$ac_t""no" 1>&6
2325	{ echo "configure: error: can not build MP without gmp" 1>&2; exit 1; }
2326	fi
2327	else
2328	echo "$ac_t""no" 1>&6
2329	fi
2330
2331	echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
2332	echo "configure:2333: checking whether to configure and build factory lib" >&5
2333	if test "$enable_factory" != yes && test "$enable_factory" != no; then
2334	if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
2335	test -d factory; then
2336	enable_factory=yes
2337	echo "$ac_t""yes" 1>&6
2338	CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
2339	ac_configure_args="$ac_configure_args --enable-factory"
2340	else
2341	enable_factory=no
2342	echo "$ac_t""no" 1>&6
2343	fi
2344	elif test "$enable_factory" = yes; then
2345	if test -d factory; then
2346	echo "$ac_t""yes" 1>&6
2347	CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
2348	else
2349	echo "$ac_t""no" 1>&6
2350	{ echo "configure: error: can not build factory without factory directory" 1>&2; exit 1; }
2351	fi
2352	else
2353	echo "$ac_t""no" 1>&6
2354	fi
2355
2356	echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
2357	echo "configure:2358: checking whether to configure and build libfac lib" >&5
2358	if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
2359	if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
2360	test -d libfac && \
2361	(test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes); then
2362	enable_libfac=yes
2363	echo "$ac_t""yes" 1>&6
2364	CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
2365	ac_configure_args="$ac_configure_args --enable-libfac"
2366	else
2367	enable_libfac=no
2368	echo "$ac_t""no" 1>&6
2369	fi
2370	elif test "$enable_libfac" = yes; then
2371	if test ! -d libfac; then
2372	echo "$ac_t""no" 1>&6
2373	{ echo "configure: error: can not build libfac without libfac directory" 1>&2; exit 1; }
2374	fi
2375	if test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes; then
2376	echo "$ac_t""yes" 1>&6
2377	CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
2378	else
2379	echo "$ac_t""no" 1>&6
2380	{ echo "configure: error: Can not build libfac without factory" 1>&2; exit 1; }
2381	fi
2382	else
2383	echo "$ac_t""no" 1>&6
2384	fi
2385
2386	echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
2387	echo "configure:2388: checking whether to configure and build sgroup lib" >&5
2388	if test "$enable_sgroup" = yes; then
2389	if test ! -d sgroup; then
2390	echo "$ac_t""no" 1>&6
2391	{ echo "configure: error: can not build sgroup without sgroup directory" 1>&2; exit 1; }
2392	fi
2393	if test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes; then
2394	echo "$ac_t""yes" 1>&6
2395	CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
2396	else
2397	echo "$ac_t""no" 1>&6
2398	{ echo "configure: error: Can not build sgroup without MP" 1>&2; exit 1; }
2399	fi
2400	else
2401	echo "$ac_t""no" 1>&6
2402	fi
2403
2404	BUILD_SUBDIRS="$CONFIG_SUBDIRS"
2405
2406	echo $ac_n "checking whether to build mpr and use mtrack""... $ac_c" 1>&6
2407	echo "configure:2408: checking whether to build mpr and use mtrack" >&5
2408	if test -d mpr && test "$ac_cv_singuname" = ix86-Linux && test "$enable_mtrack" != no; then
2409	echo "$ac_t""yes" 1>&6
2410	if test "$enable_mtrack" != yes; then
2411	ac_configure_args="$ac_configure_args --enable-mtrack"
2412	fi
2413	enable_mtrack=yes
2414	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" mpr/Makefile"
2415	BUILD_SUBDIRS="$BUILD_SUBDIRS mpr"
2416	else
2417	echo "$ac_t""no" 1>&6
2418	enable_mtrack=no
2419	fi
2420
2421	echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
2422	echo "configure:2423: checking whether to configure and build Singular" >&5
2423	if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
2424	if test "$with_Singular" != no && test -d Singular; then
2425	enable_Singular=yes
2426	echo "$ac_t""yes" 1>&6
2427	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
2428	BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"
2429	ac_configure_args="$ac_configure_args --enable-Singular"
2430	else
2431	enable_Singular=no
2432	echo "$ac_t""no" 1>&6
2433	fi
2434	elif test "$enable_Singular" = yes; then
2435	if test -d Singular; then
2436	echo "$ac_t""yes" 1>&6
2437	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
2438	BUILD_SUBDIRS="$BUILD_SUBDIRS Singular"
2439	else
2440	echo "$ac_t""no" 1>&6
2441	{ echo "configure: error: can not build Singular without Singular directory" 1>&2; exit 1; }
2442	fi
2443	else
2444	echo "$ac_t""no" 1>&6
2445	fi
2446
2447
2448	# test if IntegerProgramming should be built:
2449
2450	echo $ac_n "checking whether to build IntegerProgramming""... $ac_c" 1>&6
2451	echo "configure:2452: checking whether to build IntegerProgramming" >&5
2452	if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
2453	BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
2454	echo "$ac_t""yes" 1>&6
2455	if test "$enable_IntegerProgramming" != yes; then
2456	ac_configure_args="$ac_configure_args --enable-IntegerProgramming"
2457	fi
2458	else
2459	echo "$ac_t""no" 1>&6
2460	fi
2461
2462
2463	echo $ac_n "checking whether to configure and build Texinfo""... $ac_c" 1>&6
2464	echo "configure:2465: checking whether to configure and build Texinfo" >&5
2465	if test "$enable_Texinfo" != no && test -d Texinfo; then
2466	echo "$ac_t""yes" 1>&6
2467	enable_texinfo=yes
2468	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo"
2469	BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo"
2470	TEXI2DVI=${bindir}/texi2dvi
2471	MAKEINFO="${bindir}/makeinfo"
2472	TEXINDEX=${bindir}/texindex
2473
2474
2475
2476	if test "$enable_Texinfo" != yes; then
2477	ac_configure_args="$ac_configure_args --enable-Texinfo"
2478	fi
2479	else
2480	echo "$ac_t""no" 1>&6
2481	echo "configure: warning: Building of doc might fail. Need Texinfo" 1>&2
2482	enable_texinfo=no
2483	# Extract the first word of "makeinfo", so it can be a program name with args.
2484	set dummy makeinfo; ac_word=$2
2485	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2486	echo "configure:2487: checking for $ac_word" >&5
2487	if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
2488	echo $ac_n "(cached) $ac_c" 1>&6
2489	else
2490	if test -n "$MAKEINFO"; then
2491	ac_cv_prog_MAKEINFO="$MAKEINFO" # Let the user override the test.
2492	else
2493	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
2494	ac_dummy="$PATH"
2495	for ac_dir in $ac_dummy; do
2496	test -z "$ac_dir" && ac_dir=.
2497	if test -f $ac_dir/$ac_word; then
2498	ac_cv_prog_MAKEINFO="makeinfo"
2499	break
2500	fi
2501	done
2502	IFS="$ac_save_ifs"
2503	test -z "$ac_cv_prog_MAKEINFO" && ac_cv_prog_MAKEINFO="${pwd}/warn_not_found.sh makeinfo"
2504	fi
2505	fi
2506	MAKEINFO="$ac_cv_prog_MAKEINFO"
2507	if test -n "$MAKEINFO"; then
2508	echo "$ac_t""$MAKEINFO" 1>&6
2509	else
2510	echo "$ac_t""no" 1>&6
2511	fi
2512
2513	# Extract the first word of "texi2dvi", so it can be a program name with args.
2514	set dummy texi2dvi; ac_word=$2
2515	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2516	echo "configure:2517: checking for $ac_word" >&5
2517	if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
2518	echo $ac_n "(cached) $ac_c" 1>&6
2519	else
2520	if test -n "$TEXI2DVI"; then
2521	ac_cv_prog_TEXI2DVI="$TEXI2DVI" # Let the user override the test.
2522	else
2523	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
2524	ac_dummy="$PATH"
2525	for ac_dir in $ac_dummy; do
2526	test -z "$ac_dir" && ac_dir=.
2527	if test -f $ac_dir/$ac_word; then
2528	ac_cv_prog_TEXI2DVI="texi2dvi"
2529	break
2530	fi
2531	done
2532	IFS="$ac_save_ifs"
2533	test -z "$ac_cv_prog_TEXI2DVI" && ac_cv_prog_TEXI2DVI="${pwd}/warn_not_found.sh texi2dvi"
2534	fi
2535	fi
2536	TEXI2DVI="$ac_cv_prog_TEXI2DVI"
2537	if test -n "$TEXI2DVI"; then
2538	echo "$ac_t""$TEXI2DVI" 1>&6
2539	else
2540	echo "$ac_t""no" 1>&6
2541	fi
2542
2543	# Extract the first word of "texindex", so it can be a program name with args.
2544	set dummy texindex; ac_word=$2
2545	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2546	echo "configure:2547: checking for $ac_word" >&5
2547	if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
2548	echo $ac_n "(cached) $ac_c" 1>&6
2549	else
2550	if test -n "$TEXINDEX"; then
2551	ac_cv_prog_TEXINDEX="$TEXINDEX" # Let the user override the test.
2552	else
2553	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
2554	ac_dummy="$PATH"
2555	for ac_dir in $ac_dummy; do
2556	test -z "$ac_dir" && ac_dir=.
2557	if test -f $ac_dir/$ac_word; then
2558	ac_cv_prog_TEXINDEX="texindex"
2559	break
2560	fi
2561	done
2562	IFS="$ac_save_ifs"
2563	test -z "$ac_cv_prog_TEXINDEX" && ac_cv_prog_TEXINDEX="${pwd}/warn_not_found.sh texindex"
2564	fi
2565	fi
2566	TEXINDEX="$ac_cv_prog_TEXINDEX"
2567	if test -n "$TEXINDEX"; then
2568	echo "$ac_t""$TEXINDEX" 1>&6
2569	else
2570	echo "$ac_t""no" 1>&6
2571	fi
2572
2573	fi
2574
2575	echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
2576	echo "configure:2577: checking whether to configure and build Texi2html" >&5
2577	if test "$enable_Texi2html" != no && test -d Texi2html; then
2578	echo "$ac_t""yes" 1>&6
2579	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texi2html"
2580	BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html"
2581	if test "$enable_Texi2html" != yes; then
2582	ac_configure_args="$ac_configure_args --enable-Texi2html"
2583	fi
2584	TEXI2HTML=${bindir}/texi2html
2585
2586	else
2587	echo "$ac_t""no" 1>&6
2588	# Extract the first word of "texi2html", so it can be a program name with args.
2589	set dummy texi2html; ac_word=$2
2590	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
2591	echo "configure:2592: checking for $ac_word" >&5
2592	if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
2593	echo $ac_n "(cached) $ac_c" 1>&6
2594	else
2595	if test -n "$TEXI2HTML"; then
2596	ac_cv_prog_TEXI2HTML="$TEXI2HTML" # Let the user override the test.
2597	else
2598	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
2599	ac_dummy="$PATH"
2600	for ac_dir in $ac_dummy; do
2601	test -z "$ac_dir" && ac_dir=.
2602	if test -f $ac_dir/$ac_word; then
2603	ac_cv_prog_TEXI2HTML="texi2html"
2604	break
2605	fi
2606	done
2607	IFS="$ac_save_ifs"
2608	fi
2609	fi
2610	TEXI2HTML="$ac_cv_prog_TEXI2HTML"
2611	if test -n "$TEXI2HTML"; then
2612	echo "$ac_t""$TEXI2HTML" 1>&6
2613	else
2614	echo "$ac_t""no" 1>&6
2615	fi
2616
2617	fi
2618
2619	if test "${TEXI2HTML+set}" != set; then
2620	echo "configure: warning: texi2html not found. HTML doc generation will fail" 1>&2
2621	fi
2622	if test "$ac_cv_prog_LATEX2HTML" = latex2html; then
2623	TEXI2HTML_OPTS="-l2h"
2624	fi
2625
2626
2627
2628	echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
2629	echo "configure:2630: checking whether to build doc" >&5
2630	if test "$enable_doc" != no && test -d doc; then
2631	echo "$ac_t""yes" 1>&6
2632	BUILD_SUBDIRS="$BUILD_SUBDIRS doc"
2633	if test "$enable_doc" != yes; then
2634	enable_doc=yes
2635	ac_configure_args="$ac_configure_args --enable-doc"
2636	fi
2637	else
2638	enable_doc=no
2639	echo "$ac_t""no" 1>&6
2640	fi
2641
2642	echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
2643	echo "configure:2644: checking whether to build emacs" >&5
2644	if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
2645	echo "$ac_t""yes" 1>&6
2646	BUILD_SUBDIRS="$BUILD_SUBDIRS emacs"
2647	if test "$enable_emacs" != yes; then
2648	ac_configure_args="$ac_configure_args --enable-emacs"
2649	fi
2650	else
2651	echo "$ac_t""no" 1>&6
2652	fi
2653
2654	echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
2655	echo "configure:2656: checking which apint package to use" >&5
2656	if test "$with_apint" = gmp; then
2657	if test "$ac_gmp_ok" = yes \|\| test "$enable_gmp" = yes; then
2658	echo "$ac_t""gmp" 1>&6
2659	else
2660	echo "$ac_t""none" 1>&6
2661	{ echo "configure: error: can not use with gmp without finding or building it" 1>&2; exit 1; }
2662	fi
2663	elif test "$with_apint" = smallgmp; then
2664	if test "$ac_smallgmp_ok" = yes \|\| test "$enable_smallgmp" = yes; then
2665	echo "$ac_t""smallgmp" 1>&6
2666	else
2667	echo "$ac_t""none" 1>&6
2668	{ echo "configure: error: can not use with smallgmp without finding or building it" 1>&2; exit 1; }
2669	fi
2670	elif test "$ac_gmp_ok" = yes \|\| test "$enable_gmp"; then
2671	echo "$ac_t""gmp" 1>&6
2672	ac_configure_args="$ac_configure_args --with-apint=gmp"
2673	else
2674	echo "$ac_t""smallgmp" 1>&6
2675	ac_configure_args="$ac_configure_args --with-apint=smallgmp"
2676	fi
2677
2678	echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
2679	echo "configure:2680: checking whether to use with MP" >&5
2680	if test "$with_MP" = yes; then
2681	if test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes; then
2682	echo "$ac_t""yes" 1>&6
2683	else
2684	echo "$ac_t""none" 1>&6
2685	{ echo "configure: error: can not use with MP without finding or building it" 1>&2; exit 1; }
2686	fi
2687	elif test "$with_MP" = no; then
2688	echo "$ac_t""no" 1>&6
2689	elif test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes; then
2690	echo "$ac_t""yes" 1>&6
2691	ac_configure_args="$ac_configure_args --with-MP"
2692	else
2693	echo "$ac_t""no" 1>&6
2694	ac_configure_args="$ac_configure_args --without-MP"
2695	fi
2696
2697	echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
2698	echo "configure:2699: checking whether to use with factory" >&5
2699	if test "$with_factory" = yes; then
2700	if test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes; then
2701	echo "$ac_t""yes" 1>&6
2702	else
2703	echo "$ac_t""none" 1>&6
2704	{ echo "configure: error: can not use with factory without finding or building it" 1>&2; exit 1; }
2705	fi
2706	elif test "$with_factory" = no; then
2707	echo "$ac_t""no" 1>&6
2708	elif test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes; then
2709	echo "$ac_t""yes" 1>&6
2710	ac_configure_args="$ac_configure_args --with-factory"
2711	else
2712	echo "$ac_t""no" 1>&6
2713	ac_configure_args="$ac_configure_args --without-factory"
2714	fi
2715
2716	echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
2717	echo "configure:2718: checking whether to use with libfac" >&5
2718	if test "$with_libfac" = yes; then
2719	if test "$ac_libfac_ok" = yes \|\| test "$enable_libfac" = yes; then
2720	echo "$ac_t""yes" 1>&6
2721	else
2722	echo "$ac_t""none" 1>&6
2723	{ echo "configure: error: can not use with libfac without finding or building it" 1>&2; exit 1; }
2724	fi
2725	elif test "$with_libfac" = no; then
2726	echo "$ac_t""no" 1>&6
2727	elif test "$ac_libfac_ok" = yes \|\| test "$enable_libfac" = yes; then
2728	echo "$ac_t""yes" 1>&6
2729	ac_configure_args="$ac_configure_args --with-libfac"
2730	else
2731	echo "$ac_t""no" 1>&6
2732	ac_configure_args="$ac_configure_args --without-libfac"
2733	fi
2734
2735
2736	echo $ac_n "checking whether to use with mtrack""... $ac_c" 1>&6
2737	echo "configure:2738: checking whether to use with mtrack" >&5
2738	if test "$with_mtrack" != no && test "$with_mtrack" != yes; then
2739	if test "$enable_mtrack" = yes; then
2740	with_mtrack=yes
2741	else
2742	with_mtrack=no
2743	fi
2744	ac_configure_args="$ac_configure_args --with-mtrack=$with_mtrack"
2745	elif test "$with_mtrack" = yes && test "$enable_mtrack" != yes; then
2746	with_mtrack=no
2747	ac_configure_args="$ac_configure_args --with-mtrack=no"
2748	fi
2749	if test "$with_mtrack" != yes; then
2750	echo "$ac_t""no" 1>&6
2751	else
2752	echo "$ac_t""yes" 1>&6
2753	fi
2754
2755
2756	echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
2757	echo "configure:2758: checking whether to use with Singular" >&5
2758	if test "$with_Singular" != no && test "$with_Singular" != yes; then
2759	if test "$enable_Singular" = yes; then
2760	with_Singular=yes
2761	else
2762	with_Singular=no
2763	fi
2764	ac_configure_args="$ac_configure_args --with-Singular=$with_Singular"
2765	fi
2766
2767	if test "$with_Singular" != no; then
2768	echo "$ac_t""yes" 1>&6
2769	else
2770	echo "$ac_t""no" 1>&6
2771	fi
2772
2773
2774	SUBDIRS=""
2775	if test -d smallgmp; then
2776	SUBDIRS="$SUBDIRS smallgmp"
2777	fi
2778	if test -d gmp; then
2779	SUBDIRS="$SUBDIRS gmp"
2780	fi
2781	if test -d MP; then
2782	SUBDIRS="$SUBDIRS MP"
2783	fi
2784	if test -d factory; then
2785	SUBDIRS="$SUBDIRS factory"
2786	fi
2787	if test -d libfac; then
2788	SUBDIRS="$SUBDIRS libfac"
2789	fi
2790	if test -d mpr; then
2791	SUBDIRS="$SUBDIRS mpr"
2792	fi
2793	if test -d sgroup; then
2794	SUBDIRS="$SUBDIRS sgroup"
2795	fi
2796	if test -d Singular; then
2797	SUBDIRS="$SUBDIRS Singular"
2798	fi
2799	if test -d Texinfo; then
2800	SUBDIRS="$SUBDIRS Texinfo"
2801	fi
2802	if test -d Texi2html; then
2803	SUBDIRS="$SUBDIRS Texi2html"
2804	fi
2805	if test -d doc; then
2806	SUBDIRS="$SUBDIRS doc"
2807	fi
2808	if test -d emacs; then
2809	SUBDIRS="$SUBDIRS emacs"
2810	fi
2811	if test -d rpm; then
2812	SUBDIRS="$SUBDIRS rpm"
2813	fi
2814
2815
2816
2817	echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
2818	echo "configure:2819: checking whether ${MAKE-make} sets \${MAKE}" >&5
2819	set dummy ${MAKE-make}; ac_make=`echo "$2" \| sed 'y%./+-%__p_%'`
2820	if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
2821	echo $ac_n "(cached) $ac_c" 1>&6
2822	else
2823	cat > conftestmake <<\EOF
2824	all:
2825	@echo 'ac_maketemp="${MAKE}"'
2826	EOF
2827	# GNU make sometimes prints "make[1]: Entering...", which would confuse us.
2828	eval `${MAKE-make} -f conftestmake 2>/dev/null \| grep temp=`
2829	if test -n "$ac_maketemp"; then
2830	eval ac_cv_prog_make_${ac_make}_set=yes
2831	else
2832	eval ac_cv_prog_make_${ac_make}_set=no
2833	fi
2834	rm -f conftestmake
2835	fi
2836	if eval "test \"`echo '$ac_cv_prog_make_'${ac_make}_set`\" = yes"; then
2837	echo "$ac_t""yes" 1>&6
2838	SET_MAKE=
2839	else
2840	echo "$ac_t""no" 1>&6
2841	SET_MAKE="MAKE=${MAKE-make}"
2842	fi
2843
2844
2845
2846
2847	subdirs="$CONFIG_SUBDIRS"
2848
2849
2850	trap '' 1 2 15
2851	cat > confcache <<\EOF
2852	# This file is a shell script that caches the results of configure
2853	# tests run on this system so they can be shared between configure
2854	# scripts and configure runs. It is not useful on other systems.
2855	# If it contains results you don't want to keep, you may remove or edit it.
2856	#
2857	# By default, configure uses ./config.cache as the cache file,
2858	# creating it if it does not exist already. You can give configure
2859	# the --cache-file=FILE option to use a different cache file; that is
2860	# what configure does when it calls configure scripts in
2861	# subdirectories, so they share the cache.
2862	# Giving --cache-file=/dev/null disables caching, for debugging configure.
2863	# config.status only pays attention to the cache file if you give it the
2864	# --recheck option to rerun configure.
2865	#
2866	EOF
2867	# The following way of writing the cache mishandles newlines in values,
2868	# but we know of no workaround that is simple, portable, and efficient.
2869	# So, don't put newlines in cache variables' values.
2870	# Ultrix sh set writes to stderr and can't be redirected directly,
2871	# and sets the high bit in the cache file unless we assign to the vars.
2872	(set) 2>&1 \|
2873	case `(ac_space=' '; set \| grep ac_space) 2>&1` in
2874	ac_space=\ )
2875	# `set' does not quote correctly, so add quotes (double-quote substitution
2876	# turns \\\\ into \\, and sed turns \\ into \).
2877	sed -n \
2878	-e "s/'/'\\\\''/g" \
2879	-e "s/^\$[a-zA-Z0-9_]_cv_[a-zA-Z0-9_]\$=\$.*\$/\\1=\${\\1='\\2'}/p"
2880	;;
2881	*)
2882	# `set' quotes correctly as required by POSIX, so do not add quotes.
2883	sed -n -e 's/^$[a-zA-Z0-9_]_cv_[a-zA-Z0-9_]$=$.*$/\1=${\1=\2}/p'
2884	;;
2885	esac >> confcache
2886	if cmp -s $cache_file confcache; then
2887	:
2888	else
2889	if test -w $cache_file; then
2890	echo "updating cache $cache_file"
2891	cat confcache > $cache_file
2892	else
2893	echo "not updating unwritable cache $cache_file"
2894	fi
2895	fi
2896	rm -f confcache
2897
2898	trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
2899
2900	test "x$prefix" = xNONE && prefix=$ac_default_prefix
2901	# Let make expand exec_prefix.
2902	test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
2903
2904	# Any assignment to VPATH causes Sun make to only execute
2905	# the first set of double-colon rules, so remove it if not needed.
2906	# If there is a colon in the path, we need to keep it.
2907	if test "x$srcdir" = x.; then
2908	ac_vpsub='/^[ ]VPATH[ ]=[^:]*$/d'
2909	fi
2910
2911	trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
2912
2913	# Transform confdefs.h into DEFS.
2914	# Protect against shell expansion while executing Makefile rules.
2915	# Protect against Makefile macro expansion.
2916	cat > conftest.defs <<\EOF
2917	s%#define $[A-Za-z_][A-Za-z0-9_]$ $.*$%-D\1=\2%g
2918	s%[ `~#$^&*(){}\\\|;'"<>?]%\\&%g
2919	s%\[%\\&%g
2920	s%\]%\\&%g
2921	s%\$%$$%g
2922	EOF
2923	DEFS=`sed -f conftest.defs confdefs.h \| tr '\012' ' '`
2924	rm -f conftest.defs
2925
2926
2927	# Without the "./", some shells look in PATH for config.status.
2928	: ${CONFIG_STATUS=./config.status}
2929
2930	echo creating $CONFIG_STATUS
2931	rm -f $CONFIG_STATUS
2932	cat > $CONFIG_STATUS <<EOF
2933	#! /bin/sh
2934	# Generated automatically by configure.
2935	# Run this file to recreate the current configuration.
2936	# This directory was configured as follows,
2937	# on host `(hostname \|\| uname -n) 2>/dev/null \| sed 1q`:
2938	#
2939	# $0 $ac_configure_args
2940	#
2941	# Compiler output produced by configure, useful for debugging
2942	# configure, is in ./config.log if it exists.
2943
2944	ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
2945	for ac_option
2946	do
2947	case "\$ac_option" in
2948	-recheck \| --recheck \| --rechec \| --reche \| --rech \| --rec \| --re \| --r)
2949	echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
2950	exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
2951	-version \| --version \| --versio \| --versi \| --vers \| --ver \| --ve \| --v)
2952	echo "$CONFIG_STATUS generated by autoconf version 2.13"
2953	exit 0 ;;
2954	-help \| --help \| --hel \| --he \| --h)
2955	echo "\$ac_cs_usage"; exit 0 ;;
2956	*) echo "\$ac_cs_usage"; exit 1 ;;
2957	esac
2958	done
2959
2960	ac_given_srcdir=$srcdir
2961	ac_given_INSTALL="$INSTALL"
2962
2963	trap 'rm -fr `echo "${OUTPUT_MAKEFILES}" \| sed "s/:[^ ]//g"` conftest; exit 1' 1 2 15
2964	EOF
2965	cat >> $CONFIG_STATUS <<EOF
2966
2967	# Protect against being on the right side of a sed subst in config.status.
2968	sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
2969	s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
2970	$ac_vpsub
2971	$extrasub
2972	s%@SHELL@%$SHELL%g
2973	s%@CFLAGS@%$CFLAGS%g
2974	s%@CPPFLAGS@%$CPPFLAGS%g
2975	s%@CXXFLAGS@%$CXXFLAGS%g
2976	s%@FFLAGS@%$FFLAGS%g
2977	s%@DEFS@%$DEFS%g
2978	s%@LDFLAGS@%$LDFLAGS%g
2979	s%@LIBS@%$LIBS%g
2980	s%@exec_prefix@%$exec_prefix%g
2981	s%@prefix@%$prefix%g
2982	s%@program_transform_name@%$program_transform_name%g
2983	s%@bindir@%$bindir%g
2984	s%@sbindir@%$sbindir%g
2985	s%@libexecdir@%$libexecdir%g
2986	s%@datadir@%$datadir%g
2987	s%@sysconfdir@%$sysconfdir%g
2988	s%@sharedstatedir@%$sharedstatedir%g
2989	s%@localstatedir@%$localstatedir%g
2990	s%@libdir@%$libdir%g
2991	s%@includedir@%$includedir%g
2992	s%@oldincludedir@%$oldincludedir%g
2993	s%@infodir@%$infodir%g
2994	s%@mandir@%$mandir%g
2995	s%@SINGULAR_VERSION@%$SINGULAR_VERSION%g
2996	s%@VERSION_DATE@%$VERSION_DATE%g
2997	s%@SINGULAR_SHORT_VERSION@%$SINGULAR_SHORT_VERSION%g
2998	s%@SINGULAR_ROOT_DIR@%$SINGULAR_ROOT_DIR%g
2999	s%@SINGUNAME@%$SINGUNAME%g
3000	s%@SING_UNAME@%$SING_UNAME%g
3001	s%@CC@%$CC%g
3002	s%@CPP@%$CPP%g
3003	s%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%g
3004	s%@INSTALL_SCRIPT@%$INSTALL_SCRIPT%g
3005	s%@INSTALL_DATA@%$INSTALL_DATA%g
3006	s%@CXX@%$CXX%g
3007	s%@PIPE@%$PIPE%g
3008	s%@PERL@%$PERL%g
3009	s%@UUDECODE@%$UUDECODE%g
3010	s%@GUNZIP@%$GUNZIP%g
3011	s%@MYGZIP@%$MYGZIP%g
3012	s%@LATEX2HTML@%$LATEX2HTML%g
3013	s%@LN_S@%$LN_S%g
3014	s%@MKINSTALLDIRS@%$MKINSTALLDIRS%g
3015	s%@SINGULAR@%$SINGULAR%g
3016	s%@TMP_DIR@%$TMP_DIR%g
3017	s%@TEXI2DVI@%$TEXI2DVI%g
3018	s%@MAKEINFO@%$MAKEINFO%g
3019	s%@TEXINDEX@%$TEXINDEX%g
3020	s%@TEXI2HTML@%$TEXI2HTML%g
3021	s%@TEXI2HTML_OPTS@%$TEXI2HTML_OPTS%g
3022	s%@SET_MAKE@%$SET_MAKE%g
3023	s%@SUBDIRS@%$SUBDIRS%g
3024	s%@BUILD_SUBDIRS@%$BUILD_SUBDIRS%g
3025	s%@CONFIG_SUBDIRS@%$CONFIG_SUBDIRS%g
3026	s%@subdirs@%$subdirs%g
3027
3028	CEOF
3029	EOF
3030
3031	cat >> $CONFIG_STATUS <<\EOF
3032
3033	# Split the substitutions into bite-sized pieces for seds with
3034	# small command number limits, like on Digital OSF/1 and HP-UX.
3035	ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
3036	ac_file=1 # Number of current file.
3037	ac_beg=1 # First line for current file.
3038	ac_end=$ac_max_sed_cmds # Line after last line for current file.
3039	ac_more_lines=:
3040	ac_sed_cmds=""
3041	while $ac_more_lines; do
3042	if test $ac_beg -gt 1; then
3043	sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
3044	else
3045	sed "${ac_end}q" conftest.subs > conftest.s$ac_file
3046	fi
3047	if test ! -s conftest.s$ac_file; then
3048	ac_more_lines=false
3049	rm -f conftest.s$ac_file
3050	else
3051	if test -z "$ac_sed_cmds"; then
3052	ac_sed_cmds="sed -f conftest.s$ac_file"
3053	else
3054	ac_sed_cmds="$ac_sed_cmds \| sed -f conftest.s$ac_file"
3055	fi
3056	ac_file=`expr $ac_file + 1`
3057	ac_beg=$ac_end
3058	ac_end=`expr $ac_end + $ac_max_sed_cmds`
3059	fi
3060	done
3061	if test -z "$ac_sed_cmds"; then
3062	ac_sed_cmds=cat
3063	fi
3064	EOF
3065
3066	cat >> $CONFIG_STATUS <<EOF
3067
3068	CONFIG_FILES=\${CONFIG_FILES-"${OUTPUT_MAKEFILES}"}
3069	EOF
3070	cat >> $CONFIG_STATUS <<\EOF
3071	for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
3072	# Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
3073	case "$ac_file" in
3074	:) ac_file_in=`echo "$ac_file"\|sed 's%[^:]*:%%'`
3075	ac_file=`echo "$ac_file"\|sed 's%:.*%%'` ;;
3076	*) ac_file_in="${ac_file}.in" ;;
3077	esac
3078
3079	# Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
3080
3081	# Remove last slash and all that follows it. Not all systems have dirname.
3082	ac_dir=`echo $ac_file\|sed 's%/[^/][^/]*$%%'`
3083	if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
3084	# The file is in a subdirectory.
3085	test ! -d "$ac_dir" && mkdir "$ac_dir"
3086	ac_dir_suffix="/`echo $ac_dir\|sed 's%^\./%%'`"
3087	# A "../" for each directory in $ac_dir_suffix.
3088	ac_dots=`echo $ac_dir_suffix\|sed 's%/[^/]*%../%g'`
3089	else
3090	ac_dir_suffix= ac_dots=
3091	fi
3092
3093	case "$ac_given_srcdir" in
3094	.) srcdir=.
3095	if test -z "$ac_dots"; then top_srcdir=.
3096	else top_srcdir=`echo $ac_dots\|sed 's%/$%%'`; fi ;;
3097	/*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
3098	*) # Relative path.
3099	srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
3100	top_srcdir="$ac_dots$ac_given_srcdir" ;;
3101	esac
3102
3103	case "$ac_given_INSTALL" in
3104	[/$]*) INSTALL="$ac_given_INSTALL" ;;
3105	*) INSTALL="$ac_dots$ac_given_INSTALL" ;;
3106	esac
3107
3108	echo creating "$ac_file"
3109	rm -f "$ac_file"
3110	configure_input="Generated automatically from `echo $ac_file_in\|sed 's%.*/%%'` by configure."
3111	case "$ac_file" in
3112	Makefile) ac_comsub="1i\\
3113	# $configure_input" ;;
3114	*) ac_comsub= ;;
3115	esac
3116
3117	ac_file_inputs=`echo $ac_file_in\|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
3118	sed -e "$ac_comsub
3119	s%@configure_input@%$configure_input%g
3120	s%@srcdir@%$srcdir%g
3121	s%@top_srcdir@%$top_srcdir%g
3122	s%@INSTALL@%$INSTALL%g
3123	" $ac_file_inputs \| (eval "$ac_sed_cmds") > $ac_file
3124	fi; done
3125	rm -f conftest.s*
3126
3127	EOF
3128	cat >> $CONFIG_STATUS <<EOF
3129
3130	EOF
3131	cat >> $CONFIG_STATUS <<\EOF
3132
3133	exit 0
3134	EOF
3135	chmod +x $CONFIG_STATUS
3136	rm -fr confdefs* $ac_clean_files
3137	test "$no_create" = yes \|\| ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS \|\| exit 1
3138
3139	if test "$no_recursion" != yes; then
3140
3141	# Remove --cache-file and --srcdir arguments so they do not pile up.
3142	ac_sub_configure_args=
3143	ac_prev=
3144	for ac_arg in $ac_configure_args; do
3145	if test -n "$ac_prev"; then
3146	ac_prev=
3147	continue
3148	fi
3149	case "$ac_arg" in
3150	-cache-file \| --cache-file \| --cache-fil \| --cache-fi \
3151	\| --cache-f \| --cache- \| --cache \| --cach \| --cac \| --ca \| --c)
3152	ac_prev=cache_file ;;
3153	-cache-file=* \| --cache-file=* \| --cache-fil=* \| --cache-fi=* \
3154	\| --cache-f=* \| --cache-=* \| --cache=* \| --cach=* \| --cac=* \| --ca=* \| --c=*)
3155	;;
3156	-srcdir \| --srcdir \| --srcdi \| --srcd \| --src \| --sr)
3157	ac_prev=srcdir ;;
3158	-srcdir=* \| --srcdir=* \| --srcdi=* \| --srcd=* \| --src=* \| --sr=*)
3159	;;
3160	*) ac_sub_configure_args="$ac_sub_configure_args $ac_arg" ;;
3161	esac
3162	done
3163
3164	for ac_config_dir in $CONFIG_SUBDIRS; do
3165
3166	# Do not complain, so a configure script can configure whichever
3167	# parts of a large source tree are present.
3168	if test ! -d $srcdir/$ac_config_dir; then
3169	continue
3170	fi
3171
3172	echo configuring in $ac_config_dir
3173
3174	case "$srcdir" in
3175	.) ;;
3176	*)
3177	if test -d ./$ac_config_dir \|\| mkdir ./$ac_config_dir; then :;
3178	else
3179	{ echo "configure: error: can not create `pwd`/$ac_config_dir" 1>&2; exit 1; }
3180	fi
3181	;;
3182	esac
3183
3184	ac_popdir=`pwd`
3185	cd $ac_config_dir
3186
3187	# A "../" for each directory in /$ac_config_dir.
3188	ac_dots=`echo $ac_config_dir\|sed -e 's%^\./%%' -e 's%[^/]$%&/%' -e 's%[^/]*/%../%g'`
3189
3190	case "$srcdir" in
3191	.) # No --srcdir option. We are building in place.
3192	ac_sub_srcdir=$srcdir ;;
3193	/*) # Absolute path.
3194	ac_sub_srcdir=$srcdir/$ac_config_dir ;;
3195	*) # Relative path.
3196	ac_sub_srcdir=$ac_dots$srcdir/$ac_config_dir ;;
3197	esac
3198
3199	# Check for guested configure; otherwise get Cygnus style configure.
3200	if test -f $ac_sub_srcdir/configure; then
3201	ac_sub_configure=$ac_sub_srcdir/configure
3202	elif test -f $ac_sub_srcdir/configure.in; then
3203	ac_sub_configure=$ac_configure
3204	else
3205	echo "configure: warning: no configuration information is in $ac_config_dir" 1>&2
3206	ac_sub_configure=
3207	fi
3208
3209	# The recursion is here.
3210	if test -n "$ac_sub_configure"; then
3211
3212	# Make the cache file name correct relative to the subdirectory.
3213	case "$cache_file" in
3214	/*) ac_sub_cache_file=$cache_file ;;
3215	*) # Relative path.
3216	ac_sub_cache_file="$ac_dots$cache_file" ;;
3217	esac
3218	case "$ac_given_INSTALL" in
3219	[/$]*) INSTALL="$ac_given_INSTALL" ;;
3220	*) INSTALL="$ac_dots$ac_given_INSTALL" ;;
3221	esac
3222
3223	echo "running ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir"
3224	# The eval makes quoting arguments work.
3225	if eval ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir
3226	then :
3227	else
3228	{ echo "configure: error: $ac_sub_configure failed for $ac_config_dir" 1>&2; exit 1; }
3229	fi
3230	fi
3231
3232	cd $ac_popdir
3233	done
3234	fi
3235

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

Download in other formats:

Original Format