Context Navigation

source: git/configure @ e3663f1

spielwiese

Last change on this file since e3663f1 was 463f21c, checked in by Olaf Bachmann <obachman@…>, 25 years ago
* increased version to 1.3.6 * Makefile changes git-svn-id: file:///usr/local/Singular/svn/trunk@3786 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100755`
File size: 79.0 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 "rpm"; then
579	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/Makefile"
580	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" rpm/rpmrc rpm/Singular.spec"
581	fi
582	if test -d "modules"; then
583	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/Makefile"
584	fi
585	if test -d "modules/tools"; then
586	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" modules/tools/Makefile"
587	fi
588	if test -d "emacs"; then
589	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" emacs/Makefile"
590	fi
591
592	echo $ac_n "checking uname for singular""... $ac_c" 1>&6
593	echo "configure:594: checking uname for singular" >&5
594	if eval "test \"`echo '$''{'ac_cv_singuname'+set}'`\" = set"; then
595	echo $ac_n "(cached) $ac_c" 1>&6
596	else
597	ac_cv_singuname="unknown"
598	if test -r "singuname.sh"; then
599	if (/bin/sh singuname.sh >/dev/null 2>&1) then
600	ac_cv_singuname=`/bin/sh singuname.sh`
601	fi
602	fi
603
604	fi
605
606	echo "$ac_t""$ac_cv_singuname" 1>&6
607	if test "$ac_cv_singuname" = unknown; then
608	{ echo "configure: error: Unknown architecture: Check singuname.sh" 1>&2; exit 1; }
609	else
610	SINGUNAME=$ac_cv_singuname
611
612	fi
613
614	VERSION_SEP="-"
615
616	# make them to env variables
617	# pass them indirectly to subsequent configures
618	SINGULAR_MAJOR_VERSION=1
619	SINGULAR_MINOR_VERSION=3
620	SINGULAR_SUB_VERSION=6
621	SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
622	SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
623	VERSION_DATE="October 1999"
624
625	export SINGULAR_MINOR_VERSION
626	export SINGULAR_MAJOR_VERSION
627	export SINGULAR_SUB_VERSION
628	export SINGULAR_VERSION
629	export VERSION_DATE
630
631
632
633
634
635	# Extract the first word of "gcc", so it can be a program name with args.
636	set dummy gcc; ac_word=$2
637	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
638	echo "configure:639: checking for $ac_word" >&5
639	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
640	echo $ac_n "(cached) $ac_c" 1>&6
641	else
642	if test -n "$CC"; then
643	ac_cv_prog_CC="$CC" # Let the user override the test.
644	else
645	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
646	ac_dummy="$PATH"
647	for ac_dir in $ac_dummy; do
648	test -z "$ac_dir" && ac_dir=.
649	if test -f $ac_dir/$ac_word; then
650	ac_cv_prog_CC="gcc"
651	break
652	fi
653	done
654	IFS="$ac_save_ifs"
655	fi
656	fi
657	CC="$ac_cv_prog_CC"
658	if test -n "$CC"; then
659	echo "$ac_t""$CC" 1>&6
660	else
661	echo "$ac_t""no" 1>&6
662	fi
663
664	if test -z "$CC"; then
665	# Extract the first word of "cc", so it can be a program name with args.
666	set dummy cc; ac_word=$2
667	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
668	echo "configure:669: checking for $ac_word" >&5
669	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
670	echo $ac_n "(cached) $ac_c" 1>&6
671	else
672	if test -n "$CC"; then
673	ac_cv_prog_CC="$CC" # Let the user override the test.
674	else
675	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
676	ac_prog_rejected=no
677	ac_dummy="$PATH"
678	for ac_dir in $ac_dummy; do
679	test -z "$ac_dir" && ac_dir=.
680	if test -f $ac_dir/$ac_word; then
681	if test "$ac_dir/$ac_word" = "/usr/ucb/cc"; then
682	ac_prog_rejected=yes
683	continue
684	fi
685	ac_cv_prog_CC="cc"
686	break
687	fi
688	done
689	IFS="$ac_save_ifs"
690	if test $ac_prog_rejected = yes; then
691	# We found a bogon in the path, so make sure we never use it.
692	set dummy $ac_cv_prog_CC
693	shift
694	if test $# -gt 0; then
695	# We chose a different compiler from the bogus one.
696	# However, it has the same basename, so the bogon will be chosen
697	# first if we set CC to just the basename; use the full file name.
698	shift
699	set dummy "$ac_dir/$ac_word" "$@"
700	shift
701	ac_cv_prog_CC="$@"
702	fi
703	fi
704	fi
705	fi
706	CC="$ac_cv_prog_CC"
707	if test -n "$CC"; then
708	echo "$ac_t""$CC" 1>&6
709	else
710	echo "$ac_t""no" 1>&6
711	fi
712
713	if test -z "$CC"; then
714	case "`uname -s`" in
715	win32 \| WIN32)
716	# Extract the first word of "cl", so it can be a program name with args.
717	set dummy cl; ac_word=$2
718	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
719	echo "configure:720: checking for $ac_word" >&5
720	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
721	echo $ac_n "(cached) $ac_c" 1>&6
722	else
723	if test -n "$CC"; then
724	ac_cv_prog_CC="$CC" # Let the user override the test.
725	else
726	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
727	ac_dummy="$PATH"
728	for ac_dir in $ac_dummy; do
729	test -z "$ac_dir" && ac_dir=.
730	if test -f $ac_dir/$ac_word; then
731	ac_cv_prog_CC="cl"
732	break
733	fi
734	done
735	IFS="$ac_save_ifs"
736	fi
737	fi
738	CC="$ac_cv_prog_CC"
739	if test -n "$CC"; then
740	echo "$ac_t""$CC" 1>&6
741	else
742	echo "$ac_t""no" 1>&6
743	fi
744	;;
745	esac
746	fi
747	test -z "$CC" && { echo "configure: error: no acceptable cc found in \$PATH" 1>&2; exit 1; }
748	fi
749
750	echo $ac_n "checking whether the C compiler ($CC $CFLAGS $LDFLAGS) works""... $ac_c" 1>&6
751	echo "configure:752: checking whether the C compiler ($CC $CFLAGS $LDFLAGS) works" >&5
752
753	ac_ext=c
754	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
755	ac_cpp='$CPP $CPPFLAGS'
756	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
757	ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
758	cross_compiling=$ac_cv_prog_cc_cross
759
760	cat > conftest.$ac_ext << EOF
761
762	#line 763 "configure"
763	#include "confdefs.h"
764
765	main(){return(0);}
766	EOF
767	if { (eval echo configure:768: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
768	ac_cv_prog_cc_works=yes
769	# If we can't run a trivial program, we are probably using a cross compiler.
770	if (./conftest; exit) 2>/dev/null; then
771	ac_cv_prog_cc_cross=no
772	else
773	ac_cv_prog_cc_cross=yes
774	fi
775	else
776	echo "configure: failed program was:" >&5
777	cat conftest.$ac_ext >&5
778	ac_cv_prog_cc_works=no
779	fi
780	rm -fr conftest*
781	ac_ext=c
782	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
783	ac_cpp='$CPP $CPPFLAGS'
784	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
785	ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
786	cross_compiling=$ac_cv_prog_cc_cross
787
788	echo "$ac_t""$ac_cv_prog_cc_works" 1>&6
789	if test $ac_cv_prog_cc_works = no; then
790	{ echo "configure: error: installation or configuration problem: C compiler cannot create executables." 1>&2; exit 1; }
791	fi
792	echo $ac_n "checking whether the C compiler ($CC $CFLAGS $LDFLAGS) is a cross-compiler""... $ac_c" 1>&6
793	echo "configure:794: checking whether the C compiler ($CC $CFLAGS $LDFLAGS) is a cross-compiler" >&5
794	echo "$ac_t""$ac_cv_prog_cc_cross" 1>&6
795	cross_compiling=$ac_cv_prog_cc_cross
796
797	echo $ac_n "checking whether we are using GNU C""... $ac_c" 1>&6
798	echo "configure:799: checking whether we are using GNU C" >&5
799	if eval "test \"`echo '$''{'ac_cv_prog_gcc'+set}'`\" = set"; then
800	echo $ac_n "(cached) $ac_c" 1>&6
801	else
802	cat > conftest.c <<EOF
803	#ifdef __GNUC__
804	yes;
805	#endif
806	EOF
807	if { ac_try='${CC-cc} -E conftest.c'; { (eval echo configure:808: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } \| egrep yes >/dev/null 2>&1; then
808	ac_cv_prog_gcc=yes
809	else
810	ac_cv_prog_gcc=no
811	fi
812	fi
813
814	echo "$ac_t""$ac_cv_prog_gcc" 1>&6
815
816	if test $ac_cv_prog_gcc = yes; then
817	GCC=yes
818	else
819	GCC=
820	fi
821
822	ac_test_CFLAGS="${CFLAGS+set}"
823	ac_save_CFLAGS="$CFLAGS"
824	CFLAGS=
825	echo $ac_n "checking whether ${CC-cc} accepts -g""... $ac_c" 1>&6
826	echo "configure:827: checking whether ${CC-cc} accepts -g" >&5
827	if eval "test \"`echo '$''{'ac_cv_prog_cc_g'+set}'`\" = set"; then
828	echo $ac_n "(cached) $ac_c" 1>&6
829	else
830	echo 'void f(){}' > conftest.c
831	if test -z "`${CC-cc} -g -c conftest.c 2>&1`"; then
832	ac_cv_prog_cc_g=yes
833	else
834	ac_cv_prog_cc_g=no
835	fi
836	rm -f conftest*
837
838	fi
839
840	echo "$ac_t""$ac_cv_prog_cc_g" 1>&6
841	if test "$ac_test_CFLAGS" = set; then
842	CFLAGS="$ac_save_CFLAGS"
843	elif test $ac_cv_prog_cc_g = yes; then
844	if test "$GCC" = yes; then
845	CFLAGS="-g -O2"
846	else
847	CFLAGS="-g"
848	fi
849	else
850	if test "$GCC" = yes; then
851	CFLAGS="-O2"
852	else
853	CFLAGS=
854	fi
855	fi
856
857	echo $ac_n "checking how to run the C preprocessor""... $ac_c" 1>&6
858	echo "configure:859: checking how to run the C preprocessor" >&5
859	# On Suns, sometimes $CPP names a directory.
860	if test -n "$CPP" && test -d "$CPP"; then
861	CPP=
862	fi
863	if test -z "$CPP"; then
864	if eval "test \"`echo '$''{'ac_cv_prog_CPP'+set}'`\" = set"; then
865	echo $ac_n "(cached) $ac_c" 1>&6
866	else
867	# This must be in double quotes, not single quotes, because CPP may get
868	# substituted into the Makefile and "${CC-cc}" will confuse make.
869	CPP="${CC-cc} -E"
870	# On the NeXT, cc -E runs the code through the compiler's parser,
871	# not just through cpp.
872	cat > conftest.$ac_ext <<EOF
873	#line 874 "configure"
874	#include "confdefs.h"
875	#include <assert.h>
876	Syntax Error
877	EOF
878	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
879	{ (eval echo configure:880: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
880	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
881	if test -z "$ac_err"; then
882	:
883	else
884	echo "$ac_err" >&5
885	echo "configure: failed program was:" >&5
886	cat conftest.$ac_ext >&5
887	rm -rf conftest*
888	CPP="${CC-cc} -E -traditional-cpp"
889	cat > conftest.$ac_ext <<EOF
890	#line 891 "configure"
891	#include "confdefs.h"
892	#include <assert.h>
893	Syntax Error
894	EOF
895	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
896	{ (eval echo configure:897: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
897	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
898	if test -z "$ac_err"; then
899	:
900	else
901	echo "$ac_err" >&5
902	echo "configure: failed program was:" >&5
903	cat conftest.$ac_ext >&5
904	rm -rf conftest*
905	CPP="${CC-cc} -nologo -E"
906	cat > conftest.$ac_ext <<EOF
907	#line 908 "configure"
908	#include "confdefs.h"
909	#include <assert.h>
910	Syntax Error
911	EOF
912	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
913	{ (eval echo configure:914: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
914	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
915	if test -z "$ac_err"; then
916	:
917	else
918	echo "$ac_err" >&5
919	echo "configure: failed program was:" >&5
920	cat conftest.$ac_ext >&5
921	rm -rf conftest*
922	CPP=/lib/cpp
923	fi
924	rm -f conftest*
925	fi
926	rm -f conftest*
927	fi
928	rm -f conftest*
929	ac_cv_prog_CPP="$CPP"
930	fi
931	CPP="$ac_cv_prog_CPP"
932	else
933	ac_cv_prog_CPP="$CPP"
934	fi
935	echo "$ac_t""$CPP" 1>&6
936
937	echo $ac_n "checking for AIX""... $ac_c" 1>&6
938	echo "configure:939: checking for AIX" >&5
939	cat > conftest.$ac_ext <<EOF
940	#line 941 "configure"
941	#include "confdefs.h"
942	#ifdef _AIX
943	yes
944	#endif
945
946	EOF
947	if (eval "$ac_cpp conftest.$ac_ext") 2>&5 \|
948	egrep "yes" >/dev/null 2>&1; then
949	rm -rf conftest*
950	echo "$ac_t""yes" 1>&6; cat >> confdefs.h <<\EOF
951	#define _ALL_SOURCE 1
952	EOF
953
954	else
955	rm -rf conftest*
956	echo "$ac_t""no" 1>&6
957	fi
958	rm -f conftest*
959
960
961
962	for ac_prog in perl5 perl
963	do
964	# Extract the first word of "$ac_prog", so it can be a program name with args.
965	set dummy $ac_prog; ac_word=$2
966	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
967	echo "configure:968: checking for $ac_word" >&5
968	if eval "test \"`echo '$''{'ac_cv_prog_PERL'+set}'`\" = set"; then
969	echo $ac_n "(cached) $ac_c" 1>&6
970	else
971	if test -n "$PERL"; then
972	ac_cv_prog_PERL="$PERL" # Let the user override the test.
973	else
974	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
975	ac_dummy="$PATH"
976	for ac_dir in $ac_dummy; do
977	test -z "$ac_dir" && ac_dir=.
978	if test -f $ac_dir/$ac_word; then
979	ac_cv_prog_PERL="$ac_prog"
980	break
981	fi
982	done
983	IFS="$ac_save_ifs"
984	fi
985	fi
986	PERL="$ac_cv_prog_PERL"
987	if test -n "$PERL"; then
988	echo "$ac_t""$PERL" 1>&6
989	else
990	echo "$ac_t""no" 1>&6
991	fi
992
993	test -n "$PERL" && break
994	done
995
996	# Extract the first word of "latex2html", so it can be a program name with args.
997	set dummy latex2html; ac_word=$2
998	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
999	echo "configure:1000: checking for $ac_word" >&5
1000	if eval "test \"`echo '$''{'ac_cv_prog_LATEX2HTML'+set}'`\" = set"; then
1001	echo $ac_n "(cached) $ac_c" 1>&6
1002	else
1003	if test -n "$LATEX2HTML"; then
1004	ac_cv_prog_LATEX2HTML="$LATEX2HTML" # Let the user override the test.
1005	else
1006	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1007	ac_dummy="$PATH"
1008	for ac_dir in $ac_dummy; do
1009	test -z "$ac_dir" && ac_dir=.
1010	if test -f $ac_dir/$ac_word; then
1011	ac_cv_prog_LATEX2HTML="latex2html"
1012	break
1013	fi
1014	done
1015	IFS="$ac_save_ifs"
1016	fi
1017	fi
1018	LATEX2HTML="$ac_cv_prog_LATEX2HTML"
1019	if test -n "$LATEX2HTML"; then
1020	echo "$ac_t""$LATEX2HTML" 1>&6
1021	else
1022	echo "$ac_t""no" 1>&6
1023	fi
1024
1025	echo $ac_n "checking whether ln -s works""... $ac_c" 1>&6
1026	echo "configure:1027: checking whether ln -s works" >&5
1027	if eval "test \"`echo '$''{'ac_cv_prog_LN_S'+set}'`\" = set"; then
1028	echo $ac_n "(cached) $ac_c" 1>&6
1029	else
1030	rm -f conftestdata
1031	if ln -s X conftestdata 2>/dev/null
1032	then
1033	rm -f conftestdata
1034	ac_cv_prog_LN_S="ln -s"
1035	else
1036	ac_cv_prog_LN_S=ln
1037	fi
1038	fi
1039	LN_S="$ac_cv_prog_LN_S"
1040	if test "$ac_cv_prog_LN_S" = "ln -s"; then
1041	echo "$ac_t""yes" 1>&6
1042	else
1043	echo "$ac_t""no" 1>&6
1044	fi
1045
1046	if test -d Texi2html; then
1047	if test -r ${T2H_HOME}/texi2html.init; then
1048	TEXI2HTML=`pwd`/Texi2html/texi2html.pl
1049	else
1050	TEXI2HTML=`pwd`/Texi2html/texi2html
1051	fi
1052
1053	else
1054	echo "configure: warning: could not find Texi2html/texi2html HTML generation might fail" 1>&2
1055	# Extract the first word of "texi2html", so it can be a program name with args.
1056	set dummy texi2html; ac_word=$2
1057	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1058	echo "configure:1059: checking for $ac_word" >&5
1059	if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
1060	echo $ac_n "(cached) $ac_c" 1>&6
1061	else
1062	if test -n "$TEXI2HTML"; then
1063	ac_cv_prog_TEXI2HTML="$TEXI2HTML" # Let the user override the test.
1064	else
1065	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1066	ac_dummy="$PATH"
1067	for ac_dir in $ac_dummy; do
1068	test -z "$ac_dir" && ac_dir=.
1069	if test -f $ac_dir/$ac_word; then
1070	ac_cv_prog_TEXI2HTML="texi2html"
1071	break
1072	fi
1073	done
1074	IFS="$ac_save_ifs"
1075	fi
1076	fi
1077	TEXI2HTML="$ac_cv_prog_TEXI2HTML"
1078	if test -n "$TEXI2HTML"; then
1079	echo "$ac_t""$TEXI2HTML" 1>&6
1080	else
1081	echo "$ac_t""no" 1>&6
1082	fi
1083
1084	fi
1085	if test "$ac_cv_prog_LATEX2HTML" = latex2html; then
1086	TEXI2HTML_OPTS="-l2h"
1087	fi
1088
1089
1090	# expand prefix and pass it to subsequent configures
1091	if test "x$prefix" = xNONE; then
1092	prefix=${ac_default_prefix}
1093	ac_configure_args="$ac_configure_args --prefix=${prefix}"
1094	fi
1095
1096	# expand exec_prefix
1097	if test "x$exec_prefix" = xNONE; then
1098	exec_prefix=${prefix}/${ac_cv_singuname}
1099	ac_configure_args="$ac_configure_args --exec_prefix=${exec_prefix}"
1100	fi
1101
1102	# expand bindir
1103	if test "x$bindir" = 'x${exec_prefix}/bin'; then
1104	bindir="${exec_prefix}"
1105	ac_configure_args="$ac_configure_args --bindir=${bindir}"
1106	fi
1107
1108	# expand libdir
1109	if test "x$libdir" = 'x${exec_prefix}/lib'; then
1110	libdir="${exec_prefix}/lib"
1111	ac_configure_args="$ac_configure_args --libdir=${libdir}"
1112	fi
1113
1114	# expand includedir
1115	if test "x$includedir" = 'x${prefix}/include'; then
1116	includedir="${exec_prefix}/include"
1117	ac_configure_args="$ac_configure_args --includedir=${includedir}"
1118	fi
1119
1120	# construct name of installed Singular executable
1121	SINGULAR=${bindir}/Singular-${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}
1122	export SINGULAR
1123
1124
1125
1126	# add -I to CPPFLAGS and -L to LDFLAGS, just to be sure
1127	LDFLAGS="-L${libdir} ${LDFLAGS}"
1128	CPPFLAGS="-I${includedir} ${CPPFLAGS}"
1129
1130	# check for AIX
1131	echo $ac_n "checking whether _AIX is defined""... $ac_c" 1>&6
1132	echo "configure:1133: checking whether _AIX is defined" >&5
1133	if eval "test \"`echo '$''{'ac_cv_is_aix'+set}'`\" = set"; then
1134	echo $ac_n "(cached) $ac_c" 1>&6
1135	else
1136	cat > conftest.$ac_ext <<EOF
1137	#line 1138 "configure"
1138	#include "confdefs.h"
1139	#ifdef _AIX
1140	yes
1141	#endif
1142
1143	EOF
1144	if (eval "$ac_cpp conftest.$ac_ext") 2>&5 \|
1145	egrep "yes" >/dev/null 2>&1; then
1146	rm -rf conftest*
1147	ac_cv_is_aix=yes
1148	else
1149	rm -rf conftest*
1150	ac_cv_is_aix=no
1151	fi
1152	rm -f conftest*
1153
1154	fi
1155
1156	if test "$ac_cv_is_aix" = yes; then
1157	echo "$ac_t""yes" 1>&6
1158	else
1159	echo "$ac_t""no" 1>&6
1160	fi
1161
1162	echo $ac_n "checking for atof in -lm""... $ac_c" 1>&6
1163	echo "configure:1164: checking for atof in -lm" >&5
1164	ac_lib_var=`echo m'_'atof \| sed 'y%./+-%__p_%'`
1165	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1166	echo $ac_n "(cached) $ac_c" 1>&6
1167	else
1168	ac_save_LIBS="$LIBS"
1169	LIBS="-lm $LIBS"
1170	cat > conftest.$ac_ext <<EOF
1171	#line 1172 "configure"
1172	#include "confdefs.h"
1173	/* Override any gcc2 internal prototype to avoid an error. */
1174	/* We use char because int might match the return type of a gcc2
1175	builtin and then its argument prototype would still apply. */
1176	char atof();
1177
1178	int main() {
1179	atof()
1180	; return 0; }
1181	EOF
1182	if { (eval echo configure:1183: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1183	rm -rf conftest*
1184	eval "ac_cv_lib_$ac_lib_var=yes"
1185	else
1186	echo "configure: failed program was:" >&5
1187	cat conftest.$ac_ext >&5
1188	rm -rf conftest*
1189	eval "ac_cv_lib_$ac_lib_var=no"
1190	fi
1191	rm -f conftest*
1192	LIBS="$ac_save_LIBS"
1193
1194	fi
1195	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1196	echo "$ac_t""yes" 1>&6
1197	ac_tr_lib=HAVE_LIB`echo m \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1198	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1199	cat >> confdefs.h <<EOF
1200	#define $ac_tr_lib 1
1201	EOF
1202
1203	LIBS="-lm $LIBS"
1204
1205	else
1206	echo "$ac_t""no" 1>&6
1207	fi
1208
1209	echo $ac_n "checking for socket in -lbsd""... $ac_c" 1>&6
1210	echo "configure:1211: checking for socket in -lbsd" >&5
1211	ac_lib_var=`echo bsd'_'socket \| sed 'y%./+-%__p_%'`
1212	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1213	echo $ac_n "(cached) $ac_c" 1>&6
1214	else
1215	ac_save_LIBS="$LIBS"
1216	LIBS="-lbsd $LIBS"
1217	cat > conftest.$ac_ext <<EOF
1218	#line 1219 "configure"
1219	#include "confdefs.h"
1220	/* Override any gcc2 internal prototype to avoid an error. */
1221	/* We use char because int might match the return type of a gcc2
1222	builtin and then its argument prototype would still apply. */
1223	char socket();
1224
1225	int main() {
1226	socket()
1227	; return 0; }
1228	EOF
1229	if { (eval echo configure:1230: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1230	rm -rf conftest*
1231	eval "ac_cv_lib_$ac_lib_var=yes"
1232	else
1233	echo "configure: failed program was:" >&5
1234	cat conftest.$ac_ext >&5
1235	rm -rf conftest*
1236	eval "ac_cv_lib_$ac_lib_var=no"
1237	fi
1238	rm -f conftest*
1239	LIBS="$ac_save_LIBS"
1240
1241	fi
1242	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1243	echo "$ac_t""yes" 1>&6
1244	ac_tr_lib=HAVE_LIB`echo bsd \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1245	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1246	cat >> confdefs.h <<EOF
1247	#define $ac_tr_lib 1
1248	EOF
1249
1250	LIBS="-lbsd $LIBS"
1251
1252	else
1253	echo "$ac_t""no" 1>&6
1254	fi
1255
1256	echo $ac_n "checking for listen in -lsocket""... $ac_c" 1>&6
1257	echo "configure:1258: checking for listen in -lsocket" >&5
1258	ac_lib_var=`echo socket'_'listen \| sed 'y%./+-%__p_%'`
1259	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1260	echo $ac_n "(cached) $ac_c" 1>&6
1261	else
1262	ac_save_LIBS="$LIBS"
1263	LIBS="-lsocket $LIBS"
1264	cat > conftest.$ac_ext <<EOF
1265	#line 1266 "configure"
1266	#include "confdefs.h"
1267	/* Override any gcc2 internal prototype to avoid an error. */
1268	/* We use char because int might match the return type of a gcc2
1269	builtin and then its argument prototype would still apply. */
1270	char listen();
1271
1272	int main() {
1273	listen()
1274	; return 0; }
1275	EOF
1276	if { (eval echo configure:1277: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1277	rm -rf conftest*
1278	eval "ac_cv_lib_$ac_lib_var=yes"
1279	else
1280	echo "configure: failed program was:" >&5
1281	cat conftest.$ac_ext >&5
1282	rm -rf conftest*
1283	eval "ac_cv_lib_$ac_lib_var=no"
1284	fi
1285	rm -f conftest*
1286	LIBS="$ac_save_LIBS"
1287
1288	fi
1289	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1290	echo "$ac_t""yes" 1>&6
1291	ac_tr_lib=HAVE_LIB`echo socket \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1292	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1293	cat >> confdefs.h <<EOF
1294	#define $ac_tr_lib 1
1295	EOF
1296
1297	LIBS="-lsocket $LIBS"
1298
1299	else
1300	echo "$ac_t""no" 1>&6
1301	fi
1302
1303	echo $ac_n "checking for gethostbyname in -lnsl""... $ac_c" 1>&6
1304	echo "configure:1305: checking for gethostbyname in -lnsl" >&5
1305	ac_lib_var=`echo nsl'_'gethostbyname \| sed 'y%./+-%__p_%'`
1306	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1307	echo $ac_n "(cached) $ac_c" 1>&6
1308	else
1309	ac_save_LIBS="$LIBS"
1310	LIBS="-lnsl $LIBS"
1311	cat > conftest.$ac_ext <<EOF
1312	#line 1313 "configure"
1313	#include "confdefs.h"
1314	/* Override any gcc2 internal prototype to avoid an error. */
1315	/* We use char because int might match the return type of a gcc2
1316	builtin and then its argument prototype would still apply. */
1317	char gethostbyname();
1318
1319	int main() {
1320	gethostbyname()
1321	; return 0; }
1322	EOF
1323	if { (eval echo configure:1324: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1324	rm -rf conftest*
1325	eval "ac_cv_lib_$ac_lib_var=yes"
1326	else
1327	echo "configure: failed program was:" >&5
1328	cat conftest.$ac_ext >&5
1329	rm -rf conftest*
1330	eval "ac_cv_lib_$ac_lib_var=no"
1331	fi
1332	rm -f conftest*
1333	LIBS="$ac_save_LIBS"
1334
1335	fi
1336	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1337	echo "$ac_t""yes" 1>&6
1338	ac_tr_lib=HAVE_LIB`echo nsl \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1339	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1340	cat >> confdefs.h <<EOF
1341	#define $ac_tr_lib 1
1342	EOF
1343
1344	LIBS="-lnsl $LIBS"
1345
1346	else
1347	echo "$ac_t""no" 1>&6
1348	fi
1349
1350	echo $ac_n "checking for mpq_init in -lgmp""... $ac_c" 1>&6
1351	echo "configure:1352: checking for mpq_init in -lgmp" >&5
1352	ac_lib_var=`echo gmp'_'mpq_init \| sed 'y%./+-%__p_%'`
1353	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1354	echo $ac_n "(cached) $ac_c" 1>&6
1355	else
1356	ac_save_LIBS="$LIBS"
1357	LIBS="-lgmp $LIBS"
1358	cat > conftest.$ac_ext <<EOF
1359	#line 1360 "configure"
1360	#include "confdefs.h"
1361	/* Override any gcc2 internal prototype to avoid an error. */
1362	/* We use char because int might match the return type of a gcc2
1363	builtin and then its argument prototype would still apply. */
1364	char mpq_init();
1365
1366	int main() {
1367	mpq_init()
1368	; return 0; }
1369	EOF
1370	if { (eval echo configure:1371: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1371	rm -rf conftest*
1372	eval "ac_cv_lib_$ac_lib_var=yes"
1373	else
1374	echo "configure: failed program was:" >&5
1375	cat conftest.$ac_ext >&5
1376	rm -rf conftest*
1377	eval "ac_cv_lib_$ac_lib_var=no"
1378	fi
1379	rm -f conftest*
1380	LIBS="$ac_save_LIBS"
1381
1382	fi
1383	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1384	echo "$ac_t""yes" 1>&6
1385	ac_tr_lib=HAVE_LIB`echo gmp \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1386	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1387	cat >> confdefs.h <<EOF
1388	#define $ac_tr_lib 1
1389	EOF
1390
1391	LIBS="-lgmp $LIBS"
1392
1393	else
1394	echo "$ac_t""no" 1>&6
1395	fi
1396
1397	echo $ac_n "checking for mpz_init in -lsmallgmp""... $ac_c" 1>&6
1398	echo "configure:1399: checking for mpz_init in -lsmallgmp" >&5
1399	ac_lib_var=`echo smallgmp'_'mpz_init \| sed 'y%./+-%__p_%'`
1400	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1401	echo $ac_n "(cached) $ac_c" 1>&6
1402	else
1403	ac_save_LIBS="$LIBS"
1404	LIBS="-lsmallgmp $LIBS"
1405	cat > conftest.$ac_ext <<EOF
1406	#line 1407 "configure"
1407	#include "confdefs.h"
1408	/* Override any gcc2 internal prototype to avoid an error. */
1409	/* We use char because int might match the return type of a gcc2
1410	builtin and then its argument prototype would still apply. */
1411	char mpz_init();
1412
1413	int main() {
1414	mpz_init()
1415	; return 0; }
1416	EOF
1417	if { (eval echo configure:1418: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1418	rm -rf conftest*
1419	eval "ac_cv_lib_$ac_lib_var=yes"
1420	else
1421	echo "configure: failed program was:" >&5
1422	cat conftest.$ac_ext >&5
1423	rm -rf conftest*
1424	eval "ac_cv_lib_$ac_lib_var=no"
1425	fi
1426	rm -f conftest*
1427	LIBS="$ac_save_LIBS"
1428
1429	fi
1430	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1431	echo "$ac_t""yes" 1>&6
1432	ac_tr_lib=HAVE_LIB`echo smallgmp \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1433	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1434	cat >> confdefs.h <<EOF
1435	#define $ac_tr_lib 1
1436	EOF
1437
1438	LIBS="-lsmallgmp $LIBS"
1439
1440	else
1441	echo "$ac_t""no" 1>&6
1442	fi
1443
1444	echo $ac_n "checking for IMP_PutGmpInt in -lMP""... $ac_c" 1>&6
1445	echo "configure:1446: checking for IMP_PutGmpInt in -lMP" >&5
1446	ac_lib_var=`echo MP'_'IMP_PutGmpInt \| sed 'y%./+-%__p_%'`
1447	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1448	echo $ac_n "(cached) $ac_c" 1>&6
1449	else
1450	ac_save_LIBS="$LIBS"
1451	LIBS="-lMP $LIBS"
1452	cat > conftest.$ac_ext <<EOF
1453	#line 1454 "configure"
1454	#include "confdefs.h"
1455	/* Override any gcc2 internal prototype to avoid an error. */
1456	/* We use char because int might match the return type of a gcc2
1457	builtin and then its argument prototype would still apply. */
1458	char IMP_PutGmpInt();
1459
1460	int main() {
1461	IMP_PutGmpInt()
1462	; return 0; }
1463	EOF
1464	if { (eval echo configure:1465: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1465	rm -rf conftest*
1466	eval "ac_cv_lib_$ac_lib_var=yes"
1467	else
1468	echo "configure: failed program was:" >&5
1469	cat conftest.$ac_ext >&5
1470	rm -rf conftest*
1471	eval "ac_cv_lib_$ac_lib_var=no"
1472	fi
1473	rm -f conftest*
1474	LIBS="$ac_save_LIBS"
1475
1476	fi
1477	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1478	echo "$ac_t""yes" 1>&6
1479	ac_tr_lib=HAVE_LIB`echo MP \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1480	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1481	cat >> confdefs.h <<EOF
1482	#define $ac_tr_lib 1
1483	EOF
1484
1485	LIBS="-lMP $LIBS"
1486
1487	else
1488	echo "$ac_t""no" 1>&6
1489	fi
1490
1491	echo $ac_n "checking for MPT_GetTree in -lMPT""... $ac_c" 1>&6
1492	echo "configure:1493: checking for MPT_GetTree in -lMPT" >&5
1493	ac_lib_var=`echo MPT'_'MPT_GetTree \| sed 'y%./+-%__p_%'`
1494	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1495	echo $ac_n "(cached) $ac_c" 1>&6
1496	else
1497	ac_save_LIBS="$LIBS"
1498	LIBS="-lMPT $LIBS"
1499	cat > conftest.$ac_ext <<EOF
1500	#line 1501 "configure"
1501	#include "confdefs.h"
1502	/* Override any gcc2 internal prototype to avoid an error. */
1503	/* We use char because int might match the return type of a gcc2
1504	builtin and then its argument prototype would still apply. */
1505	char MPT_GetTree();
1506
1507	int main() {
1508	MPT_GetTree()
1509	; return 0; }
1510	EOF
1511	if { (eval echo configure:1512: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1512	rm -rf conftest*
1513	eval "ac_cv_lib_$ac_lib_var=yes"
1514	else
1515	echo "configure: failed program was:" >&5
1516	cat conftest.$ac_ext >&5
1517	rm -rf conftest*
1518	eval "ac_cv_lib_$ac_lib_var=no"
1519	fi
1520	rm -f conftest*
1521	LIBS="$ac_save_LIBS"
1522
1523	fi
1524	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1525	echo "$ac_t""yes" 1>&6
1526	ac_tr_lib=HAVE_LIB`echo MPT \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1527	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1528	cat >> confdefs.h <<EOF
1529	#define $ac_tr_lib 1
1530	EOF
1531
1532	LIBS="-lMPT $LIBS"
1533
1534	else
1535	echo "$ac_t""no" 1>&6
1536	fi
1537
1538	echo $ac_n "checking for atof in -lsingcf""... $ac_c" 1>&6
1539	echo "configure:1540: checking for atof in -lsingcf" >&5
1540	ac_lib_var=`echo singcf'_'atof \| sed 'y%./+-%__p_%'`
1541	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1542	echo $ac_n "(cached) $ac_c" 1>&6
1543	else
1544	ac_save_LIBS="$LIBS"
1545	LIBS="-lsingcf $LIBS"
1546	cat > conftest.$ac_ext <<EOF
1547	#line 1548 "configure"
1548	#include "confdefs.h"
1549	/* Override any gcc2 internal prototype to avoid an error. */
1550	/* We use char because int might match the return type of a gcc2
1551	builtin and then its argument prototype would still apply. */
1552	char atof();
1553
1554	int main() {
1555	atof()
1556	; return 0; }
1557	EOF
1558	if { (eval echo configure:1559: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1559	rm -rf conftest*
1560	eval "ac_cv_lib_$ac_lib_var=yes"
1561	else
1562	echo "configure: failed program was:" >&5
1563	cat conftest.$ac_ext >&5
1564	rm -rf conftest*
1565	eval "ac_cv_lib_$ac_lib_var=no"
1566	fi
1567	rm -f conftest*
1568	LIBS="$ac_save_LIBS"
1569
1570	fi
1571	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1572	echo "$ac_t""yes" 1>&6
1573	ac_tr_lib=HAVE_LIB`echo singcf \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1574	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1575	cat >> confdefs.h <<EOF
1576	#define $ac_tr_lib 1
1577	EOF
1578
1579	LIBS="-lsingcf $LIBS"
1580
1581	else
1582	echo "$ac_t""no" 1>&6
1583	fi
1584
1585	echo $ac_n "checking for atof in -lsingfac""... $ac_c" 1>&6
1586	echo "configure:1587: checking for atof in -lsingfac" >&5
1587	ac_lib_var=`echo singfac'_'atof \| sed 'y%./+-%__p_%'`
1588	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1589	echo $ac_n "(cached) $ac_c" 1>&6
1590	else
1591	ac_save_LIBS="$LIBS"
1592	LIBS="-lsingfac $LIBS"
1593	cat > conftest.$ac_ext <<EOF
1594	#line 1595 "configure"
1595	#include "confdefs.h"
1596	/* Override any gcc2 internal prototype to avoid an error. */
1597	/* We use char because int might match the return type of a gcc2
1598	builtin and then its argument prototype would still apply. */
1599	char atof();
1600
1601	int main() {
1602	atof()
1603	; return 0; }
1604	EOF
1605	if { (eval echo configure:1606: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
1606	rm -rf conftest*
1607	eval "ac_cv_lib_$ac_lib_var=yes"
1608	else
1609	echo "configure: failed program was:" >&5
1610	cat conftest.$ac_ext >&5
1611	rm -rf conftest*
1612	eval "ac_cv_lib_$ac_lib_var=no"
1613	fi
1614	rm -f conftest*
1615	LIBS="$ac_save_LIBS"
1616
1617	fi
1618	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1619	echo "$ac_t""yes" 1>&6
1620	ac_tr_lib=HAVE_LIB`echo singfac \| sed -e 's/[^a-zA-Z0-9_]/_/g' \
1621	-e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'`
1622	cat >> confdefs.h <<EOF
1623	#define $ac_tr_lib 1
1624	EOF
1625
1626	LIBS="-lsingfac $LIBS"
1627
1628	else
1629	echo "$ac_t""no" 1>&6
1630	fi
1631
1632
1633	for ac_hdr in gmp.h smallgmp.h MP.h MPT.h factory.h factor.h
1634	do
1635	ac_safe=`echo "$ac_hdr" \| sed 'y%./+-%__p_%'`
1636	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
1637	echo "configure:1638: checking for $ac_hdr" >&5
1638	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
1639	echo $ac_n "(cached) $ac_c" 1>&6
1640	else
1641	cat > conftest.$ac_ext <<EOF
1642	#line 1643 "configure"
1643	#include "confdefs.h"
1644	#include <$ac_hdr>
1645	EOF
1646	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
1647	{ (eval echo configure:1648: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
1648	ac_err=`grep -v '^ *+' conftest.out \| grep -v "^conftest.${ac_ext}\$"`
1649	if test -z "$ac_err"; then
1650	rm -rf conftest*
1651	eval "ac_cv_header_$ac_safe=yes"
1652	else
1653	echo "$ac_err" >&5
1654	echo "configure: failed program was:" >&5
1655	cat conftest.$ac_ext >&5
1656	rm -rf conftest*
1657	eval "ac_cv_header_$ac_safe=no"
1658	fi
1659	rm -f conftest*
1660	fi
1661	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
1662	echo "$ac_t""yes" 1>&6
1663	ac_tr_hdr=HAVE_`echo $ac_hdr \| sed 'y%abcdefghijklmnopqrstuvwxyz./-%ABCDEFGHIJKLMNOPQRSTUVWXYZ___%'`
1664	cat >> confdefs.h <<EOF
1665	#define $ac_tr_hdr 1
1666	EOF
1667
1668	else
1669	echo "$ac_t""no" 1>&6
1670	fi
1671	done
1672
1673
1674	if test "$ac_cv_lib_gmp_mpq_init" = yes && \
1675	test "$ac_cv_header_gmp_h" = yes; then
1676	ac_gmp_ok=yes
1677	fi
1678
1679	if test "$ac_cv_lib_smallgmp_mpz_init" = yes && \
1680	test "$ac_cv_header_smallgmp_h" = yes && \
1681	test "$ac_cv_header_gmp_h" = yes; then
1682	ac_smallgmp_ok=yes
1683	fi
1684
1685	if test "$ac_cv_lib_MP_IMP_PutGmpInt" = yes && \
1686	test "$ac_cv_lib_MPT_MPT_GetTree" && \
1687	test "$ac_cv_header_MP_h" = yes && \
1688	test "$ac_cv_header_MPT_h" = yes; then
1689	ac_MP_ok=yes
1690	fi
1691
1692	if test "$ac_cv_lib_singcf_atof" = yes && \
1693	test "$ac_cv_header_factory_h" = yes; then
1694	ac_factory_ok=yes
1695	fi
1696
1697	if test "$ac_cv_lib_singfac_atof" = yes && \
1698	test "$ac_cv_header_factor_h" = yes; then
1699	ac_libfac_ok=yes
1700	fi
1701
1702
1703	# Check whether --with-tmpdir or --without-tmpdir was given.
1704	if test "${with_tmpdir+set}" = set; then
1705	withval="$with_tmpdir"
1706	:
1707	fi
1708
1709	# Check whether --with-perl5 or --without-perl5 was given.
1710	if test "${with_perl5+set}" = set; then
1711	withval="$with_perl5"
1712	:
1713	fi
1714
1715	# Check whether --enable-smallgmp or --disable-smallgmp was given.
1716	if test "${enable_smallgmp+set}" = set; then
1717	enableval="$enable_smallgmp"
1718	:
1719	fi
1720
1721	# Check whether --enable-gmp or --disable-gmp was given.
1722	if test "${enable_gmp+set}" = set; then
1723	enableval="$enable_gmp"
1724	:
1725	fi
1726
1727	# Check whether --enable-MP or --disable-MP was given.
1728	if test "${enable_MP+set}" = set; then
1729	enableval="$enable_MP"
1730	:
1731	fi
1732
1733	# Check whether --enable-factory or --disable-factory was given.
1734	if test "${enable_factory+set}" = set; then
1735	enableval="$enable_factory"
1736	:
1737	fi
1738
1739	# Check whether --enable-libfac or --disable-libfac was given.
1740	if test "${enable_libfac+set}" = set; then
1741	enableval="$enable_libfac"
1742	:
1743	fi
1744
1745	# Check whether --enable-sgroup or --disable-sgroup was given.
1746	if test "${enable_sgroup+set}" = set; then
1747	enableval="$enable_sgroup"
1748	:
1749	fi
1750
1751	# Check whether --enable-Singular or --disable-Singular was given.
1752	if test "${enable_Singular+set}" = set; then
1753	enableval="$enable_Singular"
1754	:
1755	fi
1756
1757	# Check whether --enable-Texinfo or --disable-Texinfo was given.
1758	if test "${enable_Texinfo+set}" = set; then
1759	enableval="$enable_Texinfo"
1760	:
1761	fi
1762
1763	# Check whether --with-MP or --without-MP was given.
1764	if test "${with_MP+set}" = set; then
1765	withval="$with_MP"
1766	:
1767	fi
1768
1769	# Check whether --with-factory or --without-factory was given.
1770	if test "${with_factory+set}" = set; then
1771	withval="$with_factory"
1772	:
1773	fi
1774
1775	# Check whether --with-libfac or --without-libfac was given.
1776	if test "${with_libfac+set}" = set; then
1777	withval="$with_libfac"
1778	:
1779	fi
1780
1781	# Check whether --with-gmp or --without-gmp was given.
1782	if test "${with_gmp+set}" = set; then
1783	withval="$with_gmp"
1784	:
1785	fi
1786
1787
1788	echo $ac_n "checking which tmp dir to use""... $ac_c" 1>&6
1789	echo "configure:1790: checking which tmp dir to use" >&5
1790	if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
1791	if (echo "${with_tmpdir}" \| egrep "\." >/dev/null 2>&1)
1792	then
1793	TMP_DIR="/tmp"
1794	else
1795	TMP_DIR=${with_tmpdir}
1796	fi
1797	else
1798	TMP_DIR="/tmp"
1799	fi
1800	echo "$ac_t""$TMP_DIR" 1>&6
1801
1802
1803	# perl version 5
1804	if test "${with_perl5+set}" != set; then
1805	echo $ac_n "checking for perl5""... $ac_c" 1>&6
1806	echo "configure:1807: checking for perl5" >&5
1807	if eval "test \"`echo '$''{'ac_cv_prog_perl5'+set}'`\" = set"; then
1808	echo $ac_n "(cached) $ac_c" 1>&6
1809	else
1810	if (perl5 -v >/dev/null 2>&1)
1811	then
1812	if (perl5 -v \| egrep "version 5\.[0-9]" >/dev/null 2>&1 )
1813	then
1814	ac_cv_prog_perl5=perl5
1815	fi
1816	elif (perl -v >/dev/null 2>&1)
1817	then
1818	if (perl -v \| egrep "version 5\.[0-9]" >/dev/null 2>&1 )
1819	then
1820	ac_cv_prog_perl5=perl
1821	fi
1822	fi
1823
1824	fi
1825
1826	if test "${ac_cv_prog_perl5+set}" = set; then
1827	echo "$ac_t""${ac_cv_prog_perl5}" 1>&6
1828	PERL5=${ac_cv_prog_perl5}
1829
1830	else
1831	{ echo "configure: error: can not find perl version 5" 1>&2; exit 1; }
1832	fi
1833	elif test "${with_perl5}" = no; then
1834	echo "configure: warning: building without perl5 -- make might fail" 1>&2
1835	else
1836	unset PERL5
1837	unset ac_cv_prog_PERL5
1838	for ac_prog in ${with_perl5}
1839	do
1840	# Extract the first word of "$ac_prog", so it can be a program name with args.
1841	set dummy $ac_prog; ac_word=$2
1842	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1843	echo "configure:1844: checking for $ac_word" >&5
1844	if eval "test \"`echo '$''{'ac_cv_prog_PERL5'+set}'`\" = set"; then
1845	echo $ac_n "(cached) $ac_c" 1>&6
1846	else
1847	if test -n "$PERL5"; then
1848	ac_cv_prog_PERL5="$PERL5" # Let the user override the test.
1849	else
1850	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
1851	ac_dummy="$PATH"
1852	for ac_dir in $ac_dummy; do
1853	test -z "$ac_dir" && ac_dir=.
1854	if test -f $ac_dir/$ac_word; then
1855	ac_cv_prog_PERL5="$ac_prog"
1856	break
1857	fi
1858	done
1859	IFS="$ac_save_ifs"
1860	fi
1861	fi
1862	PERL5="$ac_cv_prog_PERL5"
1863	if test -n "$PERL5"; then
1864	echo "$ac_t""$PERL5" 1>&6
1865	else
1866	echo "$ac_t""no" 1>&6
1867	fi
1868
1869	test -n "$PERL5" && break
1870	done
1871
1872	if test "x${PERL5}" = x; then
1873	echo "configure: warning: building without perl5 -- make might fail" 1>&2
1874	fi
1875	fi
1876
1877
1878	echo $ac_n "checking whether to configure and build texinfo""... $ac_c" 1>&6
1879	echo "configure:1880: checking whether to configure and build texinfo" >&5
1880	if test "$enable_texinfo" != no && test -d Texinfo; then
1881	echo "$ac_t""yes" 1>&6
1882	enable_texinfo=yes
1883	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Texinfo"
1884	TEXI2DVI=${bindir}/texi2dvi
1885	MAKEINFO="${bindir}/makeinfo --force"
1886	TEXINDEX=${bindir}/texindex
1887	else
1888	echo "$ac_t""no" 1>&6
1889	echo "configure: warning: Building of doc might fail. Need Texinfo" 1>&2
1890	enable_texinfo=no
1891	TEXI2DVI=texi2dvi
1892	MAKEINFO=makeinfo
1893	TEXINDEX=${bindir}/texindex
1894	fi
1895
1896
1897
1898
1899
1900	echo $ac_n "checking whether to configure and build gmp lib""... $ac_c" 1>&6
1901	echo "configure:1902: checking whether to configure and build gmp lib" >&5
1902	if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
1903	if test "$ac_gmp_ok" != yes && test -d gmp; then
1904	echo "$ac_t""yes" 1>&6
1905	enable_gmp=yes
1906	CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
1907	ac_configure_args="$ac_configure_args --enable-gmp"
1908	OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
1909	else
1910	echo "$ac_t""no" 1>&6
1911	enable_gmp=no
1912	fi
1913	elif test "$enable_gmp" = yes; then
1914	if test ! -d gmp; then
1915	echo "$ac_t""no" 1>&6
1916	{ echo "configure: error: Can not find gmp subdir" 1>&2; exit 1; }
1917	else
1918	echo "$ac_t""yes" 1>&6
1919	CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
1920	OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
1921	fi
1922	else
1923	echo "$ac_t""no" 1>&6
1924	fi
1925
1926	echo $ac_n "checking whether to configure and build smallgmp lib""... $ac_c" 1>&6
1927	echo "configure:1928: checking whether to configure and build smallgmp lib" >&5
1928	if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
1929	if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
1930	test "$enable_gmp" != yes && test -d smallgmp; then
1931	echo "$ac_t""yes" 1>&6
1932	enable_smallgmp=yes
1933	CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
1934	ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
1935	else
1936	echo "$ac_t""no" 1>&6
1937	enable_smallgmp=no
1938	fi
1939	elif test "$enable_smallgmp" = yes; then
1940	if test ! -d smallgmp; then
1941	echo "$ac_t""no" 1>&6
1942	{ echo "configure: error: Can not find smallgmp subdir" 1>&2; exit 1; }
1943	else
1944	echo "$ac_t""yes" 1>&6
1945	CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
1946	if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
1947	ac_configure_args="$ac_configure_args --enable-gmp"
1948	fi
1949	fi
1950	else
1951	echo "$ac_t""${enable_smallgmp}" 1>&6
1952	fi
1953
1954	# Check whether we have at least one of smallgmp or gmp
1955	if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
1956	test "$enable_smallgmp" != yes && test "$enable_gmp" != yes; then
1957	{ echo "configure: error: can neither find nor built gmp or smallgmp" 1>&2; exit 1; }
1958	fi
1959
1960	# Check whether we need to cheat subsequent configures with --enable-gmp
1961	if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes; then
1962	ac_configure_args="$ac_configure_args --enable-gmp"
1963	fi
1964
1965	echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
1966	echo "configure:1967: checking whether to configure and build MP lib" >&5
1967	if test "$enable_MP" != yes && test "$enable_MP" != no; then
1968	if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
1969	(test "$enable_gmp" = yes \|\| test "$ac_gmp_ok" = yes); then
1970	echo "$ac_t""yes" 1>&6
1971	enable_MP=yes
1972	CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
1973	ac_configure_args="$ac_configure_args --enable-MP"
1974	else
1975	echo "$ac_t""no" 1>&6
1976	enable_MP=no
1977	fi
1978	elif test "$enable_MP" = yes; then
1979	if test ! -d MP; then
1980	echo "$ac_t""no" 1>&6
1981	{ echo "configure: error: can not build MP without MP directory" 1>&2; exit 1; }
1982	fi
1983	if test "$enable_gmp" = yes \|\| test "$ac_gmp_ok" = yes; then
1984	echo "$ac_t""yes" 1>&6
1985	CONFIG_SUBDIRS="$CONFIG_SUBDIRS MP"
1986	else
1987	echo "$ac_t""no" 1>&6
1988	{ echo "configure: error: can not build MP without gmp" 1>&2; exit 1; }
1989	fi
1990	else
1991	echo "$ac_t""no" 1>&6
1992	fi
1993
1994	echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
1995	echo "configure:1996: checking whether to configure and build factory lib" >&5
1996	if test "$enable_factory" != yes && test "$enable_factory" != no; then
1997	if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
1998	test -d factory; then
1999	enable_factory=yes
2000	echo "$ac_t""yes" 1>&6
2001	CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
2002	ac_configure_args="$ac_configure_args --enable-factory"
2003	else
2004	enable_factory=no
2005	echo "$ac_t""no" 1>&6
2006	fi
2007	elif test "$enable_factory" = yes; then
2008	if test -d factory; then
2009	echo "$ac_t""yes" 1>&6
2010	CONFIG_SUBDIRS="$CONFIG_SUBDIRS factory"
2011	else
2012	echo "$ac_t""no" 1>&6
2013	{ echo "configure: error: can not build factory without factory directory" 1>&2; exit 1; }
2014	fi
2015	else
2016	echo "$ac_t""no" 1>&6
2017	fi
2018
2019	echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
2020	echo "configure:2021: checking whether to configure and build libfac lib" >&5
2021	if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
2022	if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
2023	test -d libfac && \
2024	(test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes); then
2025	enable_libfac=yes
2026	echo "$ac_t""yes" 1>&6
2027	CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
2028	ac_configure_args="$ac_configure_args --enable-libfac"
2029	else
2030	enable_libfac=no
2031	echo "$ac_t""no" 1>&6
2032	fi
2033	elif test "$enable_libfac" = yes; then
2034	if test ! -d libfac; then
2035	echo "$ac_t""no" 1>&6
2036	{ echo "configure: error: can not build libfac without libfac directory" 1>&2; exit 1; }
2037	fi
2038	if test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes; then
2039	echo "$ac_t""yes" 1>&6
2040	CONFIG_SUBDIRS="$CONFIG_SUBDIRS libfac"
2041	else
2042	echo "$ac_t""no" 1>&6
2043	{ echo "configure: error: Can not build libfac without factory" 1>&2; exit 1; }
2044	fi
2045	else
2046	echo "$ac_t""no" 1>&6
2047	fi
2048
2049	echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
2050	echo "configure:2051: checking whether to configure and build sgroup lib" >&5
2051	if test "$enable_sgroup" != yes && test "$enable_sgroup" != no; then
2052	if test "$with_sgroup" != no && test "$ac_sgroup_ok" != yes && \
2053	test -d sgroup && \
2054	(test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes); then
2055	enable_sgroup=yes
2056	echo "$ac_t""yes" 1>&6
2057	CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
2058	ac_configure_args="$ac_configure_args --enable-sgroup"
2059	else
2060	enable_sgroup=no
2061	echo "$ac_t""no" 1>&6
2062	fi
2063	elif test "$enable_sgroup" = yes; then
2064	if test ! -d sgroup; then
2065	echo "$ac_t""no" 1>&6
2066	{ echo "configure: error: can not build sgroup without sgroup directory" 1>&2; exit 1; }
2067	fi
2068	if test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes; then
2069	echo "$ac_t""yes" 1>&6
2070	CONFIG_SUBDIRS="$CONFIG_SUBDIRS sgroup"
2071	else
2072	echo "$ac_t""no" 1>&6
2073	{ echo "configure: error: Can not build sgroup without MP" 1>&2; exit 1; }
2074	fi
2075	else
2076	echo "$ac_t""no" 1>&6
2077	fi
2078
2079	echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
2080	echo "configure:2081: checking whether to configure and build Singular" >&5
2081	if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
2082	if test "$with_Singular" != no && test -d Singular; then
2083	enable_Singular=yes
2084	echo "$ac_t""yes" 1>&6
2085	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
2086	ac_configure_args="$ac_configure_args --enable-Singular"
2087	else
2088	enable_Singular=no
2089	echo "$ac_t""no" 1>&6
2090	fi
2091	elif test "$enable_Singular" = yes; then
2092	if test -d Singular; then
2093	echo "$ac_t""yes" 1>&6
2094	CONFIG_SUBDIRS="$CONFIG_SUBDIRS Singular"
2095	else
2096	echo "$ac_t""no" 1>&6
2097	{ echo "configure: error: can not build Singular without Singular directory" 1>&2; exit 1; }
2098	fi
2099	else
2100	echo "$ac_t""no" 1>&6
2101	fi
2102
2103
2104	echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
2105	echo "configure:2106: checking which apint package to use" >&5
2106	if test "$with_apint" = gmp; then
2107	if test "$ac_gmp_ok" = yes \|\| test "$enable_gmp" = yes; then
2108	echo "$ac_t""gmp" 1>&6
2109	else
2110	echo "$ac_t""none" 1>&6
2111	{ echo "configure: error: can not use with gmp without finding or building it" 1>&2; exit 1; }
2112	fi
2113	elif test "$with_apint" = smallgmp; then
2114	if test "$ac_smallgmp_ok" = yes \|\| test "$enable_smallgmp" = yes; then
2115	echo "$ac_t""smallgmp" 1>&6
2116	else
2117	echo "$ac_t""none" 1>&6
2118	{ echo "configure: error: can not use with smallgmp without finding or building it" 1>&2; exit 1; }
2119	fi
2120	elif test "$ac_gmp_ok" = yes \|\| test "$enable_gmp"; then
2121	echo "$ac_t""gmp" 1>&6
2122	ac_configure_args="$ac_configure_args --with-apint=gmp"
2123	else
2124	echo "$ac_t""smallgmp" 1>&6
2125	ac_configure_args="$ac_configure_args --with-apint=smallgmp"
2126	fi
2127
2128	echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
2129	echo "configure:2130: checking whether to use with MP" >&5
2130	if test "$with_MP" = yes; then
2131	if test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes; then
2132	echo "$ac_t""yes" 1>&6
2133	else
2134	echo "$ac_t""none" 1>&6
2135	{ echo "configure: error: can not use with MP without finding or building it" 1>&2; exit 1; }
2136	fi
2137	elif test "$with_MP" = no; then
2138	echo "$ac_t""no" 1>&6
2139	elif test "$ac_MP_ok" = yes \|\| test "$enable_MP" = yes; then
2140	echo "$ac_t""yes" 1>&6
2141	ac_configure_args="$ac_configure_args --with-MP"
2142	else
2143	echo "$ac_t""no" 1>&6
2144	ac_configure_args="$ac_configure_args --without-MP"
2145	fi
2146
2147	echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
2148	echo "configure:2149: checking whether to use with factory" >&5
2149	if test "$with_factory" = yes; then
2150	if test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes; then
2151	echo "$ac_t""yes" 1>&6
2152	else
2153	echo "$ac_t""none" 1>&6
2154	{ echo "configure: error: can not use with factory without finding or building it" 1>&2; exit 1; }
2155	fi
2156	elif test "$with_factory" = no; then
2157	echo "$ac_t""no" 1>&6
2158	elif test "$ac_factory_ok" = yes \|\| test "$enable_factory" = yes; then
2159	echo "$ac_t""yes" 1>&6
2160	ac_configure_args="$ac_configure_args --with-factory"
2161	else
2162	echo "$ac_t""no" 1>&6
2163	ac_configure_args="$ac_configure_args --without-factory"
2164	fi
2165
2166	echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
2167	echo "configure:2168: checking whether to use with libfac" >&5
2168	if test "$with_libfac" = yes; then
2169	if test "$ac_libfac_ok" = yes \|\| test "$enable_libfac" = yes; then
2170	echo "$ac_t""yes" 1>&6
2171	else
2172	echo "$ac_t""none" 1>&6
2173	{ echo "configure: error: can not use with libfac without finding or building it" 1>&2; exit 1; }
2174	fi
2175	elif test "$with_libfac" = no; then
2176	echo "$ac_t""no" 1>&6
2177	elif test "$ac_libfac_ok" = yes \|\| test "$enable_libfac" = yes; then
2178	echo "$ac_t""yes" 1>&6
2179	ac_configure_args="$ac_configure_args --with-libfac"
2180	else
2181	echo "$ac_t""no" 1>&6
2182	ac_configure_args="$ac_configure_args --without-libfac"
2183	fi
2184
2185	echo $ac_n "checking whether to use mtrack""... $ac_c" 1>&6
2186	echo "configure:2187: checking whether to use mtrack" >&5
2187	if test -d mpr && test "$ac_cv_singuname" = ix86-Linux; then
2188	echo "$ac_t""yes" 1>&6
2189	ac_configure_args="$ac_configure_args --with-mtrack"
2190	OUTPUT_MAKEFILES=$OUTPUT_MAKEFILES" mpr/Makefile"
2191	BUILD_SUBDIRS="$BUILD_SUBDIRS mpr"
2192	fi
2193
2194	echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
2195	echo "configure:2196: checking whether to use with Singular" >&5
2196	if test "$with_Singular" != no && test "$with_Singular" != yes; then
2197	if test "$enable_Singular" = yes; then
2198	with_Singular=yes
2199	else
2200	with_Singular=no
2201	fi
2202	ac_configure_args="$ac_configure_args --with-Singular=$with_Singular"
2203	fi
2204
2205	if test "$with_Singular" != no; then
2206	echo "$ac_t""yes" 1>&6
2207	else
2208	echo "$ac_t""no" 1>&6
2209	fi
2210
2211
2212	SUBDIRS=""
2213	if test -d doc; then
2214	SUBDIRS="$SUBDIRS doc"
2215	fi
2216	if test -d smallgmp; then
2217	SUBDIRS="$SUBDIRS smallgmp"
2218	fi
2219	if test -d gmp; then
2220	SUBDIRS="$SUBDIRS gmp"
2221	fi
2222	if test -d MP; then
2223	SUBDIRS="$SUBDIRS MP"
2224	fi
2225	if test -d factory; then
2226	SUBDIRS="$SUBDIRS factory"
2227	fi
2228	if test -d libfac; then
2229	SUBDIRS="$SUBDIRS libfac"
2230	fi
2231	if test -d rpm; then
2232	SUBDIRS="$SUBDIRS rpm"
2233	fi
2234	if test -d mpr; then
2235	SUBDIRS="$SUBDIRS mpr"
2236	fi
2237	if test -d Singular; then
2238	SUBDIRS="$SUBDIRS Singular"
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	if test -d sgroup; then
2249	SUBDIRS="$SUBDIRS sgroup"
2250	fi
2251
2252
2253	echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
2254	echo "configure:2255: checking whether ${MAKE-make} sets \${MAKE}" >&5
2255	set dummy ${MAKE-make}; ac_make=`echo "$2" \| sed 'y%./+-%__p_%'`
2256	if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
2257	echo $ac_n "(cached) $ac_c" 1>&6
2258	else
2259	cat > conftestmake <<\EOF
2260	all:
2261	@echo 'ac_maketemp="${MAKE}"'
2262	EOF
2263	# GNU make sometimes prints "make[1]: Entering...", which would confuse us.
2264	eval `${MAKE-make} -f conftestmake 2>/dev/null \| grep temp=`
2265	if test -n "$ac_maketemp"; then
2266	eval ac_cv_prog_make_${ac_make}_set=yes
2267	else
2268	eval ac_cv_prog_make_${ac_make}_set=no
2269	fi
2270	rm -f conftestmake
2271	fi
2272	if eval "test \"`echo '$ac_cv_prog_make_'${ac_make}_set`\" = yes"; then
2273	echo "$ac_t""yes" 1>&6
2274	SET_MAKE=
2275	else
2276	echo "$ac_t""no" 1>&6
2277	SET_MAKE="MAKE=${MAKE-make}"
2278	fi
2279
2280
2281
2282
2283	ac_aux_dir=
2284	for ac_dir in $srcdir $srcdir/.. $srcdir/../..; do
2285	if test -f $ac_dir/install-sh; then
2286	ac_aux_dir=$ac_dir
2287	ac_install_sh="$ac_aux_dir/install-sh -c"
2288	break
2289	elif test -f $ac_dir/install.sh; then
2290	ac_aux_dir=$ac_dir
2291	ac_install_sh="$ac_aux_dir/install.sh -c"
2292	break
2293	fi
2294	done
2295	if test -z "$ac_aux_dir"; then
2296	{ echo "configure: error: can not find install-sh or install.sh in $srcdir $srcdir/.. $srcdir/../.." 1>&2; exit 1; }
2297	fi
2298	ac_config_guess=$ac_aux_dir/config.guess
2299	ac_config_sub=$ac_aux_dir/config.sub
2300	ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
2301
2302	subdirs="$CONFIG_SUBDIRS"
2303
2304
2305	trap '' 1 2 15
2306	cat > confcache <<\EOF
2307	# This file is a shell script that caches the results of configure
2308	# tests run on this system so they can be shared between configure
2309	# scripts and configure runs. It is not useful on other systems.
2310	# If it contains results you don't want to keep, you may remove or edit it.
2311	#
2312	# By default, configure uses ./config.cache as the cache file,
2313	# creating it if it does not exist already. You can give configure
2314	# the --cache-file=FILE option to use a different cache file; that is
2315	# what configure does when it calls configure scripts in
2316	# subdirectories, so they share the cache.
2317	# Giving --cache-file=/dev/null disables caching, for debugging configure.
2318	# config.status only pays attention to the cache file if you give it the
2319	# --recheck option to rerun configure.
2320	#
2321	EOF
2322	# The following way of writing the cache mishandles newlines in values,
2323	# but we know of no workaround that is simple, portable, and efficient.
2324	# So, don't put newlines in cache variables' values.
2325	# Ultrix sh set writes to stderr and can't be redirected directly,
2326	# and sets the high bit in the cache file unless we assign to the vars.
2327	(set) 2>&1 \|
2328	case `(ac_space=' '; set \| grep ac_space) 2>&1` in
2329	ac_space=\ )
2330	# `set' does not quote correctly, so add quotes (double-quote substitution
2331	# turns \\\\ into \\, and sed turns \\ into \).
2332	sed -n \
2333	-e "s/'/'\\\\''/g" \
2334	-e "s/^\$[a-zA-Z0-9_]_cv_[a-zA-Z0-9_]\$=\$.*\$/\\1=\${\\1='\\2'}/p"
2335	;;
2336	*)
2337	# `set' quotes correctly as required by POSIX, so do not add quotes.
2338	sed -n -e 's/^$[a-zA-Z0-9_]_cv_[a-zA-Z0-9_]$=$.*$/\1=${\1=\2}/p'
2339	;;
2340	esac >> confcache
2341	if cmp -s $cache_file confcache; then
2342	:
2343	else
2344	if test -w $cache_file; then
2345	echo "updating cache $cache_file"
2346	cat confcache > $cache_file
2347	else
2348	echo "not updating unwritable cache $cache_file"
2349	fi
2350	fi
2351	rm -f confcache
2352
2353	trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
2354
2355	test "x$prefix" = xNONE && prefix=$ac_default_prefix
2356	# Let make expand exec_prefix.
2357	test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
2358
2359	# Any assignment to VPATH causes Sun make to only execute
2360	# the first set of double-colon rules, so remove it if not needed.
2361	# If there is a colon in the path, we need to keep it.
2362	if test "x$srcdir" = x.; then
2363	ac_vpsub='/^[ ]VPATH[ ]=[^:]*$/d'
2364	fi
2365
2366	trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
2367
2368	# Transform confdefs.h into DEFS.
2369	# Protect against shell expansion while executing Makefile rules.
2370	# Protect against Makefile macro expansion.
2371	cat > conftest.defs <<\EOF
2372	s%#define $[A-Za-z_][A-Za-z0-9_]$ $.*$%-D\1=\2%g
2373	s%[ `~#$^&*(){}\\\|;'"<>?]%\\&%g
2374	s%\[%\\&%g
2375	s%\]%\\&%g
2376	s%\$%$$%g
2377	EOF
2378	DEFS=`sed -f conftest.defs confdefs.h \| tr '\012' ' '`
2379	rm -f conftest.defs
2380
2381
2382	# Without the "./", some shells look in PATH for config.status.
2383	: ${CONFIG_STATUS=./config.status}
2384
2385	echo creating $CONFIG_STATUS
2386	rm -f $CONFIG_STATUS
2387	cat > $CONFIG_STATUS <<EOF
2388	#! /bin/sh
2389	# Generated automatically by configure.
2390	# Run this file to recreate the current configuration.
2391	# This directory was configured as follows,
2392	# on host `(hostname \|\| uname -n) 2>/dev/null \| sed 1q`:
2393	#
2394	# $0 $ac_configure_args
2395	#
2396	# Compiler output produced by configure, useful for debugging
2397	# configure, is in ./config.log if it exists.
2398
2399	ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
2400	for ac_option
2401	do
2402	case "\$ac_option" in
2403	-recheck \| --recheck \| --rechec \| --reche \| --rech \| --rec \| --re \| --r)
2404	echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
2405	exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
2406	-version \| --version \| --versio \| --versi \| --vers \| --ver \| --ve \| --v)
2407	echo "$CONFIG_STATUS generated by autoconf version 2.13"
2408	exit 0 ;;
2409	-help \| --help \| --hel \| --he \| --h)
2410	echo "\$ac_cs_usage"; exit 0 ;;
2411	*) echo "\$ac_cs_usage"; exit 1 ;;
2412	esac
2413	done
2414
2415	ac_given_srcdir=$srcdir
2416
2417	trap 'rm -fr `echo "${OUTPUT_MAKEFILES}" \| sed "s/:[^ ]//g"` conftest; exit 1' 1 2 15
2418	EOF
2419	cat >> $CONFIG_STATUS <<EOF
2420
2421	# Protect against being on the right side of a sed subst in config.status.
2422	sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
2423	s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
2424	$ac_vpsub
2425	$extrasub
2426	s%@SHELL@%$SHELL%g
2427	s%@CFLAGS@%$CFLAGS%g
2428	s%@CPPFLAGS@%$CPPFLAGS%g
2429	s%@CXXFLAGS@%$CXXFLAGS%g
2430	s%@FFLAGS@%$FFLAGS%g
2431	s%@DEFS@%$DEFS%g
2432	s%@LDFLAGS@%$LDFLAGS%g
2433	s%@LIBS@%$LIBS%g
2434	s%@exec_prefix@%$exec_prefix%g
2435	s%@prefix@%$prefix%g
2436	s%@program_transform_name@%$program_transform_name%g
2437	s%@bindir@%$bindir%g
2438	s%@sbindir@%$sbindir%g
2439	s%@libexecdir@%$libexecdir%g
2440	s%@datadir@%$datadir%g
2441	s%@sysconfdir@%$sysconfdir%g
2442	s%@sharedstatedir@%$sharedstatedir%g
2443	s%@localstatedir@%$localstatedir%g
2444	s%@libdir@%$libdir%g
2445	s%@includedir@%$includedir%g
2446	s%@oldincludedir@%$oldincludedir%g
2447	s%@infodir@%$infodir%g
2448	s%@mandir@%$mandir%g
2449	s%@SINGUNAME@%$SINGUNAME%g
2450	s%@SINGULAR_VERSION@%$SINGULAR_VERSION%g
2451	s%@VERSION_DATE@%$VERSION_DATE%g
2452	s%@SINGULAR_SHORT_VERSION@%$SINGULAR_SHORT_VERSION%g
2453	s%@CC@%$CC%g
2454	s%@CPP@%$CPP%g
2455	s%@PERL@%$PERL%g
2456	s%@LATEX2HTML@%$LATEX2HTML%g
2457	s%@LN_S@%$LN_S%g
2458	s%@TEXI2HTML@%$TEXI2HTML%g
2459	s%@TEXI2HTML_OPTS@%$TEXI2HTML_OPTS%g
2460	s%@SINGULAR@%$SINGULAR%g
2461	s%@TMP_DIR@%$TMP_DIR%g
2462	s%@PERL5@%$PERL5%g
2463	s%@TEXI2DVI@%$TEXI2DVI%g
2464	s%@MAKEINFO@%$MAKEINFO%g
2465	s%@TEXINDEX@%$TEXINDEX%g
2466	s%@SET_MAKE@%$SET_MAKE%g
2467	s%@SUBDIRS@%$SUBDIRS%g
2468	s%@BUILD_SUBDIRS@%$BUILD_SUBDIRS%g
2469	s%@CONFIG_SUBDIRS@%$CONFIG_SUBDIRS%g
2470	s%@subdirs@%$subdirs%g
2471
2472	CEOF
2473	EOF
2474
2475	cat >> $CONFIG_STATUS <<\EOF
2476
2477	# Split the substitutions into bite-sized pieces for seds with
2478	# small command number limits, like on Digital OSF/1 and HP-UX.
2479	ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
2480	ac_file=1 # Number of current file.
2481	ac_beg=1 # First line for current file.
2482	ac_end=$ac_max_sed_cmds # Line after last line for current file.
2483	ac_more_lines=:
2484	ac_sed_cmds=""
2485	while $ac_more_lines; do
2486	if test $ac_beg -gt 1; then
2487	sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
2488	else
2489	sed "${ac_end}q" conftest.subs > conftest.s$ac_file
2490	fi
2491	if test ! -s conftest.s$ac_file; then
2492	ac_more_lines=false
2493	rm -f conftest.s$ac_file
2494	else
2495	if test -z "$ac_sed_cmds"; then
2496	ac_sed_cmds="sed -f conftest.s$ac_file"
2497	else
2498	ac_sed_cmds="$ac_sed_cmds \| sed -f conftest.s$ac_file"
2499	fi
2500	ac_file=`expr $ac_file + 1`
2501	ac_beg=$ac_end
2502	ac_end=`expr $ac_end + $ac_max_sed_cmds`
2503	fi
2504	done
2505	if test -z "$ac_sed_cmds"; then
2506	ac_sed_cmds=cat
2507	fi
2508	EOF
2509
2510	cat >> $CONFIG_STATUS <<EOF
2511
2512	CONFIG_FILES=\${CONFIG_FILES-"${OUTPUT_MAKEFILES}"}
2513	EOF
2514	cat >> $CONFIG_STATUS <<\EOF
2515	for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
2516	# Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
2517	case "$ac_file" in
2518	:) ac_file_in=`echo "$ac_file"\|sed 's%[^:]*:%%'`
2519	ac_file=`echo "$ac_file"\|sed 's%:.*%%'` ;;
2520	*) ac_file_in="${ac_file}.in" ;;
2521	esac
2522
2523	# Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
2524
2525	# Remove last slash and all that follows it. Not all systems have dirname.
2526	ac_dir=`echo $ac_file\|sed 's%/[^/][^/]*$%%'`
2527	if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
2528	# The file is in a subdirectory.
2529	test ! -d "$ac_dir" && mkdir "$ac_dir"
2530	ac_dir_suffix="/`echo $ac_dir\|sed 's%^\./%%'`"
2531	# A "../" for each directory in $ac_dir_suffix.
2532	ac_dots=`echo $ac_dir_suffix\|sed 's%/[^/]*%../%g'`
2533	else
2534	ac_dir_suffix= ac_dots=
2535	fi
2536
2537	case "$ac_given_srcdir" in
2538	.) srcdir=.
2539	if test -z "$ac_dots"; then top_srcdir=.
2540	else top_srcdir=`echo $ac_dots\|sed 's%/$%%'`; fi ;;
2541	/*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
2542	*) # Relative path.
2543	srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
2544	top_srcdir="$ac_dots$ac_given_srcdir" ;;
2545	esac
2546
2547
2548	echo creating "$ac_file"
2549	rm -f "$ac_file"
2550	configure_input="Generated automatically from `echo $ac_file_in\|sed 's%.*/%%'` by configure."
2551	case "$ac_file" in
2552	Makefile) ac_comsub="1i\\
2553	# $configure_input" ;;
2554	*) ac_comsub= ;;
2555	esac
2556
2557	ac_file_inputs=`echo $ac_file_in\|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
2558	sed -e "$ac_comsub
2559	s%@configure_input@%$configure_input%g
2560	s%@srcdir@%$srcdir%g
2561	s%@top_srcdir@%$top_srcdir%g
2562	" $ac_file_inputs \| (eval "$ac_sed_cmds") > $ac_file
2563	fi; done
2564	rm -f conftest.s*
2565
2566	EOF
2567	cat >> $CONFIG_STATUS <<EOF
2568
2569	EOF
2570	cat >> $CONFIG_STATUS <<\EOF
2571
2572	exit 0
2573	EOF
2574	chmod +x $CONFIG_STATUS
2575	rm -fr confdefs* $ac_clean_files
2576	test "$no_create" = yes \|\| ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS \|\| exit 1
2577
2578	if test "$no_recursion" != yes; then
2579
2580	# Remove --cache-file and --srcdir arguments so they do not pile up.
2581	ac_sub_configure_args=
2582	ac_prev=
2583	for ac_arg in $ac_configure_args; do
2584	if test -n "$ac_prev"; then
2585	ac_prev=
2586	continue
2587	fi
2588	case "$ac_arg" in
2589	-cache-file \| --cache-file \| --cache-fil \| --cache-fi \
2590	\| --cache-f \| --cache- \| --cache \| --cach \| --cac \| --ca \| --c)
2591	ac_prev=cache_file ;;
2592	-cache-file=* \| --cache-file=* \| --cache-fil=* \| --cache-fi=* \
2593	\| --cache-f=* \| --cache-=* \| --cache=* \| --cach=* \| --cac=* \| --ca=* \| --c=*)
2594	;;
2595	-srcdir \| --srcdir \| --srcdi \| --srcd \| --src \| --sr)
2596	ac_prev=srcdir ;;
2597	-srcdir=* \| --srcdir=* \| --srcdi=* \| --srcd=* \| --src=* \| --sr=*)
2598	;;
2599	*) ac_sub_configure_args="$ac_sub_configure_args $ac_arg" ;;
2600	esac
2601	done
2602
2603	for ac_config_dir in $CONFIG_SUBDIRS; do
2604
2605	# Do not complain, so a configure script can configure whichever
2606	# parts of a large source tree are present.
2607	if test ! -d $srcdir/$ac_config_dir; then
2608	continue
2609	fi
2610
2611	echo configuring in $ac_config_dir
2612
2613	case "$srcdir" in
2614	.) ;;
2615	*)
2616	if test -d ./$ac_config_dir \|\| mkdir ./$ac_config_dir; then :;
2617	else
2618	{ echo "configure: error: can not create `pwd`/$ac_config_dir" 1>&2; exit 1; }
2619	fi
2620	;;
2621	esac
2622
2623	ac_popdir=`pwd`
2624	cd $ac_config_dir
2625
2626	# A "../" for each directory in /$ac_config_dir.
2627	ac_dots=`echo $ac_config_dir\|sed -e 's%^\./%%' -e 's%[^/]$%&/%' -e 's%[^/]*/%../%g'`
2628
2629	case "$srcdir" in
2630	.) # No --srcdir option. We are building in place.
2631	ac_sub_srcdir=$srcdir ;;
2632	/*) # Absolute path.
2633	ac_sub_srcdir=$srcdir/$ac_config_dir ;;
2634	*) # Relative path.
2635	ac_sub_srcdir=$ac_dots$srcdir/$ac_config_dir ;;
2636	esac
2637
2638	# Check for guested configure; otherwise get Cygnus style configure.
2639	if test -f $ac_sub_srcdir/configure; then
2640	ac_sub_configure=$ac_sub_srcdir/configure
2641	elif test -f $ac_sub_srcdir/configure.in; then
2642	ac_sub_configure=$ac_configure
2643	else
2644	echo "configure: warning: no configuration information is in $ac_config_dir" 1>&2
2645	ac_sub_configure=
2646	fi
2647
2648	# The recursion is here.
2649	if test -n "$ac_sub_configure"; then
2650
2651	# Make the cache file name correct relative to the subdirectory.
2652	case "$cache_file" in
2653	/*) ac_sub_cache_file=$cache_file ;;
2654	*) # Relative path.
2655	ac_sub_cache_file="$ac_dots$cache_file" ;;
2656	esac
2657
2658	echo "running ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir"
2659	# The eval makes quoting arguments work.
2660	if eval ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir
2661	then :
2662	else
2663	{ echo "configure: error: $ac_sub_configure failed for $ac_config_dir" 1>&2; exit 1; }
2664	fi
2665	fi
2666
2667	cd $ac_popdir
2668	done
2669	fi
2670

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

Download in other formats:

Original Format