Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

configure.in @ 26

Last change on this file since 26 was 12, checked in by cecile, 13 years ago
cusp added
Property svn:executable set to ``*
File size: 11.8 KB

Line
1	dnl Run autoconf on this file to produce the system configuration
2	dnl script "configure"
3
4	# FileName [ configure.in ]
5	#
6	# PackageName [ cusp ]
7	#
8	# Synopsis [ System configuration script for autoconf ]
9	#
10	# SeeAlso [ Makefile.in ]
11	#
12	# Author [ Stephen Edwards <sedwards@eecs.berkeley.edu> ]
13	#
14	# Copyright [
15	# Copyright (c) 1994-1996 The Regents of the Univ. of California.
16	# All rights reserved.
17	#
18	# Permission is hereby granted, without written agreement and without license
19	# or royalty fees, to use, copy, modify, and distribute this software and its
20	# documentation for any purpose, provided that the above copyright notice and
21	# the following two paragraphs appear in all copies of this software.
22	#
23	# IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
24	# DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
25	# OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
26	# CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	#
28	# THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
29	# INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
30	# FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN
31	# "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE
32	# MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
33	# ]
34	#
35	# Revision [$Id: configure.in,v 1.7 2009-04-13 18:44:51 hhkim Exp $]
36
37	# Require autoconf version 2.11 or above -- it checks to see if the C
38	# compiler actually works!
39
40	AC_PREREQ(2.11)
41
42	AC_INIT(src/sat/sat.c)
43
44	# Look for install.sh, config.guess, and config.sub in the "helpers" dir
45	AC_CONFIG_AUX_DIR(helpers)
46
47	#----------------------------------------------------------------------
48	# Configuration options
49	#----------------------------------------------------------------------
50
51	# Give the configurer a chance to set a different location for the CUSP
52	# source. When specified, "srcdir" points to "master" source, and
53	# "local_srcdir" points to the source under local development.
54
55	AC_SUBST(local_srcdir)
56	AC_ARG_WITH(local-srcdir,
57	[ --with-local-srcdir=<srcdir> Specify the root directory to search for
58	source for packages (the PKGS list).
59	Expects to find, e.g., <srcdir>/tbl/tbl.c],
60	[local_srcdir=$withval],
61	[local_srcdir=$srcdir])
62
63	#----------------------------------------------------------------------
64	# Checks for programs we need
65	#----------------------------------------------------------------------
66	AC_PATH_PROG(AR, ar, ar)
67	AC_PROG_RANLIB
68
69	AC_CANONICAL_TARGET
70	AC_SUBST(target)
71
72	# Determine the name of the C compiler we're going to use
73	AC_ARG_ENABLE(times-resolution, [ --enable-times-resolution=<hertz>
74	Set the resolution of the times() function (only
75	necessary for non-POSIX systems).],
76	[AC_DEFINE_UNQUOTED(CLOCK_RESOLUTION,$enableval)],
77	[AC_DEFINE_UNQUOTED(CLOCK_RESOLUTION,60)])
78
79
80	AC_ARG_ENABLE(gcc,
81	[ --enable-gcc Allow use of gcc if available],
82	[gcc_ok=$enableval], [gcc_ok=no])
83
84	# We cannot set CC=g++ directly because many configuration test programs
85	# do not compile with g++. Hence, when the user specifies --enable-gcc=g++,
86	# we set CC=gcc during configuration, and then CC=g++ at the end.
87	if test "$gcc_ok" != no; then
88	case "$gcc_ok" in
89	yes \| g++)
90	CC=gcc ;;
91	*)
92	CC=$gcc_ok
93	esac
94	else
95	if test -z "$CC" ; then
96	# Balakrishna Kumthekar <kumtheka@colorado.edu>
97	# As we do not support cc on RS6000, Cygwin and SunOS.
98	case "$target" in
99	rs6000-ibm-aix* \| -pc-cygwin32 \| sparc-sun-sunos)
100	CC=gcc ;;
101	*)
102	CC=cc ;;
103	esac
104	fi
105	fi
106	AC_PROG_CC
107
108	AC_ARG_ENABLE(64,
109	[ --enable-64 Use 64-bit pointers on 64-bit Alpha machines],
110	[use_sixty_four=$enableval], [use_sixty_four=no])
111
112	# Gcc does not support 32-bit pointers on the Alphas.
113	if test "$gcc_ok" != no; then
114	use_sixty_four=yes
115	fi
116
117	# Roderick Bloem (rbloem@colorado.edu): making a special case for
118	# ultrix install, since it's annoying about setting groupids.
119	case "$target" in
120	mips-dec-ultrix*)
121	INSTALL="helpers/install-sh -c"
122	INSTALL_PROGRAM="\${INSTALL}"
123	INSTALL_DATA="\${INSTALL} -m 644";;
124	*)
125	AC_PROG_INSTALL ;;
126	esac
127
128	# Determine the compiler flags to use
129
130	DEBUG_CFLAGS="-g"
131	DEBUG_LDFLAGS=""
132
133	case "$target" in
134
135	sparc-sun-solaris* \| i386-pc-solaris*)
136	# Sparc and X86 Solaris:
137	# -xO3: Highest safe level of optimization
138	# -native: Optimize for the native processor (if supported)
139	# -dalign: Generate double-word load/store for performance
140	# (only for SPARC)
141	# and other arcane compilation flags.
142	if test "$GCC" = yes; then
143	OPTIMIZE_CFLAGS="-O"
144	else
145	case "$target" in
146	sparc-sun-solaris*)
147	ALIGN=" -dalign" ;;
148	*)
149	ALIGN="" ;;
150	esac
151	AC_MSG_CHECKING([for -native])
152	CFLAGS="-xO3 -native$ALIGN"
153	AC_CACHE_VAL(ac_cv_have_native,
154	[ AC_TRY_RUN([
155	main(){exit(0);}
156	],ac_cv_have_native=yes,ac_cv_have_native=no,ac_cv_have_native=no)])
157	if test $ac_cv_have_native = yes ; then
158	AC_MSG_RESULT(working)
159	OPTIMIZE_CFLAGS="-xO3 -native$ALIGN"
160	else
161	AC_MSG_RESULT(broken)
162	AC_MSG_CHECKING([for fallback optimization flags])
163	CFLAGS="-xO3 -fns -fsimple=2$ALIGN -ftrap=%none -xlibmil"
164	AC_CACHE_VAL(ac_cv_have_fallback,
165	[ AC_TRY_RUN([
166	main(){exit(0);}
167	],ac_cv_have_fallback=yes,ac_cv_have_fallback=no,ac_cv_have_fallback=no)])
168	if test $ac_cv_have_fallback = yes ; then
169	AC_MSG_RESULT(working)
170	OPTIMIZE_CFLAGS="-xO3 -fns -fsimple=2$ALIGN -ftrap=%none -xlibmil"
171	else
172	AC_MSG_RESULT(broken)
173	OPTIMIZE_CFLAGS="-O"
174	fi
175	fi
176	fi
177	;;
178
179	alpha-dec-osf*)
180	# DEC Alpha running OSF:
181
182	# 64-bit mode:
183	# -g3: Produce symbol table information for optimized code
184	# -O4: Enable every optimization
185	# -std: Enforce the ANSI standard with extensions, define __STDC__
186	# -ieee_with_no_inexact: Disable (potentially slow) signaling
187	# for inexact floating-point results
188	# -tune host: Tune instructions for the compilation host machine
189	OPTIMIZE_CFLAGS="-g3 -O4 -std -ieee_with_no_inexact -tune host"
190	DEBUG_CFLAGS="-g -std -ieee_with_no_inexact"
191
192	# -non_shared: Do not use shared libraries
193	# -om: Generate an OMAGIC file for the om optimizer
194	OPTIMIZE_LDFLAGS="-non_shared"
195	if test "$use_sixty_four" = "no"; then
196	# 32-bit mode:
197	# -xtaso: Make the compiler respond to #pragma pointer_size directives
198	OPTIMIZE_CFLAGS="$OPTIMIZE_CFLAGS -xtaso"
199	DEBUG_CFLAGS="$DEBUG_CFLAGS -xtaso"
200
201	# -taso: Load the executable into the lower 31-bit address space
202	OPTIMIZE_LDFLAGS="$OPTIMIZE_LDFLAGS -om -taso"
203	DEBUG_LDFLAGS="$DEBUG_LDFLAGS -taso"
204
205	AC_DEFINE(SIZEOF_VOID_P, 4)
206	ac_sizeof_voidp=4
207	fi
208	;;
209
210	hppa--hpux*)
211	# HP running HPUX
212	# -Aa: Behave as an ANSI compiler
213	# -D_HPUX_SOURCE: Include "HP-specific" symbols in the header
214	# files (e.g., this means sys/resource.h has struct rusage)
215	# +Onolimit: removes resource restrictions for optimization
216	OPTIMIZE_CFLAGS="-O -Aa +Onolimit -D_HPUX_SOURCE"
217	DEBUG_CFLAGS="-g -Aa -D_HPUX_SOURCE" ;;
218
219	*)
220	# Other systems:
221	OPTIMIZE_CFLAGS="-O" ;;
222
223	esac
224
225	if test "$GCC" = yes; then
226	case "$target" in
227	i686-pc-linux-gnu \| i386-pc-solaris* \| i386-pc-cygwin32 \| i386--freebsd)
228	AC_MSG_CHECKING([for -mcpu and -malign compiler options])
229	CFLAGS="-g -O6 -mcpu=pentiumpro -malign-double -static -fno-strict-aliasing"
230	AC_TRY_COMPILE(,,ac_have_mcpu=yes,ac_have_mcpu=no)
231	if test "$ac_have_mcpu" = yes; then
232	AC_MSG_RESULT(working)
233	OPTIMIZE_CFLAGS="-g -O6 -mcpu=pentiumpro -malign-double -static -fno-strict-aliasing"
234	else
235	AC_MSG_RESULT(broken)
236	OPTIMIZE_CFLAGS="-g -O3"
237	fi
238	;;
239	sparc-sun-solaris*)
240	AC_MSG_CHECKING([for -mtune compiler option])
241	CFLAGS="-g -O6 -mtune=ultrasparc"
242	AC_TRY_COMPILE(,,ac_have_mtune=yes,ac_have_mtune=no)
243	if test "$ac_have_mtune" = yes; then
244	AC_MSG_RESULT(working)
245	OPTIMIZE_CFLAGS="-g -O6 -mtune=ultrasparc"
246	else
247	AC_MSG_RESULT(not working)
248	OPTIMIZE_CFLAGS="-g -O3"
249	fi
250	;;
251	*)
252	OPTIMIZE_CFLAGS="-g -O3"
253	;;
254	esac
255	OPTIMIZE_LDFLAGS=""
256	DEBUG_CFLAGS="-g"
257	DEBUG_LDFLAGS=""
258	fi
259
260	AC_ARG_WITH(comp-mode,
261	[ --with-comp-mode=<mode> Specify a special compilation mode:
262	optimize (the default): Produce optimized
263	code, with symbol table information
264	if supported on the platform/compiler,
265	and without asserts.
266	debug: Produce unoptimized code with symbol table
267	information and asserts enabled],
268	[comp_mode=$withval],
269	[comp_mode=optimize])
270	AC_SUBST(LINKER)
271	AC_SUBST(PLINKER)
272
273	LINKER="$CC"
274
275	case "$comp_mode" in
276	debug)
277	CFLAGS="$DEBUG_CFLAGS"
278	LDFLAGS="$DEBUG_LDFLAGS" ;;
279	optimize \| *)
280	CFLAGS="$OPTIMIZE_CFLAGS"
281	LDFLAGS="$OPTIMIZE_LDFLAGS"
282	AC_DEFINE(NDEBUG) ;;
283	esac
284
285	AC_PROG_LEX
286	AC_MSG_CHECKING(if $LEX accepts the -o and -P options)
287
288	AC_CACHE_VAL(ac_cv_flex_accepts_op,
289	[ ac_cv_flex_accepts_op=yes ;
290	echo "%%\
291	%%" \| $LEX -Ptest -o/dev/null >/dev/null 2>&1 \|\| ac_cv_flex_accepts_op=no ])
292	if test $ac_cv_flex_accepts_op = yes ; then
293	AC_MSG_RESULT(yes)
294	else
295	AC_MSG_RESULT(no)
296	AC_MSG_WARN([You either need a newer version of flex, or need to modify
297	the defintion of LEX in the Makefile to point to a version that does
298	accept -p -t and -o.])
299	fi
300
301	AC_PROG_YACC
302	AC_MSG_CHECKING([if $YACC accepts the -p, -t, and -o options])
303	AC_CACHE_VAL(ac_cv_yacc_accepts_pto,
304	[ ac_cv_yacc_accepts_pto=yes ;
305	echo "%token terminal\
306	%%\
307	nonterminal: terminal\
308	%%" > config.in
309	$YACC -ptest -o /dev/null config.in >/dev/null 2>&1 \|\| ac_cv_yacc_accepts_pto=no
310	rm -f config.in ])
311	if test $ac_cv_yacc_accepts_pto = yes ; then
312	AC_MSG_RESULT(yes)
313	else
314	AC_MSG_RESULT(no)
315	AC_MSG_WARN([You either need a newer version of bison, or need to modify
316	the defintion of YACC in the Makefile to point to a version that does
317	accept -p -t and -o.])
318	fi
319
320	#----------------------------------------------------------------------
321	# Checks for headers and libraries
322	#----------------------------------------------------------------------
323	AC_HEADER_STDC
324
325	# Define HAVE_SYS_WAIT_H if sys/wait.h exists and is POSIX-compliant
326	AC_HEADER_SYS_WAIT
327
328
329	AC_SUBST(LIBDIRS)
330
331	# add -lucb to LIBS and -L/usr/ucblib to LIBDIRS
332	# if there's a libucb.a available
333	# (Solaris needs this for signals)
334
335	ac_save_ldflags="$LDFLAGS"
336	LDFLAGS=-L/usr/ucblib
337	AC_CHECK_LIB(ucb,main,LIBDIRS="$LIBDIRS -L/usr/ucblib")
338	LDFLAGS="$ac_save_ldflags"
339
340	# Check for gmp library
341	AC_CHECK_LIB(gmp, __gmpz_init, ,
342	[AC_MSG_WARN([GNU MP not found, see http://gmplib.org/])])
343
344	# Check for these system header files
345	AC_CHECK_HEADERS(sys/file.h sys/stat.h unistd.h errno.h sys/wait.h pwd.h sys/types.h sys/times.h sys/time.h signal.h sys/signal.h)
346
347	# Check for gmp header file
348	AC_CHECK_HEADERS(/usr/include/gmp.h)
349
350	#----------------------------------------------------------------------
351	# Checks for typedefs, structures, and compiler characteristics.
352	#----------------------------------------------------------------------
353
354	# Check to see if the compiler understands "const"
355	# #define it empty otherwise
356	AC_C_CONST
357
358	# Sort out "time.h" nonsense
359	AC_HEADER_TIME
360
361	AC_STRUCT_TM
362
363	# Set RETSIGTYPE to the proper return type for a signal handler (void or int)
364	AC_TYPE_SIGNAL
365
366	#----------------------------------------------------------------------
367	# Checks for library functions.
368	#----------------------------------------------------------------------
369
370	AC_PROG_GCC_TRADITIONAL
371	AC_FUNC_MEMCMP
372	AC_TYPE_SIGNAL
373	AC_CHECK_FUNCS(gettimeofday sysconf strchr strstr setvbuf getenv unlink mkstemp close)
374
375	#-----------------------------------------------------------------------
376	# Check for mawk, gawk, nawk, awk in that order
377	#-----------------------------------------------------------------------
378	AC_PROG_AWK
379
380	#----------------------------------------------------------------------
381	# Create the Makefile from Makefile.in
382	#----------------------------------------------------------------------
383	if test "$gcc_ok" = "g++"; then
384	CC=$gcc_ok
385	fi
386	AC_OUTPUT(Makefile)

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

Download in other formats:

Original Format