Context Navigation

configure @ 01a62d

spielwiese

Last change on this file since 01a62d was 01a62d, checked in by Jens Schmidt <schmidt@…>, 27 years ago
* configure: configure.in changed git-svn-id: file:///usr/local/Singular/svn/trunk@534 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100755`
File size: 63.2 KB

Line
1	#! /bin/sh
2
3	# From configure.in Id: configure.in
4	# Guess values for system-dependent variables and create Makefiles.
5	# Generated automatically using autoconf version 2.10
6	# Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
7	#
8	# This configure script is free software; the Free Software Foundation
9	# gives unlimited permission to copy, distribute and modify it.
10
11	# Defaults:
12	ac_help=
13	ac_default_prefix=/usr/local
14	# Any additions from configure.in:
15	ac_help="$ac_help
16	--with-memman(=<memman>) specify factory memory manager.
17	<memman> is either 'old' (default), 'new', or 'no'."
18	ac_help="$ac_help
19	--with-gmp(=<gmp_inc_path>(,<gmp_lib_path>))
20	specify where to find gmp library."
21	ac_help="$ac_help
22	--with-Singular build for use with computer algebra system Singular."
23	ac_help="$ac_help
24	--disable-streamio build factory without streamio"
25	ac_help="$ac_help
26	--enable-memdebug=<level> switch on memory managment debugging. Meaningful
27	with --with-memman=new only. <level> may be either
28	'no' (default), 'normal', or 'full'."
29	ac_help="$ac_help
30	--enable-assertions build factory with assertions activated"
31	ac_help="$ac_help
32	--enable-timing build factory so it will print timing information"
33	ac_help="$ac_help
34	--enable-debugoutput build factory so it will print debugging information"
35	ac_help="$ac_help
36	--enable-gmp together with --with-Singular means: installation
37	in process, be gracefull when there is no gmp.h"
38
39	# Initialize some variables set by options.
40	# The variables have the same names as the options, with
41	# dashes changed to underlines.
42	build=NONE
43	cache_file=./config.cache
44	exec_prefix=NONE
45	host=NONE
46	no_create=
47	nonopt=NONE
48	no_recursion=
49	prefix=NONE
50	program_prefix=NONE
51	program_suffix=NONE
52	program_transform_name=s,x,x,
53	silent=
54	site=
55	srcdir=
56	target=NONE
57	verbose=
58	x_includes=NONE
59	x_libraries=NONE
60	bindir='${exec_prefix}/bin'
61	sbindir='${exec_prefix}/sbin'
62	libexecdir='${exec_prefix}/libexec'
63	datadir='${prefix}/share'
64	sysconfdir='${prefix}/etc'
65	sharedstatedir='${prefix}/com'
66	localstatedir='${prefix}/var'
67	libdir='${exec_prefix}/lib'
68	includedir='${prefix}/include'
69	oldincludedir='/usr/include'
70	infodir='${prefix}/info'
71	mandir='${prefix}/man'
72
73	# Initialize some other variables.
74	subdirs=
75	MFLAGS= MAKEFLAGS=
76
77	ac_prev=
78	for ac_option
79	do
80
81	# If the previous option needs an argument, assign it.
82	if test -n "$ac_prev"; then
83	eval "$ac_prev=\$ac_option"
84	ac_prev=
85	continue
86	fi
87
88	case "$ac_option" in
89	-=) ac_optarg=`echo "$ac_option" \| sed 's/[-_a-zA-Z0-9]*=//'` ;;
90	*) ac_optarg= ;;
91	esac
92
93	# Accept the important Cygnus configure options, so we can diagnose typos.
94
95	case "$ac_option" in
96
97	-bindir \| --bindir \| --bindi \| --bind \| --bin \| --bi)
98	ac_prev=bindir ;;
99	-bindir=* \| --bindir=* \| --bindi=* \| --bind=* \| --bin=* \| --bi=*)
100	bindir="$ac_optarg" ;;
101
102	-build \| --build \| --buil \| --bui \| --bu)
103	ac_prev=build ;;
104	-build=* \| --build=* \| --buil=* \| --bui=* \| --bu=*)
105	build="$ac_optarg" ;;
106
107	-cache-file \| --cache-file \| --cache-fil \| --cache-fi \
108	\| --cache-f \| --cache- \| --cache \| --cach \| --cac \| --ca \| --c)
109	ac_prev=cache_file ;;
110	-cache-file=* \| --cache-file=* \| --cache-fil=* \| --cache-fi=* \
111	\| --cache-f=* \| --cache-=* \| --cache=* \| --cach=* \| --cac=* \| --ca=* \| --c=*)
112	cache_file="$ac_optarg" ;;
113
114	-datadir \| --datadir \| --datadi \| --datad \| --data \| --dat \| --da)
115	ac_prev=datadir ;;
116	-datadir=* \| --datadir=* \| --datadi=* \| --datad=* \| --data=* \| --dat=* \
117	\| --da=*)
118	datadir="$ac_optarg" ;;
119
120	-disable-* \| --disable-*)
121	ac_feature=`echo $ac_option\|sed -e 's/-*disable-//'`
122	# Reject names that are not valid shell variable names.
123	if test -n "`echo $ac_feature\| sed 's/[-a-zA-Z0-9_]//g'`"; then
124	{ echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
125	fi
126	ac_feature=`echo $ac_feature\| sed 's/-/_/g'`
127	eval "enable_${ac_feature}=no" ;;
128
129	-enable-* \| --enable-*)
130	ac_feature=`echo $ac_option\|sed -e 's/-enable-//' -e 's/=.//'`
131	# Reject names that are not valid shell variable names.
132	if test -n "`echo $ac_feature\| sed 's/[-_a-zA-Z0-9]//g'`"; then
133	{ echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
134	fi
135	ac_feature=`echo $ac_feature\| sed 's/-/_/g'`
136	case "$ac_option" in
137	=) ;;
138	*) ac_optarg=yes ;;
139	esac
140	eval "enable_${ac_feature}='$ac_optarg'" ;;
141
142	-exec-prefix \| --exec_prefix \| --exec-prefix \| --exec-prefi \
143	\| --exec-pref \| --exec-pre \| --exec-pr \| --exec-p \| --exec- \
144	\| --exec \| --exe \| --ex)
145	ac_prev=exec_prefix ;;
146	-exec-prefix=* \| --exec_prefix=* \| --exec-prefix=* \| --exec-prefi=* \
147	\| --exec-pref=* \| --exec-pre=* \| --exec-pr=* \| --exec-p=* \| --exec-=* \
148	\| --exec=* \| --exe=* \| --ex=*)
149	exec_prefix="$ac_optarg" ;;
150
151	-gas \| --gas \| --ga \| --g)
152	# Obsolete; use --with-gas.
153	with_gas=yes ;;
154
155	-help \| --help \| --hel \| --he)
156	# Omit some internal or obsolete options to make the list less imposing.
157	# This message is too long to be a string in the A/UX 3.1 sh.
158	cat << EOF
159	Usage: configure [options] [host]
160	Options: [defaults in brackets after descriptions]
161	Configuration:
162	--cache-file=FILE cache test results in FILE
163	--help print this message
164	--no-create do not create output files
165	--quiet, --silent do not print \`checking...' messages
166	--version print the version of autoconf that created configure
167	Directory and file names:
168	--prefix=PREFIX install architecture-independent files in PREFIX
169	[$ac_default_prefix]
170	--exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
171	[same as prefix]
172	--bindir=DIR user executables in DIR [EPREFIX/bin]
173	--sbindir=DIR system admin executables in DIR [EPREFIX/sbin]
174	--libexecdir=DIR program executables in DIR [EPREFIX/libexec]
175	--datadir=DIR read-only architecture-independent data in DIR
176	[PREFIX/share]
177	--sysconfdir=DIR read-only single-machine data in DIR [PREFIX/etc]
178	--sharedstatedir=DIR modifiable architecture-independent data in DIR
179	[PREFIX/com]
180	--localstatedir=DIR modifiable single-machine data in DIR [PREFIX/var]
181	--libdir=DIR object code libraries in DIR [EPREFIX/lib]
182	--includedir=DIR C header files in DIR [PREFIX/include]
183	--oldincludedir=DIR C header files for non-gcc in DIR [/usr/include]
184	--infodir=DIR info documentation in DIR [PREFIX/info]
185	--mandir=DIR man documentation in DIR [PREFIX/man]
186	--srcdir=DIR find the sources in DIR [configure dir or ..]
187	--program-prefix=PREFIX prepend PREFIX to installed program names
188	--program-suffix=SUFFIX append SUFFIX to installed program names
189	--program-transform-name=PROGRAM
190	run sed PROGRAM on installed program names
191	EOF
192	cat << EOF
193	Host type:
194	--build=BUILD configure for building on BUILD [BUILD=HOST]
195	--host=HOST configure for HOST [guessed]
196	--target=TARGET configure for TARGET [TARGET=HOST]
197	Features and packages:
198	--disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)
199	--enable-FEATURE[=ARG] include FEATURE [ARG=yes]
200	--with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
201	--without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
202	--x-includes=DIR X include files are in DIR
203	--x-libraries=DIR X library files are in DIR
204	EOF
205	if test -n "$ac_help"; then
206	echo "--enable and --with options recognized:$ac_help"
207	fi
208	exit 0 ;;
209
210	-host \| --host \| --hos \| --ho)
211	ac_prev=host ;;
212	-host=* \| --host=* \| --hos=* \| --ho=*)
213	host="$ac_optarg" ;;
214
215	-includedir \| --includedir \| --includedi \| --included \| --include \
216	\| --includ \| --inclu \| --incl \| --inc)
217	ac_prev=includedir ;;
218	-includedir=* \| --includedir=* \| --includedi=* \| --included=* \| --include=* \
219	\| --includ=* \| --inclu=* \| --incl=* \| --inc=*)
220	includedir="$ac_optarg" ;;
221
222	-infodir \| --infodir \| --infodi \| --infod \| --info \| --inf)
223	ac_prev=infodir ;;
224	-infodir=* \| --infodir=* \| --infodi=* \| --infod=* \| --info=* \| --inf=*)
225	infodir="$ac_optarg" ;;
226
227	-libdir \| --libdir \| --libdi \| --libd)
228	ac_prev=libdir ;;
229	-libdir=* \| --libdir=* \| --libdi=* \| --libd=*)
230	libdir="$ac_optarg" ;;
231
232	-libexecdir \| --libexecdir \| --libexecdi \| --libexecd \| --libexec \
233	\| --libexe \| --libex \| --libe)
234	ac_prev=libexecdir ;;
235	-libexecdir=* \| --libexecdir=* \| --libexecdi=* \| --libexecd=* \| --libexec=* \
236	\| --libexe=* \| --libex=* \| --libe=*)
237	libexecdir="$ac_optarg" ;;
238
239	-localstatedir \| --localstatedir \| --localstatedi \| --localstated \
240	\| --localstate \| --localstat \| --localsta \| --localst \
241	\| --locals \| --local \| --loca \| --loc \| --lo)
242	ac_prev=localstatedir ;;
243	-localstatedir=* \| --localstatedir=* \| --localstatedi=* \| --localstated=* \
244	\| --localstate=* \| --localstat=* \| --localsta=* \| --localst=* \
245	\| --locals=* \| --local=* \| --loca=* \| --loc=* \| --lo=*)
246	localstatedir="$ac_optarg" ;;
247
248	-mandir \| --mandir \| --mandi \| --mand \| --man \| --ma \| --m)
249	ac_prev=mandir ;;
250	-mandir=* \| --mandir=* \| --mandi=* \| --mand=* \| --man=* \| --ma=* \| --m=*)
251	mandir="$ac_optarg" ;;
252
253	-nfp \| --nfp \| --nf)
254	# Obsolete; use --without-fp.
255	with_fp=no ;;
256
257	-no-create \| --no-create \| --no-creat \| --no-crea \| --no-cre \
258	\| --no-cr \| --no-c)
259	no_create=yes ;;
260
261	-no-recursion \| --no-recursion \| --no-recursio \| --no-recursi \
262	\| --no-recurs \| --no-recur \| --no-recu \| --no-rec \| --no-re \| --no-r)
263	no_recursion=yes ;;
264
265	-oldincludedir \| --oldincludedir \| --oldincludedi \| --oldincluded \
266	\| --oldinclude \| --oldinclud \| --oldinclu \| --oldincl \| --oldinc \
267	\| --oldin \| --oldi \| --old \| --ol \| --o)
268	ac_prev=oldincludedir ;;
269	-oldincludedir=* \| --oldincludedir=* \| --oldincludedi=* \| --oldincluded=* \
270	\| --oldinclude=* \| --oldinclud=* \| --oldinclu=* \| --oldincl=* \| --oldinc=* \
271	\| --oldin=* \| --oldi=* \| --old=* \| --ol=* \| --o=*)
272	oldincludedir="$ac_optarg" ;;
273
274	-prefix \| --prefix \| --prefi \| --pref \| --pre \| --pr \| --p)
275	ac_prev=prefix ;;
276	-prefix=* \| --prefix=* \| --prefi=* \| --pref=* \| --pre=* \| --pr=* \| --p=*)
277	prefix="$ac_optarg" ;;
278
279	-program-prefix \| --program-prefix \| --program-prefi \| --program-pref \
280	\| --program-pre \| --program-pr \| --program-p)
281	ac_prev=program_prefix ;;
282	-program-prefix=* \| --program-prefix=* \| --program-prefi=* \
283	\| --program-pref=* \| --program-pre=* \| --program-pr=* \| --program-p=*)
284	program_prefix="$ac_optarg" ;;
285
286	-program-suffix \| --program-suffix \| --program-suffi \| --program-suff \
287	\| --program-suf \| --program-su \| --program-s)
288	ac_prev=program_suffix ;;
289	-program-suffix=* \| --program-suffix=* \| --program-suffi=* \
290	\| --program-suff=* \| --program-suf=* \| --program-su=* \| --program-s=*)
291	program_suffix="$ac_optarg" ;;
292
293	-program-transform-name \| --program-transform-name \
294	\| --program-transform-nam \| --program-transform-na \
295	\| --program-transform-n \| --program-transform- \
296	\| --program-transform \| --program-transfor \
297	\| --program-transfo \| --program-transf \
298	\| --program-trans \| --program-tran \
299	\| --progr-tra \| --program-tr \| --program-t)
300	ac_prev=program_transform_name ;;
301	-program-transform-name=* \| --program-transform-name=* \
302	\| --program-transform-nam=* \| --program-transform-na=* \
303	\| --program-transform-n=* \| --program-transform-=* \
304	\| --program-transform=* \| --program-transfor=* \
305	\| --program-transfo=* \| --program-transf=* \
306	\| --program-trans=* \| --program-tran=* \
307	\| --progr-tra=* \| --program-tr=* \| --program-t=*)
308	program_transform_name="$ac_optarg" ;;
309
310	-q \| -quiet \| --quiet \| --quie \| --qui \| --qu \| --q \
311	\| -silent \| --silent \| --silen \| --sile \| --sil)
312	silent=yes ;;
313
314	-sbindir \| --sbindir \| --sbindi \| --sbind \| --sbin \| --sbi \| --sb)
315	ac_prev=sbindir ;;
316	-sbindir=* \| --sbindir=* \| --sbindi=* \| --sbind=* \| --sbin=* \
317	\| --sbi=* \| --sb=*)
318	sbindir="$ac_optarg" ;;
319
320	-sharedstatedir \| --sharedstatedir \| --sharedstatedi \
321	\| --sharedstated \| --sharedstate \| --sharedstat \| --sharedsta \
322	\| --sharedst \| --shareds \| --shared \| --share \| --shar \
323	\| --sha \| --sh)
324	ac_prev=sharedstatedir ;;
325	-sharedstatedir=* \| --sharedstatedir=* \| --sharedstatedi=* \
326	\| --sharedstated=* \| --sharedstate=* \| --sharedstat=* \| --sharedsta=* \
327	\| --sharedst=* \| --shareds=* \| --shared=* \| --share=* \| --shar=* \
328	\| --sha=* \| --sh=*)
329	sharedstatedir="$ac_optarg" ;;
330
331	-site \| --site \| --sit)
332	ac_prev=site ;;
333	-site=* \| --site=* \| --sit=*)
334	site="$ac_optarg" ;;
335
336	-srcdir \| --srcdir \| --srcdi \| --srcd \| --src \| --sr)
337	ac_prev=srcdir ;;
338	-srcdir=* \| --srcdir=* \| --srcdi=* \| --srcd=* \| --src=* \| --sr=*)
339	srcdir="$ac_optarg" ;;
340
341	-sysconfdir \| --sysconfdir \| --sysconfdi \| --sysconfd \| --sysconf \
342	\| --syscon \| --sysco \| --sysc \| --sys \| --sy)
343	ac_prev=sysconfdir ;;
344	-sysconfdir=* \| --sysconfdir=* \| --sysconfdi=* \| --sysconfd=* \| --sysconf=* \
345	\| --syscon=* \| --sysco=* \| --sysc=* \| --sys=* \| --sy=*)
346	sysconfdir="$ac_optarg" ;;
347
348	-target \| --target \| --targe \| --targ \| --tar \| --ta \| --t)
349	ac_prev=target ;;
350	-target=* \| --target=* \| --targe=* \| --targ=* \| --tar=* \| --ta=* \| --t=*)
351	target="$ac_optarg" ;;
352
353	-v \| -verbose \| --verbose \| --verbos \| --verbo \| --verb)
354	verbose=yes ;;
355
356	-version \| --version \| --versio \| --versi \| --vers)
357	echo "configure generated by autoconf version 2.10"
358	exit 0 ;;
359
360	-with-* \| --with-*)
361	ac_package=`echo $ac_option\|sed -e 's/-with-//' -e 's/=.//'`
362	# Reject names that are not valid shell variable names.
363	if test -n "`echo $ac_package\| sed 's/[-_a-zA-Z0-9]//g'`"; then
364	{ echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
365	fi
366	ac_package=`echo $ac_package\| sed 's/-/_/g'`
367	case "$ac_option" in
368	=) ;;
369	*) ac_optarg=yes ;;
370	esac
371	eval "with_${ac_package}='$ac_optarg'" ;;
372
373	-without-* \| --without-*)
374	ac_package=`echo $ac_option\|sed -e 's/-*without-//'`
375	# Reject names that are not valid shell variable names.
376	if test -n "`echo $ac_package\| sed 's/[-a-zA-Z0-9_]//g'`"; then
377	{ echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
378	fi
379	ac_package=`echo $ac_package\| sed 's/-/_/g'`
380	eval "with_${ac_package}=no" ;;
381
382	--x)
383	# Obsolete; use --with-x.
384	with_x=yes ;;
385
386	-x-includes \| --x-includes \| --x-include \| --x-includ \| --x-inclu \
387	\| --x-incl \| --x-inc \| --x-in \| --x-i)
388	ac_prev=x_includes ;;
389	-x-includes=* \| --x-includes=* \| --x-include=* \| --x-includ=* \| --x-inclu=* \
390	\| --x-incl=* \| --x-inc=* \| --x-in=* \| --x-i=*)
391	x_includes="$ac_optarg" ;;
392
393	-x-libraries \| --x-libraries \| --x-librarie \| --x-librari \
394	\| --x-librar \| --x-libra \| --x-libr \| --x-lib \| --x-li \| --x-l)
395	ac_prev=x_libraries ;;
396	-x-libraries=* \| --x-libraries=* \| --x-librarie=* \| --x-librari=* \
397	\| --x-librar=* \| --x-libra=* \| --x-libr=* \| --x-lib=* \| --x-li=* \| --x-l=*)
398	x_libraries="$ac_optarg" ;;
399
400	-*) { echo "configure: error: $ac_option: invalid option; use --help to show usage" 1>&2; exit 1; }
401	;;
402
403	*)
404	if test -n "`echo $ac_option\| sed 's/[-a-z0-9.]//g'`"; then
405	echo "configure: warning: $ac_option: invalid host type" 1>&2
406	fi
407	if test "x$nonopt" != xNONE; then
408	{ echo "configure: error: can only configure for one host and one target at a time" 1>&2; exit 1; }
409	fi
410	nonopt="$ac_option"
411	;;
412
413	esac
414	done
415
416	if test -n "$ac_prev"; then
417	{ echo "configure: error: missing argument to --`echo $ac_prev \| sed 's/_/-/g'`" 1>&2; exit 1; }
418	fi
419
420	trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
421
422	# File descriptor usage:
423	# 0 standard input
424	# 1 file creation
425	# 2 errors and warnings
426	# 3 some systems may open it to /dev/tty
427	# 4 used on the Kubota Titan
428	# 6 checking for... messages and results
429	# 5 compiler messages saved in config.log
430	if test "$silent" = yes; then
431	exec 6>/dev/null
432	else
433	exec 6>&1
434	fi
435	exec 5>./config.log
436
437	echo "\
438	This file contains any messages produced by compilers while
439	running configure, to aid debugging if configure makes a mistake.
440	" 1>&5
441
442	# Strip out --no-create and --no-recursion so they do not pile up.
443	# Also quote any args containing shell metacharacters.
444	ac_configure_args=
445	for ac_arg
446	do
447	case "$ac_arg" in
448	-no-create \| --no-create \| --no-creat \| --no-crea \| --no-cre \
449	\| --no-cr \| --no-c) ;;
450	-no-recursion \| --no-recursion \| --no-recursio \| --no-recursi \
451	\| --no-recurs \| --no-recur \| --no-recu \| --no-rec \| --no-re \| --no-r) ;;
452	" "\|" "\|[\[\]\~\#\$\^\&\\{\}\\\\|\;\<\>\?]*)
453	ac_configure_args="$ac_configure_args '$ac_arg'" ;;
454	*) ac_configure_args="$ac_configure_args $ac_arg" ;;
455	esac
456	done
457
458	# NLS nuisances.
459	# Only set LANG and LC_ALL to C if already set.
460	# These must not be set unconditionally because not all systems understand
461	# e.g. LANG=C (notably SCO).
462	if test "${LC_ALL+set}" = set; then LC_ALL=C; export LC_ALL; fi
463	if test "${LANG+set}" = set; then LANG=C; export LANG; fi
464
465	# confdefs.h avoids OS command line length limits that DEFS can exceed.
466	rm -rf conftest* confdefs.h
467	# AIX cpp loses on an empty file, so make sure it contains at least a newline.
468	echo > confdefs.h
469
470	# A filename unique to this package, relative to the directory that
471	# configure is in, which we can look for to find out if srcdir is correct.
472	ac_unique_file=canonicalform.cc
473
474	# Find the source files, if location was not specified.
475	if test -z "$srcdir"; then
476	ac_srcdir_defaulted=yes
477	# Try the directory containing this script, then its parent.
478	ac_prog=$0
479	ac_confdir=`echo $ac_prog\|sed 's%/[^/][^/]*$%%'`
480	test "x$ac_confdir" = "x$ac_prog" && ac_confdir=.
481	srcdir=$ac_confdir
482	if test ! -r $srcdir/$ac_unique_file; then
483	srcdir=..
484	fi
485	else
486	ac_srcdir_defaulted=no
487	fi
488	if test ! -r $srcdir/$ac_unique_file; then
489	if test "$ac_srcdir_defaulted" = yes; then
490	{ echo "configure: error: can not find sources in $ac_confdir or .." 1>&2; exit 1; }
491	else
492	{ echo "configure: error: can not find sources in $srcdir" 1>&2; exit 1; }
493	fi
494	fi
495	srcdir=`echo "${srcdir}" \| sed 's%$[^/]$/*$%\1%'`
496
497	# Prefer explicitly selected file to automatically selected ones.
498	if test -z "$CONFIG_SITE"; then
499	if test "x$prefix" != xNONE; then
500	CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
501	else
502	CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
503	fi
504	fi
505	for ac_site_file in $CONFIG_SITE; do
506	if test -r "$ac_site_file"; then
507	echo "loading site script $ac_site_file"
508	. "$ac_site_file"
509	fi
510	done
511
512	if test -r "$cache_file"; then
513	echo "loading cache $cache_file"
514	. $cache_file
515	else
516	echo "creating cache $cache_file"
517	> $cache_file
518	fi
519
520	ac_ext=c
521	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
522	ac_cpp='$CPP $CPPFLAGS'
523	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
524	ac_link='${CC-cc} -o conftest $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
525
526	if (echo "testing\c"; echo 1,2,3) \| grep c >/dev/null; then
527	# Stardent Vistra SVR4 grep lacks -e, says ghazi@caip.rutgers.edu.
528	if (echo -n testing; echo 1,2,3) \| sed s/-n/xn/ \| grep xn >/dev/null; then
529	ac_n= ac_c='
530	' ac_t=' '
531	else
532	ac_n=-n ac_c= ac_t=
533	fi
534	else
535	ac_n= ac_c='\c' ac_t=
536	fi
537
538
539
540	ac_aux_dir=
541	for ac_dir in bin $srcdir/bin; do
542	if test -f $ac_dir/install-sh; then
543	ac_aux_dir=$ac_dir
544	ac_install_sh="$ac_aux_dir/install-sh -c"
545	break
546	elif test -f $ac_dir/install.sh; then
547	ac_aux_dir=$ac_dir
548	ac_install_sh="$ac_aux_dir/install.sh -c"
549	break
550	fi
551	done
552	if test -z "$ac_aux_dir"; then
553	{ echo "configure: error: can not find install-sh or install.sh in bin $srcdir/bin" 1>&2; exit 1; }
554	fi
555	ac_config_guess=$ac_aux_dir/config.guess
556	ac_config_sub=$ac_aux_dir/config.sub
557	ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
558
559
560	#
561	# Do not change version here!!!
562	#
563	factory_version="1.2c"
564
565	#
566	# - check withs and enables.
567	#
568	# Check whether --with-memman or --without-memman was given.
569	if test "${with_memman+set}" = set; then
570	withval="$with_memman"
571	:
572	else
573	if test "x$with_Singular" = xyes; then
574	with_memman=no
575	else
576	with_memman=old
577	fi
578	fi
579
580
581	# Check whether --with-gmp or --without-gmp was given.
582	if test "${with_gmp+set}" = set; then
583	withval="$with_gmp"
584	:
585	fi
586
587
588	# Check whether --with-Singular or --without-Singular was given.
589	if test "${with_Singular+set}" = set; then
590	withval="$with_Singular"
591	:
592	else
593	with_Singular=no
594	fi
595
596
597	# Check whether --enable-streamio or --disable-streamio was given.
598	if test "${enable_streamio+set}" = set; then
599	enableval="$enable_streamio"
600	:
601	else
602	if test "x$with_Singular" = xyes; then
603	enable_streamio=no
604	else
605	enable_streamio=yes
606	fi
607	fi
608
609
610	# Check whether --enable-memdebug or --disable-memdebug was given.
611	if test "${enable_memdebug+set}" = set; then
612	enableval="$enable_memdebug"
613	:
614	else
615	enable_memdebug=no
616	fi
617
618
619	# Check whether --enable-assertions or --disable-assertions was given.
620	if test "${enable_assertions+set}" = set; then
621	enableval="$enable_assertions"
622	:
623	else
624	enable_assertions=no
625	fi
626
627
628	# Check whether --enable-timing or --disable-timing was given.
629	if test "${enable_timing+set}" = set; then
630	enableval="$enable_timing"
631	:
632	else
633	enable_timing=no
634	fi
635
636
637	# Check whether --enable-debugoutput or --disable-debugoutput was given.
638	if test "${enable_debugoutput+set}" = set; then
639	enableval="$enable_debugoutput"
640	:
641	else
642	enable_debugoutput=no
643	fi
644
645
646	# an ugly tribute to Singular
647	# Check whether --enable-gmp or --disable-gmp was given.
648	if test "${enable_gmp+set}" = set; then
649	enableval="$enable_gmp"
650	if test "x$with_Singular" = xyes && test "x$enable_gmp" != xno; then
651	with_gmp='$(includedir)'
652	fi
653	fi
654
655
656	#
657	# - check the results of --with-gmp.
658	#
659	case "$with_gmp" in
660	yes\|no\|"")
661	gmp_in_installation=no ;;
662	'$(includedir)'\|'${includedir}')
663	gmp_in_installation=yes ;;
664	,)
665	saveIFS="$IFS"; IFS="${IFS},"
666	set dummy $with_gmp
667	IFS="$saveIFS"
668	CPPFLAGS="-I$2 $CPPFLAGS"
669	LDFLAGS="-L$3 $LDFLAGS"
670	gmp_in_installation=no ;;
671	*)
672	CPPFLAGS="-I$with_gmp $CPPFLAGS"
673	LDFLAGS="-L$with_gmp/../lib $LDFLAGS"
674	gmp_in_installation=no ;;
675	esac
676
677	#
678	# - check for CC and CXX but be careful about CFLAGS.
679	#
680	test "${CFLAGS+set}" = set \|\| cflags_expl_set=no
681	# Extract the first word of "gcc", so it can be a program name with args.
682	set dummy gcc; ac_word=$2
683	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
684	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
685	echo $ac_n "(cached) $ac_c" 1>&6
686	else
687	if test -n "$CC"; then
688	ac_cv_prog_CC="$CC" # Let the user override the test.
689	else
690	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
691	for ac_dir in $PATH; do
692	test -z "$ac_dir" && ac_dir=.
693	if test -f $ac_dir/$ac_word; then
694	ac_cv_prog_CC="gcc"
695	break
696	fi
697	done
698	IFS="$ac_save_ifs"
699	fi
700	fi
701	CC="$ac_cv_prog_CC"
702	if test -n "$CC"; then
703	echo "$ac_t""$CC" 1>&6
704	else
705	echo "$ac_t""no" 1>&6
706	fi
707
708	if test -z "$CC"; then
709	# Extract the first word of "cc", so it can be a program name with args.
710	set dummy cc; ac_word=$2
711	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
712	if eval "test \"`echo '$''{'ac_cv_prog_CC'+set}'`\" = set"; then
713	echo $ac_n "(cached) $ac_c" 1>&6
714	else
715	if test -n "$CC"; then
716	ac_cv_prog_CC="$CC" # Let the user override the test.
717	else
718	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
719	ac_prog_rejected=no
720	for ac_dir in $PATH; do
721	test -z "$ac_dir" && ac_dir=.
722	if test -f $ac_dir/$ac_word; then
723	if test "$ac_dir/$ac_word" = "/usr/ucb/cc"; then
724	ac_prog_rejected=yes
725	continue
726	fi
727	ac_cv_prog_CC="cc"
728	break
729	fi
730	done
731	IFS="$ac_save_ifs"
732	if test $ac_prog_rejected = yes; then
733	# We found a bogon in the path, so make sure we never use it.
734	set dummy $ac_cv_prog_CC
735	shift
736	if test $# -gt 0; then
737	# We chose a different compiler from the bogus one.
738	# However, it has the same basename, so the bogon will be chosen
739	# first if we set CC to just the basename; use the full file name.
740	shift
741	set dummy "$ac_dir/$ac_word" "$@"
742	shift
743	ac_cv_prog_CC="$@"
744	fi
745	fi
746	fi
747	fi
748	CC="$ac_cv_prog_CC"
749	if test -n "$CC"; then
750	echo "$ac_t""$CC" 1>&6
751	else
752	echo "$ac_t""no" 1>&6
753	fi
754
755	test -z "$CC" && { echo "configure: error: no acceptable cc found in \$PATH" 1>&2; exit 1; }
756	fi
757
758	echo $ac_n "checking whether we are using GNU C""... $ac_c" 1>&6
759	if eval "test \"`echo '$''{'ac_cv_prog_gcc'+set}'`\" = set"; then
760	echo $ac_n "(cached) $ac_c" 1>&6
761	else
762	cat > conftest.c <<EOF
763	#ifdef __GNUC__
764	yes;
765	#endif
766	EOF
767	if { ac_try='${CC-cc} -E conftest.c'; { (eval echo configure:768: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } \| egrep yes >/dev/null 2>&1; then
768	ac_cv_prog_gcc=yes
769	else
770	ac_cv_prog_gcc=no
771	fi
772	fi
773
774	echo "$ac_t""$ac_cv_prog_gcc" 1>&6
775	if test $ac_cv_prog_gcc = yes; then
776	GCC=yes
777	if test "${CFLAGS+set}" != set; then
778	echo $ac_n "checking whether ${CC-cc} accepts -g""... $ac_c" 1>&6
779	if eval "test \"`echo '$''{'ac_cv_prog_gcc_g'+set}'`\" = set"; then
780	echo $ac_n "(cached) $ac_c" 1>&6
781	else
782	echo 'void f(){}' > conftest.c
783	if test -z "`${CC-cc} -g -c conftest.c 2>&1`"; then
784	ac_cv_prog_gcc_g=yes
785	else
786	ac_cv_prog_gcc_g=no
787	fi
788	rm -f conftest*
789
790	fi
791
792	echo "$ac_t""$ac_cv_prog_gcc_g" 1>&6
793	if test $ac_cv_prog_gcc_g = yes; then
794	CFLAGS="-g -O"
795	else
796	CFLAGS="-O"
797	fi
798	fi
799	else
800	GCC=
801	test "${CFLAGS+set}" = set \|\| CFLAGS="-g"
802	fi
803
804	test "${CXXFLAGS+set}" = set \|\| cxxflags_expl_set=no
805	for ac_prog in $CCC c++ g++ gcc CC cxx
806	do
807	# Extract the first word of "$ac_prog", so it can be a program name with args.
808	set dummy $ac_prog; ac_word=$2
809	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
810	if eval "test \"`echo '$''{'ac_cv_prog_CXX'+set}'`\" = set"; then
811	echo $ac_n "(cached) $ac_c" 1>&6
812	else
813	if test -n "$CXX"; then
814	ac_cv_prog_CXX="$CXX" # Let the user override the test.
815	else
816	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
817	for ac_dir in $PATH; do
818	test -z "$ac_dir" && ac_dir=.
819	if test -f $ac_dir/$ac_word; then
820	ac_cv_prog_CXX="$ac_prog"
821	break
822	fi
823	done
824	IFS="$ac_save_ifs"
825	fi
826	fi
827	CXX="$ac_cv_prog_CXX"
828	if test -n "$CXX"; then
829	echo "$ac_t""$CXX" 1>&6
830	else
831	echo "$ac_t""no" 1>&6
832	fi
833
834	test -n "$CXX" && break
835	done
836	test -n "$CXX" \|\| CXX="gcc"
837
838
839	echo $ac_n "checking whether we are using GNU C++""... $ac_c" 1>&6
840	if eval "test \"`echo '$''{'ac_cv_prog_gxx'+set}'`\" = set"; then
841	echo $ac_n "(cached) $ac_c" 1>&6
842	else
843	cat > conftest.C <<EOF
844	#ifdef __GNUC__
845	yes;
846	#endif
847	EOF
848	if { ac_try='${CXX-g++} -E conftest.C'; { (eval echo configure:849: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } \| egrep yes >/dev/null 2>&1; then
849	ac_cv_prog_gxx=yes
850	else
851	ac_cv_prog_gxx=no
852	fi
853	fi
854
855	echo "$ac_t""$ac_cv_prog_gxx" 1>&6
856	if test $ac_cv_prog_gxx = yes; then
857	GXX=yes
858	if test "${CXXFLAGS+set}" != set; then
859	echo $ac_n "checking whether ${CXX-g++} accepts -g""... $ac_c" 1>&6
860	if eval "test \"`echo '$''{'ac_cv_prog_gxx_g'+set}'`\" = set"; then
861	echo $ac_n "(cached) $ac_c" 1>&6
862	else
863	echo 'void f(){}' > conftest.cc
864	if test -z "`${CXX-g++} -g -c conftest.cc 2>&1`"; then
865	ac_cv_prog_gxx_g=yes
866	else
867	ac_cv_prog_gxx_g=no
868	fi
869	rm -f conftest*
870
871	fi
872
873	echo "$ac_t""$ac_cv_prog_gxx_g" 1>&6
874	if test $ac_cv_prog_gxx_g = yes; then
875	CXXFLAGS="-g -O"
876	else
877	CXXFLAGS="-O"
878	fi
879	fi
880	else
881	GXX=
882	test "${CXXFLAGS+set}" = set \|\| CXXFLAGS="-g"
883	fi
884
885	if test "x$GCC" != xyes && test "x$GXX" != xyes; then
886	echo "configure: warning: you better use gcc to compile factory" 1>&2
887	else
888	if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
889	echo "configure: warning: we will use '-O2 -fomit-frame-pointer' as default for CXXFLAGS
890	(instead of the configure default '-g -O')" 1>&2
891	fi
892	if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
893	echo "configure: warning: we will use '-O2 -fomit-frame-pointer' as default for CFLAGS
894	(instead of the configure default '-g -O')" 1>&2
895	fi
896	fi
897
898	#
899	# - check for some other programs.
900	#
901	echo $ac_n "checking how to run the C++ preprocessor""... $ac_c" 1>&6
902	if test -z "$CXXCPP"; then
903	if eval "test \"`echo '$''{'ac_cv_prog_CXXCPP'+set}'`\" = set"; then
904	echo $ac_n "(cached) $ac_c" 1>&6
905	else
906	ac_ext=C
907	# CXXFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
908	ac_cpp='$CXXCPP $CPPFLAGS'
909	ac_compile='${CXX-g++} -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
910	ac_link='${CXX-g++} -o conftest $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
911	CXXCPP="${CXX-g++} -E"
912	cat > conftest.$ac_ext <<EOF
913	#line 914 "configure"
914	#include "confdefs.h"
915	#include <stdlib.h>
916	EOF
917	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
918	{ (eval echo configure:919: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
919	ac_err=`grep -v '^ *+' conftest.out`
920	if test -z "$ac_err"; then
921	:
922	else
923	echo "$ac_err" >&5
924	rm -rf conftest*
925	CXXCPP=/lib/cpp
926	fi
927	rm -f conftest*
928	ac_cv_prog_CXXCPP="$CXXCPP"
929	ac_ext=c
930	# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
931	ac_cpp='$CPP $CPPFLAGS'
932	ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
933	ac_link='${CC-cc} -o conftest $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
934	fi
935	fi
936	CXXCPP="$ac_cv_prog_CXXCPP"
937	echo "$ac_t""$CXXCPP" 1>&6
938
939	# Find a good install program. We prefer a C program (faster),
940	# so one script is as good as another. But avoid the broken or
941	# incompatible versions:
942	# SysV /etc/install, /usr/sbin/install
943	# SunOS /usr/etc/install
944	# IRIX /sbin/install
945	# AIX /bin/install
946	# AFS /usr/afsws/bin/install, which mishandles nonexistent args
947	# SVR4 /usr/ucb/install, which tries to use the nonexistent group "staff"
948	# ./install, which can be erroneously created by make from ./install.sh.
949	echo $ac_n "checking for a BSD compatible install""... $ac_c" 1>&6
950	if test -z "$INSTALL"; then
951	if eval "test \"`echo '$''{'ac_cv_path_install'+set}'`\" = set"; then
952	echo $ac_n "(cached) $ac_c" 1>&6
953	else
954	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
955	for ac_dir in $PATH; do
956	# Account for people who put trailing slashes in PATH elements.
957	case "$ac_dir/" in
958	/\|./\|.//\|/etc/\|/usr/sbin/\|/usr/etc/\|/sbin/\|/usr/afsws/bin/\|/usr/ucb/) ;;
959	*)
960	# OSF1 and SCO ODT 3.0 have their own names for install.
961	for ac_prog in ginstall installbsd scoinst install; do
962	if test -f $ac_dir/$ac_prog; then
963	if test $ac_prog = install &&
964	grep dspmsg $ac_dir/$ac_prog >/dev/null 2>&1; then
965	# AIX install. It has an incompatible calling convention.
966	# OSF/1 installbsd also uses dspmsg, but is usable.
967	:
968	else
969	ac_cv_path_install="$ac_dir/$ac_prog -c"
970	break 2
971	fi
972	fi
973	done
974	;;
975	esac
976	done
977	IFS="$ac_save_ifs"
978
979	fi
980	if test "${ac_cv_path_install+set}" = set; then
981	INSTALL="$ac_cv_path_install"
982	else
983	# As a last resort, use the slow shell script. We don't cache a
984	# path for INSTALL within a source directory, because that will
985	# break other packages using the cache if that directory is
986	# removed, or if the path is relative.
987	INSTALL="$ac_install_sh"
988	fi
989	fi
990	echo "$ac_t""$INSTALL" 1>&6
991
992	# Use test -z because SunOS4 sh mishandles braces in ${var-val}.
993	# It thinks the first close brace ends the variable substitution.
994	test -z "$INSTALL_PROGRAM" && INSTALL_PROGRAM='${INSTALL}'
995
996	test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
997
998	# Extract the first word of "ranlib", so it can be a program name with args.
999	set dummy ranlib; ac_word=$2
1000	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1001	if eval "test \"`echo '$''{'ac_cv_prog_RANLIB'+set}'`\" = set"; then
1002	echo $ac_n "(cached) $ac_c" 1>&6
1003	else
1004	if test -n "$RANLIB"; then
1005	ac_cv_prog_RANLIB="$RANLIB" # Let the user override the test.
1006	else
1007	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
1008	for ac_dir in $PATH; do
1009	test -z "$ac_dir" && ac_dir=.
1010	if test -f $ac_dir/$ac_word; then
1011	ac_cv_prog_RANLIB="ranlib"
1012	break
1013	fi
1014	done
1015	IFS="$ac_save_ifs"
1016	test -z "$ac_cv_prog_RANLIB" && ac_cv_prog_RANLIB=":"
1017	fi
1018	fi
1019	RANLIB="$ac_cv_prog_RANLIB"
1020	if test -n "$RANLIB"; then
1021	echo "$ac_t""$RANLIB" 1>&6
1022	else
1023	echo "$ac_t""no" 1>&6
1024	fi
1025
1026	echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
1027	set dummy ${MAKE-make}; ac_make=$2
1028	if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
1029	echo $ac_n "(cached) $ac_c" 1>&6
1030	else
1031	cat > conftestmake <<\EOF
1032	all:
1033	@echo 'ac_maketemp="${MAKE}"'
1034	EOF
1035	# GNU make sometimes prints "make[1]: Entering...", which would confuse us.
1036	eval `${MAKE-make} -f conftestmake 2>/dev/null \| grep temp=`
1037	if test -n "$ac_maketemp"; then
1038	eval ac_cv_prog_make_${ac_make}_set=yes
1039	else
1040	eval ac_cv_prog_make_${ac_make}_set=no
1041	fi
1042	rm -f conftestmake
1043	fi
1044	if eval "test \"`echo '$ac_cv_prog_make_'${ac_make}_set`\" = yes"; then
1045	echo "$ac_t""yes" 1>&6
1046	SET_MAKE=
1047	else
1048	echo "$ac_t""no" 1>&6
1049	SET_MAKE="MAKE=${MAKE-make}"
1050	fi
1051
1052	# Extract the first word of "ar", so it can be a program name with args.
1053	set dummy ar; ac_word=$2
1054	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1055	if eval "test \"`echo '$''{'ac_cv_prog_AR'+set}'`\" = set"; then
1056	echo $ac_n "(cached) $ac_c" 1>&6
1057	else
1058	if test -n "$AR"; then
1059	ac_cv_prog_AR="$AR" # Let the user override the test.
1060	else
1061	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
1062	for ac_dir in $PATH; do
1063	test -z "$ac_dir" && ac_dir=.
1064	if test -f $ac_dir/$ac_word; then
1065	ac_cv_prog_AR="ar"
1066	break
1067	fi
1068	done
1069	IFS="$ac_save_ifs"
1070	test -z "$ac_cv_prog_AR" && ac_cv_prog_AR="where-is-your-ar"
1071	fi
1072	fi
1073	AR="$ac_cv_prog_AR"
1074	if test -n "$AR"; then
1075	echo "$ac_t""$AR" 1>&6
1076	else
1077	echo "$ac_t""no" 1>&6
1078	fi
1079
1080	# Extract the first word of "bison", so it can be a program name with args.
1081	set dummy bison; ac_word=$2
1082	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1083	if eval "test \"`echo '$''{'ac_cv_prog_BISON'+set}'`\" = set"; then
1084	echo $ac_n "(cached) $ac_c" 1>&6
1085	else
1086	if test -n "$BISON"; then
1087	ac_cv_prog_BISON="$BISON" # Let the user override the test.
1088	else
1089	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
1090	for ac_dir in $PATH; do
1091	test -z "$ac_dir" && ac_dir=.
1092	if test -f $ac_dir/$ac_word; then
1093	ac_cv_prog_BISON="bison"
1094	break
1095	fi
1096	done
1097	IFS="$ac_save_ifs"
1098	test -z "$ac_cv_prog_BISON" && ac_cv_prog_BISON="where-is-your-bison"
1099	fi
1100	fi
1101	BISON="$ac_cv_prog_BISON"
1102	if test -n "$BISON"; then
1103	echo "$ac_t""$BISON" 1>&6
1104	else
1105	echo "$ac_t""no" 1>&6
1106	fi
1107
1108
1109	# get absolute path of srcdir to avoid some funny problems when
1110	# feeding our results to other peoples configure via cache
1111	if echo "$srcdir" \| grep '^/' > /dev/null 2> /dev/null; then
1112	abssrcdir="$srcdir"
1113	else
1114	abssrcdir="`pwd`/$srcdir"
1115	fi
1116	# Extract the first word of "mkinstalldirs", so it can be a program name with args.
1117	set dummy mkinstalldirs; ac_word=$2
1118	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1119	if eval "test \"`echo '$''{'ac_cv_path_MKINSTALLDIRS'+set}'`\" = set"; then
1120	echo $ac_n "(cached) $ac_c" 1>&6
1121	else
1122	case "$MKINSTALLDIRS" in
1123	/*)
1124	ac_cv_path_MKINSTALLDIRS="$MKINSTALLDIRS" # Let the user override the test with a path.
1125	;;
1126	*)
1127	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
1128	for ac_dir in $PATH:$abssrcdir/bin; do
1129	test -z "$ac_dir" && ac_dir=.
1130	if test -f $ac_dir/$ac_word; then
1131	ac_cv_path_MKINSTALLDIRS="$ac_dir/$ac_word"
1132	break
1133	fi
1134	done
1135	IFS="$ac_save_ifs"
1136	test -z "$ac_cv_path_MKINSTALLDIRS" && ac_cv_path_MKINSTALLDIRS="-mkdir"
1137	;;
1138	esac
1139	fi
1140	MKINSTALLDIRS="$ac_cv_path_MKINSTALLDIRS"
1141	if test -n "$MKINSTALLDIRS"; then
1142	echo "$ac_t""$MKINSTALLDIRS" 1>&6
1143	else
1144	echo "$ac_t""no" 1>&6
1145	fi
1146
1147	# Extract the first word of "makeheader", so it can be a program name with args.
1148	set dummy makeheader; ac_word=$2
1149	echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
1150	if eval "test \"`echo '$''{'ac_cv_path_MAKEHEADER'+set}'`\" = set"; then
1151	echo $ac_n "(cached) $ac_c" 1>&6
1152	else
1153	case "$MAKEHEADER" in
1154	/*)
1155	ac_cv_path_MAKEHEADER="$MAKEHEADER" # Let the user override the test with a path.
1156	;;
1157	*)
1158	IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS="${IFS}:"
1159	for ac_dir in $abssrcdir/bin:$PATH; do
1160	test -z "$ac_dir" && ac_dir=.
1161	if test -f $ac_dir/$ac_word; then
1162	ac_cv_path_MAKEHEADER="$ac_dir/$ac_word"
1163	break
1164	fi
1165	done
1166	IFS="$ac_save_ifs"
1167	;;
1168	esac
1169	fi
1170	MAKEHEADER="$ac_cv_path_MAKEHEADER"
1171	if test -n "$MAKEHEADER"; then
1172	echo "$ac_t""$MAKEHEADER" 1>&6
1173	else
1174	echo "$ac_t""no" 1>&6
1175	fi
1176
1177
1178	#
1179	# - check for libraries.
1180	#
1181	if test "x$gmp_in_installation" != xyes; then
1182	echo $ac_n "checking for -lgmp""... $ac_c" 1>&6
1183	ac_lib_var=`echo gmp'_'mpz_init \| tr './+\055' '__p_'`
1184	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1185	echo $ac_n "(cached) $ac_c" 1>&6
1186	else
1187	ac_save_LIBS="$LIBS"
1188	LIBS="-lgmp $LIBS"
1189	cat > conftest.$ac_ext <<EOF
1190	#line 1191 "configure"
1191	#include "confdefs.h"
1192	/* Override any gcc2 internal prototype to avoid an error. */
1193	/* We use char because int might match the return type of a gcc2
1194	builtin and then its argument prototype would still apply. */
1195	char mpz_init();
1196
1197	int main() { return 0; }
1198	int t() {
1199	mpz_init()
1200	; return 0; }
1201	EOF
1202	if { (eval echo configure:1203: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; }; then
1203	rm -rf conftest*
1204	eval "ac_cv_lib_$ac_lib_var=yes"
1205	else
1206	rm -rf conftest*
1207	eval "ac_cv_lib_$ac_lib_var=no"
1208	fi
1209	rm -f conftest*
1210	LIBS="$ac_save_LIBS"
1211
1212	fi
1213	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1214	echo "$ac_t""yes" 1>&6
1215	ac_tr_lib=HAVE_LIB`echo gmp \| tr 'abcdefghijklmnopqrstuvwxyz' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'`
1216	cat >> confdefs.h <<EOF
1217	#define $ac_tr_lib 1
1218	EOF
1219
1220	LIBS="-lgmp $LIBS"
1221
1222	else
1223	echo "$ac_t""no" 1>&6
1224	fi
1225
1226	fi
1227	echo $ac_n "checking for -lm""... $ac_c" 1>&6
1228	ac_lib_var=`echo m'_'sqrt \| tr './+\055' '__p_'`
1229	if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
1230	echo $ac_n "(cached) $ac_c" 1>&6
1231	else
1232	ac_save_LIBS="$LIBS"
1233	LIBS="-lm $LIBS"
1234	cat > conftest.$ac_ext <<EOF
1235	#line 1236 "configure"
1236	#include "confdefs.h"
1237	/* Override any gcc2 internal prototype to avoid an error. */
1238	/* We use char because int might match the return type of a gcc2
1239	builtin and then its argument prototype would still apply. */
1240	char sqrt();
1241
1242	int main() { return 0; }
1243	int t() {
1244	sqrt()
1245	; return 0; }
1246	EOF
1247	if { (eval echo configure:1248: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; }; then
1248	rm -rf conftest*
1249	eval "ac_cv_lib_$ac_lib_var=yes"
1250	else
1251	rm -rf conftest*
1252	eval "ac_cv_lib_$ac_lib_var=no"
1253	fi
1254	rm -f conftest*
1255	LIBS="$ac_save_LIBS"
1256
1257	fi
1258	if eval "test \"`echo '$ac_cv_lib_'$ac_lib_var`\" = yes"; then
1259	echo "$ac_t""yes" 1>&6
1260	ac_tr_lib=HAVE_LIB`echo m \| tr 'abcdefghijklmnopqrstuvwxyz' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'`
1261	cat >> confdefs.h <<EOF
1262	#define $ac_tr_lib 1
1263	EOF
1264
1265	LIBS="-lm $LIBS"
1266
1267	else
1268	echo "$ac_t""no" 1>&6
1269	fi
1270
1271
1272	#
1273	# - check for header files.
1274	#
1275	ac_ext=C
1276	# CXXFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
1277	ac_cpp='$CXXCPP $CPPFLAGS'
1278	ac_compile='${CXX-g++} -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
1279	ac_link='${CXX-g++} -o conftest $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
1280
1281
1282	if test "x$gmp_in_installation" != xyes; then
1283	for ac_hdr in gmp.h
1284	do
1285	ac_safe=`echo "$ac_hdr" \| tr './\055' '___'`
1286	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
1287	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
1288	echo $ac_n "(cached) $ac_c" 1>&6
1289	else
1290	cat > conftest.$ac_ext <<EOF
1291	#line 1292 "configure"
1292	#include "confdefs.h"
1293	#include <$ac_hdr>
1294	EOF
1295	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
1296	{ (eval echo configure:1297: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
1297	ac_err=`grep -v '^ *+' conftest.out`
1298	if test -z "$ac_err"; then
1299	rm -rf conftest*
1300	eval "ac_cv_header_$ac_safe=yes"
1301	else
1302	echo "$ac_err" >&5
1303	rm -rf conftest*
1304	eval "ac_cv_header_$ac_safe=no"
1305	fi
1306	rm -f conftest*
1307	fi
1308	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
1309	echo "$ac_t""yes" 1>&6
1310	ac_tr_hdr=HAVE_`echo $ac_hdr \| tr 'abcdefghijklmnopqrstuvwxyz./\055' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ___'`
1311	cat >> confdefs.h <<EOF
1312	#define $ac_tr_hdr 1
1313	EOF
1314
1315	else
1316	echo "$ac_t""no" 1>&6
1317	{ echo "configure: error: gmp.h not found. Use option --with-gmp to specify path" 1>&2; exit 1; }
1318	fi
1319	done
1320
1321	fi
1322
1323	for ac_hdr in stdio.h stdlib.h string.h time.h math.h
1324	do
1325	ac_safe=`echo "$ac_hdr" \| tr './\055' '___'`
1326	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
1327	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
1328	echo $ac_n "(cached) $ac_c" 1>&6
1329	else
1330	cat > conftest.$ac_ext <<EOF
1331	#line 1332 "configure"
1332	#include "confdefs.h"
1333	#include <$ac_hdr>
1334	EOF
1335	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
1336	{ (eval echo configure:1337: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
1337	ac_err=`grep -v '^ *+' conftest.out`
1338	if test -z "$ac_err"; then
1339	rm -rf conftest*
1340	eval "ac_cv_header_$ac_safe=yes"
1341	else
1342	echo "$ac_err" >&5
1343	rm -rf conftest*
1344	eval "ac_cv_header_$ac_safe=no"
1345	fi
1346	rm -f conftest*
1347	fi
1348	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
1349	echo "$ac_t""yes" 1>&6
1350	ac_tr_hdr=HAVE_`echo $ac_hdr \| tr 'abcdefghijklmnopqrstuvwxyz./\055' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ___'`
1351	cat >> confdefs.h <<EOF
1352	#define $ac_tr_hdr 1
1353	EOF
1354
1355	else
1356	echo "$ac_t""no" 1>&6
1357	{ echo "configure: error: standard C header files not found" 1>&2; exit 1; }
1358	fi
1359	done
1360
1361
1362	if test "x$enable_streamio" != xno; then
1363	for ac_hdr in iostream.h strstream.h fstream.h
1364	do
1365	ac_safe=`echo "$ac_hdr" \| tr './\055' '___'`
1366	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
1367	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
1368	echo $ac_n "(cached) $ac_c" 1>&6
1369	else
1370	cat > conftest.$ac_ext <<EOF
1371	#line 1372 "configure"
1372	#include "confdefs.h"
1373	#include <$ac_hdr>
1374	EOF
1375	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
1376	{ (eval echo configure:1377: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
1377	ac_err=`grep -v '^ *+' conftest.out`
1378	if test -z "$ac_err"; then
1379	rm -rf conftest*
1380	eval "ac_cv_header_$ac_safe=yes"
1381	else
1382	echo "$ac_err" >&5
1383	rm -rf conftest*
1384	eval "ac_cv_header_$ac_safe=no"
1385	fi
1386	rm -f conftest*
1387	fi
1388	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
1389	echo "$ac_t""yes" 1>&6
1390	ac_tr_hdr=HAVE_`echo $ac_hdr \| tr 'abcdefghijklmnopqrstuvwxyz./\055' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ___'`
1391	cat >> confdefs.h <<EOF
1392	#define $ac_tr_hdr 1
1393	EOF
1394
1395	else
1396	echo "$ac_t""no" 1>&6
1397	{ echo "configure: error: C++ header files not found" 1>&2; exit 1; }
1398	fi
1399	done
1400
1401	for ac_hdr in ctype.h
1402	do
1403	ac_safe=`echo "$ac_hdr" \| tr './\055' '___'`
1404	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
1405	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
1406	echo $ac_n "(cached) $ac_c" 1>&6
1407	else
1408	cat > conftest.$ac_ext <<EOF
1409	#line 1410 "configure"
1410	#include "confdefs.h"
1411	#include <$ac_hdr>
1412	EOF
1413	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
1414	{ (eval echo configure:1415: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
1415	ac_err=`grep -v '^ *+' conftest.out`
1416	if test -z "$ac_err"; then
1417	rm -rf conftest*
1418	eval "ac_cv_header_$ac_safe=yes"
1419	else
1420	echo "$ac_err" >&5
1421	rm -rf conftest*
1422	eval "ac_cv_header_$ac_safe=no"
1423	fi
1424	rm -f conftest*
1425	fi
1426	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
1427	echo "$ac_t""yes" 1>&6
1428	ac_tr_hdr=HAVE_`echo $ac_hdr \| tr 'abcdefghijklmnopqrstuvwxyz./\055' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ___'`
1429	cat >> confdefs.h <<EOF
1430	#define $ac_tr_hdr 1
1431	EOF
1432
1433	else
1434	echo "$ac_t""no" 1>&6
1435	{ echo "configure: error: standard C header files not found" 1>&2; exit 1; }
1436	fi
1437	done
1438
1439	fi
1440
1441	if test "x$enable_timing" != xno; then
1442	for ac_hdr in sys/param.h sys/times.h
1443	do
1444	ac_safe=`echo "$ac_hdr" \| tr './\055' '___'`
1445	echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
1446	if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
1447	echo $ac_n "(cached) $ac_c" 1>&6
1448	else
1449	cat > conftest.$ac_ext <<EOF
1450	#line 1451 "configure"
1451	#include "confdefs.h"
1452	#include <$ac_hdr>
1453	EOF
1454	ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
1455	{ (eval echo configure:1456: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
1456	ac_err=`grep -v '^ *+' conftest.out`
1457	if test -z "$ac_err"; then
1458	rm -rf conftest*
1459	eval "ac_cv_header_$ac_safe=yes"
1460	else
1461	echo "$ac_err" >&5
1462	rm -rf conftest*
1463	eval "ac_cv_header_$ac_safe=no"
1464	fi
1465	rm -f conftest*
1466	fi
1467	if eval "test \"`echo '$ac_cv_header_'$ac_safe`\" = yes"; then
1468	echo "$ac_t""yes" 1>&6
1469	ac_tr_hdr=HAVE_`echo $ac_hdr \| tr 'abcdefghijklmnopqrstuvwxyz./\055' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ___'`
1470	cat >> confdefs.h <<EOF
1471	#define $ac_tr_hdr 1
1472	EOF
1473
1474	else
1475	echo "$ac_t""no" 1>&6
1476	{ echo "configure: error: sys/times.h or sys/param.h not found. Try
1477	configure --disable-timing" 1>&2; exit 1; }
1478	fi
1479	done
1480
1481	fi
1482
1483	#
1484	# - check for compiler characteristics.
1485	#
1486
1487	# cross-compiling ?!
1488	# If we cannot run a trivial program, we must be cross compiling.
1489	echo $ac_n "checking whether cross-compiling""... $ac_c" 1>&6
1490	if eval "test \"`echo '$''{'ac_cv_c_cross'+set}'`\" = set"; then
1491	echo $ac_n "(cached) $ac_c" 1>&6
1492	else
1493	if test "$cross_compiling" = yes; then
1494	ac_cv_c_cross=yes
1495	else
1496	cat > conftest.$ac_ext <<EOF
1497	#line 1498 "configure"
1498	#include "confdefs.h"
1499	#ifdef __cplusplus
1500	extern "C" void exit(int);
1501	#endif
1502	main(){return(0);}
1503	EOF
1504	{ (eval echo configure:1505: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; }
1505	if test -s conftest && (./conftest; exit) 2>/dev/null; then
1506	ac_cv_c_cross=no
1507	else
1508	ac_cv_c_cross=yes
1509	fi
1510	fi
1511	rm -fr conftest*
1512	fi
1513
1514	echo "$ac_t""$ac_cv_c_cross" 1>&6
1515	cross_compiling=$ac_cv_c_cross
1516
1517	if test "x$cross_compiling" = xyes; then
1518	echo "configure: warning: you better specify a cache file to get the values for
1519	cross-compiling right (call configure --cache-file=target.cache)" 1>&2
1520	fi
1521
1522	echo $ac_n "checking for working const""... $ac_c" 1>&6
1523	if eval "test \"`echo '$''{'ac_cv_c_const'+set}'`\" = set"; then
1524	echo $ac_n "(cached) $ac_c" 1>&6
1525	else
1526	cat > conftest.$ac_ext <<EOF
1527	#line 1528 "configure"
1528	#include "confdefs.h"
1529
1530	int main() { return 0; }
1531	int t() {
1532
1533	/* Ultrix mips cc rejects this. */
1534	typedef int charset[2]; const charset x;
1535	/* SunOS 4.1.1 cc rejects this. */
1536	char const const ccp;
1537	char **p;
1538	/* NEC SVR4.0.2 mips cc rejects this. */
1539	struct point {int x, y;};
1540	static struct point const zero = {0,0};
1541	/* AIX XL C 1.02.0.0 rejects this.
1542	It does not let you subtract one const X* pointer from another in an arm
1543	of an if-expression whose if-part is not a constant expression */
1544	const char *g = "string";
1545	ccp = &g + (g ? g-g : 0);
1546	/* HPUX 7.0 cc rejects these. */
1547	++ccp;
1548	p = (char**) ccp;
1549	ccp = (char const const ) p;
1550	{ /* SCO 3.2v4 cc rejects this. */
1551	char *t;
1552	char const s = 0 ? (char ) 0 : (char const *) 0;
1553
1554	*t++ = 0;
1555	}
1556	{ /* Someone thinks the Sun supposedly-ANSI compiler will reject this. */
1557	int x[] = {25, 17};
1558	const int *foo = &x[0];
1559	++foo;
1560	}
1561	{ /* Sun SC1.0 ANSI compiler rejects this -- but not the above. */
1562	typedef const int *iptr;
1563	iptr p = 0;
1564	++p;
1565	}
1566	{ /* AIX XL C 1.02.0.0 rejects this saying
1567	"k.c", line 2.27: 1506-025 (S) Operand must be a modifiable lvalue. */
1568	struct s { int j; const int *ap[3]; };
1569	struct s *b; b->j = 5;
1570	}
1571	{ /* ULTRIX-32 V3.1 (Rev 9) vcc rejects this */
1572	const int foo = 10;
1573	}
1574
1575	; return 0; }
1576	EOF
1577	if { (eval echo configure:1578: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
1578	rm -rf conftest*
1579	ac_cv_c_const=yes
1580	else
1581	rm -rf conftest*
1582	ac_cv_c_const=no
1583	fi
1584	rm -f conftest*
1585
1586	fi
1587
1588	echo "$ac_t""$ac_cv_c_const" 1>&6
1589	if test $ac_cv_c_const = no; then
1590	cat >> confdefs.h <<\EOF
1591	#define const
1592	EOF
1593
1594	fi
1595
1596	echo $ac_n "checking for inline""... $ac_c" 1>&6
1597	if eval "test \"`echo '$''{'ac_cv_c_inline'+set}'`\" = set"; then
1598	echo $ac_n "(cached) $ac_c" 1>&6
1599	else
1600	ac_cv_c_inline=no
1601	for ac_kw in inline __inline__ __inline; do
1602	cat > conftest.$ac_ext <<EOF
1603	#line 1604 "configure"
1604	#include "confdefs.h"
1605
1606	int main() { return 0; }
1607	int t() {
1608	} $ac_kw foo() {
1609	; return 0; }
1610	EOF
1611	if { (eval echo configure:1612: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
1612	rm -rf conftest*
1613	ac_cv_c_inline=$ac_kw; break
1614	fi
1615	rm -f conftest*
1616
1617	done
1618
1619	fi
1620
1621	echo "$ac_t""$ac_cv_c_inline" 1>&6
1622	case "$ac_cv_c_inline" in
1623	inline \| yes) ;;
1624	no) cat >> confdefs.h <<\EOF
1625	#define inline
1626	EOF
1627	;;
1628	*) cat >> confdefs.h <<EOF
1629	#define inline $ac_cv_c_inline
1630	EOF
1631	;;
1632	esac
1633
1634
1635	# arithmetic shift
1636	echo $ac_n "checking whether your compiler does arithmetic shifts""... $ac_c" 1>&6
1637	if eval "test \"`echo '$''{'ac_cv_shift'+set}'`\" = set"; then
1638	echo $ac_n "(cached) $ac_c" 1>&6
1639	else
1640	if test "$cross_compiling" = yes; then
1641	ac_cv_shift=no
1642	else
1643	cat > conftest.$ac_ext <<EOF
1644	#line 1645 "configure"
1645	#include "confdefs.h"
1646	#ifdef __cplusplus
1647	extern "C" void exit(int);
1648	#endif
1649	int main() { if (-2 >> 1 == -1) exit(0); else exit(1); }
1650	EOF
1651	{ (eval echo configure:1652: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; }
1652	if test -s conftest && (./conftest; exit) 2>/dev/null; then
1653	ac_cv_shift=yes
1654	else
1655	ac_cv_shift=no
1656	fi
1657	fi
1658	rm -fr conftest*
1659	fi
1660
1661	if test "x$ac_cv_shift" = xyes; then
1662	echo "$ac_t""yes" 1>&6
1663	else
1664	echo "$ac_t""no" 1>&6
1665	fi
1666
1667	#
1668	# - paths.
1669	#
1670
1671	# we have to get datadir explicitely for config.h
1672	save_prefix="$prefix"
1673	test "x$prefix" = xNONE && prefix="$ac_default_prefix"
1674	expl_datadir=`eval echo "$datadir"`
1675	prefix="$save_prefix"
1676
1677	if test "x$with_Singular" = xyes; then
1678	gftabledir='${datadir}/Singular/gftables'
1679	expl_gftabledir="$expl_datadir/Singular/gftables"
1680	templatedir='${includedir}/templates'
1681	else
1682	gftabledir='${datadir}/factory/gftables'
1683	expl_gftabledir="$expl_datadir/factory/gftables"
1684	templatedir='${includedir}/templates'
1685	fi
1686
1687	#
1688	# - the name of the game and the targets to create.
1689	#
1690	if test "x$with_Singular" = xyes; then
1691	libfactory=libsingcf.a
1692
1693	factorysrc='$(basefactorysrc) $(singfactorysrc)'
1694	factoryincl='$(basefactoryincl) $(singfactoryincl)'
1695	memmansrc=
1696	memmanincl=
1697
1698	alltargets=cf
1699	installtargets=installcf
1700	uninstalltargets=uninstallcf
1701	else
1702	libfactory=libcf.a
1703
1704	factorysrc='$(basefactorysrc)'
1705	factoryincl='$(basefactoryincl)'
1706	memmansrc='$(basememmansrc)'
1707	memmanincl=
1708
1709	alltargets=cf
1710	installtargets=installcf
1711	uninstalltargets=uninstallcf
1712	fi
1713
1714	#
1715	# - set defines and variables according to our tests.
1716	#
1717
1718	# CFLAGS
1719	if test "x$GCC" = xyes && test "x$cflags_expl_set" = xno; then
1720	CFLAGS="-O2 -fomit-frame-pointer"
1721	fi
1722
1723	# CXXFLAGS
1724	if test "x$GXX" = xyes && test "x$cxxflags_expl_set" = xno; then
1725	CXXFLAGS="-O2 -fomit-frame-pointer"
1726	fi
1727
1728	# ARFLAGS
1729	test "${ARFLAGS+set}" = set \|\| ARFLAGS=cr
1730
1731	# Singular
1732	if test "x$with_Singular" = xyes; then
1733	cat >> confdefs.h <<\EOF
1734	#define SINGULAR 1
1735	EOF
1736
1737	fi
1738
1739	# arithmetic shift
1740	if test "x$ac_cv_shift" = xyes; then
1741	cat >> confdefs.h <<\EOF
1742	#define HAS_ARITHMETIC_SHIFT 1
1743	EOF
1744
1745	fi
1746
1747	# gmp-stuff. we must not set these flags before the tests
1748	# are finished!
1749	if test "x$gmp_in_installation" = xyes; then
1750	CPPFLAGS="-I\$(includedir) $CPPFLAGS"
1751	LDFLAGS="-L\$(libdir) -lgmp $LDFLAGS"
1752	fi
1753
1754	# memory manager
1755	if test "x$with_memman" != xno; then
1756	alltargets="$alltargets mem"
1757	installtargets="$installtargets installmem"
1758	uninstalltargets="$uninstalltargets uninstallmem"
1759	cat >> confdefs.h <<\EOF
1760	#define USE_MEMUTIL 1
1761	EOF
1762
1763
1764	if test "x$with_memman" != xnew; then
1765	memmansrc="$memmansrc \$(oldmemmansrc)"
1766	memmanincl='$(oldmemmanincl)'
1767	cat >> confdefs.h <<\EOF
1768	#define USE_OLD_MEMMAN 1
1769	EOF
1770
1771	else
1772	memmansrc="$memmansrc \$(newmemmansrc)"
1773	memmanincl='$(newmemmanincl)'
1774
1775	if test "x$enable_memdebug" = xfull; then
1776	cat >> confdefs.h <<\EOF
1777	#define MDEBUG 1
1778	EOF
1779
1780	elif test "x$enable_memdebug" != xno; then
1781	cat >> confdefs.h <<\EOF
1782	#define MDEBUG 0
1783	EOF
1784
1785	fi
1786	fi
1787	fi
1788
1789	# iostream
1790	if test "x$enable_streamio" = xno; then
1791	cat >> confdefs.h <<\EOF
1792	#define NOSTREAMIO 1
1793	EOF
1794
1795	else
1796	factorysrc="$factorysrc \$(useiofactorysrc)"
1797	factoryincl="$factoryincl \$(useiofactoryincl)"
1798	fi
1799
1800	# assertions
1801	if test "x$enable_assertions" = xno; then
1802	cat >> confdefs.h <<\EOF
1803	#define NOASSERT 1
1804	EOF
1805
1806	fi
1807
1808	#
1809	# - debugoutput and timing magic.
1810	#
1811	# For those who do not like this: As long as you do not specify
1812	# --enable-timing or --enable-debugoutput the following code will
1813	# not be executed.
1814	#
1815	timingtargets=/dev/null
1816	debouttargets=/dev/null
1817	debtimingtargets=/dev/null
1818	enhanceddebtime=no
1819
1820	# timing
1821	if test "x$enable_timing" != xno; then
1822	if test "x$enable_timing" = xyes; then
1823	cat >> confdefs.h <<\EOF
1824	#define TIMING 1
1825	EOF
1826
1827	else
1828	echo "$enable_timing" \| tr ',' '\n' \| sed 's/\..*$//' \| sort > conftest.time
1829	timingtargets=conftest.time
1830	enhanceddebtime=yes
1831	fi
1832	fi
1833
1834	# debugoutput
1835	if test "x$enable_debugoutput" != xno; then
1836	if test "x$enable_debugoutput" = xyes; then
1837	cat >> confdefs.h <<\EOF
1838	#define DEBUGOUTPUT 1
1839	EOF
1840
1841	else
1842	echo "$enable_debugoutput" \| tr ',' '\n' \| sed 's/\..*$//' \| sort > conftest.debout
1843	debouttargets=conftest.debout
1844	enhanceddebtime=yes
1845	fi
1846	fi
1847
1848	# create makefile fragments
1849	if test "x$enhanceddebtime" = xyes; then
1850	# get the intersection of timingtargets and debouttargets
1851	sort "$timingtargets" "$debouttargets" \| uniq -d > conftest.debtime
1852	if test -s conftest.debtime; then
1853	debtimingtargets=conftest.debtime
1854	fi
1855	if test "x$timingtargets" != x/dev/null; then
1856	# get difference of timingtargets and debtimingtargets
1857	sort "$timingtargets" "$debtimingtargets" \| uniq -u \|
1858	while read line; do
1859	echo "$line.o: $line.cc config.h;" '$(CXX) -c $< -DTIMING $(LIBCXXFLAGS) -o $@'
1860	done > conftest.tmp
1861	mv conftest.tmp "$timingtargets"
1862	fi
1863	if test "x$debouttargets" != x/dev/null; then
1864	# get difference of debouttargets and debtimingtargets
1865	sort "$debouttargets" "$debtimingtargets" \| uniq -u \|
1866	while read line; do
1867	echo "$line.o: $line.cc config.h;" '$(CXX) -c $< -DDEBUGOUTPUT $(LIBCXXFLAGS) -o $@'
1868	done > conftest.tmp
1869	mv conftest.tmp "$debouttargets"
1870	fi
1871	if test "x$debtimingtargets" != x/dev/null; then
1872	while read line; do
1873	echo "$line.o: $line.cc config.h;" '$(CXX) -c $< -DTIMING -DDEBUGOUTPUT $(LIBCXXFLAGS) -o $@'
1874	done < "$debtimingtargets" > conftest.tmp
1875	mv conftest.tmp "$debtimingtargets"
1876	fi
1877	fi
1878
1879	#
1880	# - complete and substitute variables, defines.
1881	#
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905	cat >> confdefs.h <<EOF
1906	#define FACTORYVERSION "$factory_version"
1907	EOF
1908
1909	cat >> confdefs.h <<EOF
1910	#define GFTABLEDIR "$expl_gftabledir"
1911	EOF
1912
1913
1914	trap '' 1 2 15
1915	cat > confcache <<\EOF
1916	# This file is a shell script that caches the results of configure
1917	# tests run on this system so they can be shared between configure
1918	# scripts and configure runs. It is not useful on other systems.
1919	# If it contains results you don't want to keep, you may remove or edit it.
1920	#
1921	# By default, configure uses ./config.cache as the cache file,
1922	# creating it if it does not exist already. You can give configure
1923	# the --cache-file=FILE option to use a different cache file; that is
1924	# what configure does when it calls configure scripts in
1925	# subdirectories, so they share the cache.
1926	# Giving --cache-file=/dev/null disables caching, for debugging configure.
1927	# config.status only pays attention to the cache file if you give it the
1928	# --recheck option to rerun configure.
1929	#
1930	EOF
1931	# Ultrix sh set writes to stderr and can't be redirected directly,
1932	# and sets the high bit in the cache file unless we assign to the vars.
1933	(set) 2>&1 \|
1934	sed -n "s/^$[a-zA-Z0-9_]_cv_[a-zA-Z0-9_]$=$.*$/\1=\${\1='\2'}/p" \
1935	>> confcache
1936	if cmp -s $cache_file confcache; then
1937	:
1938	else
1939	if test -w $cache_file; then
1940	echo "updating cache $cache_file"
1941	cat confcache > $cache_file
1942	else
1943	echo "not updating unwritable cache $cache_file"
1944	fi
1945	fi
1946	rm -f confcache
1947
1948	trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
1949
1950	test "x$prefix" = xNONE && prefix=$ac_default_prefix
1951	# Let make expand exec_prefix.
1952	test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
1953
1954	# Any assignment to VPATH causes Sun make to only execute
1955	# the first set of double-colon rules, so remove it if not needed.
1956	# If there is a colon in the path, we need to keep it.
1957	if test "x$srcdir" = x.; then
1958	ac_vpsub='/^[ ]VPATH[ ]=[^:]*$/d'
1959	fi
1960
1961	trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
1962
1963	DEFS=-DHAVE_CONFIG_H
1964
1965	# Without the "./", some shells look in PATH for config.status.
1966	: ${CONFIG_STATUS=./config.status}
1967
1968	echo creating $CONFIG_STATUS
1969	rm -f $CONFIG_STATUS
1970	cat > $CONFIG_STATUS <<EOF
1971	#! /bin/sh
1972	# Generated automatically by configure.
1973	# Run this file to recreate the current configuration.
1974	# This directory was configured as follows,
1975	# on host `(hostname \|\| uname -n) 2>/dev/null \| sed 1q`:
1976	#
1977	# $0 $ac_configure_args
1978	#
1979	# Compiler output produced by configure, useful for debugging
1980	# configure, is in ./config.log if it exists.
1981
1982	ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
1983	for ac_option
1984	do
1985	case "\$ac_option" in
1986	-recheck \| --recheck \| --rechec \| --reche \| --rech \| --rec \| --re \| --r)
1987	echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
1988	exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
1989	-version \| --version \| --versio \| --versi \| --vers \| --ver \| --ve \| --v)
1990	echo "$CONFIG_STATUS generated by autoconf version 2.10"
1991	exit 0 ;;
1992	-help \| --help \| --hel \| --he \| --h)
1993	echo "\$ac_cs_usage"; exit 0 ;;
1994	*) echo "\$ac_cs_usage"; exit 1 ;;
1995	esac
1996	done
1997
1998	ac_given_srcdir=$srcdir
1999	ac_given_INSTALL="$INSTALL"
2000
2001	trap 'rm -fr `echo "GNUmakefile config.h" \| sed "s/:[^ ]//g"` conftest; exit 1' 1 2 15
2002	EOF
2003	cat >> $CONFIG_STATUS <<EOF
2004
2005	# Protect against being on the right side of a sed subst in config.status.
2006	sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
2007	s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
2008	$ac_vpsub
2009	$extrasub
2010	s%@CFLAGS@%$CFLAGS%g
2011	s%@CPPFLAGS@%$CPPFLAGS%g
2012	s%@CXXFLAGS@%$CXXFLAGS%g
2013	s%@DEFS@%$DEFS%g
2014	s%@LDFLAGS@%$LDFLAGS%g
2015	s%@LIBS@%$LIBS%g
2016	s%@exec_prefix@%$exec_prefix%g
2017	s%@prefix@%$prefix%g
2018	s%@program_transform_name@%$program_transform_name%g
2019	s%@bindir@%$bindir%g
2020	s%@sbindir@%$sbindir%g
2021	s%@libexecdir@%$libexecdir%g
2022	s%@datadir@%$datadir%g
2023	s%@sysconfdir@%$sysconfdir%g
2024	s%@sharedstatedir@%$sharedstatedir%g
2025	s%@localstatedir@%$localstatedir%g
2026	s%@libdir@%$libdir%g
2027	s%@includedir@%$includedir%g
2028	s%@oldincludedir@%$oldincludedir%g
2029	s%@infodir@%$infodir%g
2030	s%@mandir@%$mandir%g
2031	s%@CC@%$CC%g
2032	s%@CXX@%$CXX%g
2033	s%@CXXCPP@%$CXXCPP%g
2034	s%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%g
2035	s%@INSTALL_DATA@%$INSTALL_DATA%g
2036	s%@RANLIB@%$RANLIB%g
2037	s%@SET_MAKE@%$SET_MAKE%g
2038	s%@AR@%$AR%g
2039	s%@BISON@%$BISON%g
2040	s%@MKINSTALLDIRS@%$MKINSTALLDIRS%g
2041	s%@MAKEHEADER@%$MAKEHEADER%g
2042	s%@gftabledir@%$gftabledir%g
2043	s%@templatedir@%$templatedir%g
2044	s%@factory_version@%$factory_version%g
2045	s%@libfactory@%$libfactory%g
2046	s%@ARFLAGS@%$ARFLAGS%g
2047	s%@MAKEHEADERFLAGS@%$MAKEHEADERFLAGS%g
2048	s%@factorysrc@%$factorysrc%g
2049	s%@factoryincl@%$factoryincl%g
2050	s%@memmansrc@%$memmansrc%g
2051	s%@memmanincl@%$memmanincl%g
2052	s%@alltargets@%$alltargets%g
2053	s%@installtargets@%$installtargets%g
2054	s%@uninstalltargets@%$uninstalltargets%g
2055	/@timingtargets@/r $timingtargets
2056	s%@timingtargets@%%g
2057	/@debouttargets@/r $debouttargets
2058	s%@debouttargets@%%g
2059	/@debtimingtargets@/r $debtimingtargets
2060	s%@debtimingtargets@%%g
2061
2062	CEOF
2063	EOF
2064	cat >> $CONFIG_STATUS <<EOF
2065
2066	CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile"}
2067	EOF
2068	cat >> $CONFIG_STATUS <<\EOF
2069	for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
2070	# Support "outfile[:infile]", defaulting infile="outfile.in".
2071	case "$ac_file" in
2072	:) ac_file_in=`echo "$ac_file"\|sed 's%.*:%%'`
2073	ac_file=`echo "$ac_file"\|sed 's%:.*%%'` ;;
2074	*) ac_file_in="${ac_file}.in" ;;
2075	esac
2076
2077	# Adjust relative srcdir, etc. for subdirectories.
2078
2079	# Remove last slash and all that follows it. Not all systems have dirname.
2080	ac_dir=`echo $ac_file\|sed 's%/[^/][^/]*$%%'`
2081	if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
2082	# The file is in a subdirectory.
2083	test ! -d "$ac_dir" && mkdir "$ac_dir"
2084	ac_dir_suffix="/`echo $ac_dir\|sed 's%^\./%%'`"
2085	# A "../" for each directory in $ac_dir_suffix.
2086	ac_dots=`echo $ac_dir_suffix\|sed 's%/[^/]*%../%g'`
2087	else
2088	ac_dir_suffix= ac_dots=
2089	fi
2090
2091	case "$ac_given_srcdir" in
2092	.) srcdir=.
2093	if test -z "$ac_dots"; then top_srcdir=.
2094	else top_srcdir=`echo $ac_dots\|sed 's%/$%%'`; fi ;;
2095	/*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
2096	*) # Relative path.
2097	srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
2098	top_srcdir="$ac_dots$ac_given_srcdir" ;;
2099	esac
2100
2101	case "$ac_given_INSTALL" in
2102	[/$]*) INSTALL="$ac_given_INSTALL" ;;
2103	*) INSTALL="$ac_dots$ac_given_INSTALL" ;;
2104	esac
2105	echo creating "$ac_file"
2106	rm -f "$ac_file"
2107	configure_input="Generated automatically from `echo $ac_file_in\|sed 's%.*/%%'` by configure."
2108	case "$ac_file" in
2109	Makefile) ac_comsub="1i\\
2110	# $configure_input" ;;
2111	*) ac_comsub= ;;
2112	esac
2113	sed -e "$ac_comsub
2114	s%@configure_input@%$configure_input%g
2115	s%@srcdir@%$srcdir%g
2116	s%@top_srcdir@%$top_srcdir%g
2117	s%@INSTALL@%$INSTALL%g
2118	" -f conftest.subs $ac_given_srcdir/$ac_file_in > $ac_file
2119	fi; done
2120	rm -f conftest.subs
2121
2122	# These sed commands are passed to sed as "A NAME B NAME C VALUE D", where
2123	# NAME is the cpp macro being defined and VALUE is the value it is being given.
2124	#
2125	# ac_d sets the value in "#define NAME VALUE" lines.
2126	ac_dA='s%^$[ ]$#$[ ]define[ ][ ]*$'
2127	ac_dB='$[ ][ ]$[^ ]%\1#\2'
2128	ac_dC='\3'
2129	ac_dD='%g'
2130	# ac_u turns "#undef NAME" with trailing blanks into "#define NAME VALUE".
2131	ac_uA='s%^$[ ]$#$[ ]$undef$[ ][ ]*$'
2132	ac_uB='$[ ]$%\1#\2define\3'
2133	ac_uC=' '
2134	ac_uD='\4%g'
2135	# ac_e turns "#undef NAME" without trailing blanks into "#define NAME VALUE".
2136	ac_eA='s%^$[ ]$#$[ ]$undef$[ ][ ]*$'
2137	ac_eB='$%\1#\2define\3'
2138	ac_eC=' '
2139	ac_eD='%g'
2140
2141	CONFIG_HEADERS=${CONFIG_HEADERS-"config.h"}
2142	for ac_file in .. $CONFIG_HEADERS; do if test "x$ac_file" != x..; then
2143	# Support "outfile[:infile]", defaulting infile="outfile.in".
2144	case "$ac_file" in
2145	:) ac_file_in=`echo "$ac_file"\|sed 's%.*:%%'`
2146	ac_file=`echo "$ac_file"\|sed 's%:.*%%'` ;;
2147	*) ac_file_in="${ac_file}.in" ;;
2148	esac
2149
2150	echo creating $ac_file
2151
2152	rm -f conftest.frag conftest.in conftest.out
2153	cp $ac_given_srcdir/$ac_file_in conftest.in
2154
2155	EOF
2156
2157	# Transform confdefs.h into a sed script conftest.vals that substitutes
2158	# the proper values into config.h.in to produce config.h. And first:
2159	# Protect against being on the right side of a sed subst in config.status.
2160	# Protect against being in an unquoted here document in config.status.
2161	rm -f conftest.vals
2162	cat > conftest.hdr <<\EOF
2163	s/[\\&%]/\\&/g
2164	s%[\\$`]%\\&%g
2165	s%#define $[A-Za-z_][A-Za-z0-9_]$ $.*$%${ac_dA}\1${ac_dB}\1${ac_dC}\2${ac_dD}%gp
2166	s%ac_d%ac_u%gp
2167	s%ac_u%ac_e%gp
2168	EOF
2169	sed -n -f conftest.hdr confdefs.h > conftest.vals
2170	rm -f conftest.hdr
2171
2172	# This sed command replaces #undef with comments. This is necessary, for
2173	# example, in the case of _POSIX_SOURCE, which is predefined and required
2174	# on some systems where configure will not decide to define it.
2175	cat >> conftest.vals <<\EOF
2176	s%^[ ]#[ ]undef[ ][ ][a-zA-Z_][a-zA-Z_0-9]%/* & */%
2177	EOF
2178
2179	# Break up conftest.vals because some shells have a limit on
2180	# the size of here documents, and old seds have small limits too.
2181	# Maximum number of lines to put in a single here document.
2182	ac_max_here_lines=12
2183
2184	rm -f conftest.tail
2185	while :
2186	do
2187	ac_lines=`grep -c . conftest.vals`
2188	# grep -c gives empty output for an empty file on some AIX systems.
2189	if test -z "$ac_lines" \|\| test "$ac_lines" -eq 0; then break; fi
2190	# Write a limited-size here document to conftest.frag.
2191	echo ' cat > conftest.frag <<CEOF' >> $CONFIG_STATUS
2192	sed ${ac_max_here_lines}q conftest.vals >> $CONFIG_STATUS
2193	echo 'CEOF
2194	sed -f conftest.frag conftest.in > conftest.out
2195	rm -f conftest.in
2196	mv conftest.out conftest.in
2197	' >> $CONFIG_STATUS
2198	sed 1,${ac_max_here_lines}d conftest.vals > conftest.tail
2199	rm -f conftest.vals
2200	mv conftest.tail conftest.vals
2201	done
2202	rm -f conftest.vals
2203
2204	cat >> $CONFIG_STATUS <<\EOF
2205	rm -f conftest.frag conftest.h
2206	echo "/* $ac_file. Generated automatically by configure. */" > conftest.h
2207	cat conftest.in >> conftest.h
2208	rm -f conftest.in
2209	if cmp -s $ac_file conftest.h 2>/dev/null; then
2210	echo "$ac_file is unchanged"
2211	rm -f conftest.h
2212	else
2213	# Remove last slash and all that follows it. Not all systems have dirname.
2214	ac_dir=`echo $ac_file\|sed 's%/[^/][^/]*$%%'`
2215	if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
2216	# The file is in a subdirectory.
2217	test ! -d "$ac_dir" && mkdir "$ac_dir"
2218	fi
2219	rm -f $ac_file
2220	mv conftest.h $ac_file
2221	fi
2222	fi; done
2223
2224
2225
2226	exit 0
2227	EOF
2228	chmod +x $CONFIG_STATUS
2229	rm -fr confdefs* $ac_clean_files
2230	test "$no_create" = yes \|\| ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS \|\| exit 1
2231

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

Download in other formats:

Original Format