Context Navigation

source: git/configure @ dcc635

spielwiese

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

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

Download in other formats:

Original Format