1 dnl Process with autoconf to create a configure script -*- Autoconf -*-
3 AC_INIT([Splint], [3.0.1.1], [splint-bug@splint.org], [splint])
5 dnl This MUST precede any other macro
6 AC_CONFIG_AUX_DIR([config])
8 dnl Set up the source directory
9 AC_CONFIG_SRCDIR([src/lclinit.c])
14 dnl Set up automake & the configuration header
15 AM_INIT_AUTOMAKE(AC_PACKAGE_TARNAME, AC_PACKAGE_VERSION, AC_PACKAGE_BUGREPORT)
16 AM_CONFIG_HEADER([config.h:config.hin])
18 dnl Prepare for Splint processing of config.h
19 AH_TOP([/*@-constmacros@*/])
20 AH_BOTTOM([/*@=constmacros@*/])
22 dnl Checks for programs.
23 #drl 12-19-2001 commented out so Splint won't depend on C++
27 dnl This produces a warning. See http://mail.gnu.org/pipermail/bug-automake/2001-August/000213.html
32 AC_CHECK_PROG(BISON, bison, bison, no)
33 AC_CHECK_PROG(GREP, grep, grep, grep-is-missing)
34 AC_CHECK_PROG(DIFF, diff, diff, diff-is-missing)
35 AC_CHECK_PROG(CAT, cat, cat, cat-is-missing)
36 AC_CHECK_PROG(RM, rm, rm, rm-is-missing)
37 AC_CHECK_PROG(MV, mv, mv, mv-is-missing)
38 AC_CHECK_PROG(CP, cp, cp, cp-is-missing)
40 dnl Checks for header files.
41 dnl Currently all disable, as the source files don't care about the results
44 dnl AC_CHECK_HEADERS([alloca.h errno.h fcntl.h float.h limits.h locale.h malloc.h stddef.h stdlib.h string.h strings.h sys/time.h unistd.h])
46 dnl Checks for typedefs, structures, and compiler characteristics.
47 dnl Currently all disable, as the source files don't care about the results
54 dnl AC_STRUCT_ST_BLOCKS
55 dnl AC_CHECK_MEMBERS([struct stat.st_rdev])
56 dnl AC_DECL_SYS_SIGLIST
59 dnl AC_CHECK_TYPES([ptrdiff_t])
61 dnl Checks for library functions.
62 dnl Currently all disable, as the source files don't care about the results
66 dnl AC_PROG_GCC_TRADITIONAL
72 dnl AC_FUNC_SETVBUF_REVERSED
76 dnl AC_FUNC_STRERROR_R
80 dnl AC_CHECK_FUNCS([alarm atexit btowc bzero dup2 endgrent endpwent fchdir floor ftruncate getcwd getgroups gethostname gettimeofday isascii iswprint lchown localeconv mblen mbrlen mbrtowc memchr memmove memset mkdir mkfifo modf munmap pathconf pow putenv realpath regcomp rint rmdir rpmatch select setenv socket sqrt strcasecmp strchr strcspn strdup strerror strftime strncasecmp strpbrk strrchr strspn strstr strtod strtol strtoul strtoull tzset uname utime vprintf])
82 dnl This was provided by Nelson Beebe for dealing with problems on IBM
83 dnl AIX 4.3 with defining mode_t.
85 dnl Checks for _ALL_SOURCE (IBM RS/6000 c89 needs this)
86 AC_MSG_CHECKING(whether we need _ALL_SOURCE to expose mode_t)
92 if test $all = maybe ; then
97 ], , AC_DEFINE(_ALL_SOURCE) all=yes)
99 if test $all = maybe ; then all=no ; fi
102 LCLOBJ='$(lcl_OBJECTS)'
104 AC_HELP_STRING([--without-lcl],
105 [don't include support for LCL files]),
106 ac_cv_use_lcl=$withval,
107 AC_CACHE_CHECK([whether to include support for LCL files],
108 ac_cv_use_lcl, ac_cv_use_lcl=yes))
109 if test x$ac_cv_use_lcl != xyes; then
111 AC_DEFINE(NOLCL, 1, [Define to disable support LCL files])
115 # Make sure we have an actual value for $prefix
117 test x$myprefix = xNONE && myprefix=$ac_default_prefix
119 # cpplib.h defines 2 include dirs; one is $includedir, the other is gcc's
120 # include dir. Not the most portable setup, but let's do our best.
121 if test x$ac_cv_c_compiler_gnu = xyes; then
122 dnl Make sure to override NLS; this assumes gcc prints only
123 dnl Reading specs from blah
126 # This breaks on gcc-3.0 on redhat fixing drl 11-15-2001
127 # GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/'`
128 GCC_INCLUDE_DIR=/usr/include
129 # was /usr/lib/gcc-lib/i386-linux/2.7.2.1/include
130 # GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -n -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/p'`
131 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR",
132 [system include directory])
134 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
135 [alternate include directory])
137 # These used to be in local_constants.h
138 AC_DEFINE_UNQUOTED(SYSTEM_LIBDIR, "$myprefix/include",
139 [The system's main include directory])
140 AC_DEFINE_UNQUOTED(DEFAULT_LARCHPATH,
141 ".$PATH_SEPARATOR$myprefix/share/splint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR",
142 [The directory where Splint's library files live])
143 AC_DEFINE_UNQUOTED(DEFAULT_LCLIMPORTDIR, ".$PATH_SEPARATOR$myprefix/share/splint/imports$PATH_SEPARATOR`pwd`/imports",
144 [Splint's imports directory])
146 # These used to be in herald.h
147 LCL_PARSE_VERSION="AC_PACKAGE_NAME AC_PACKAGE_VERSION"
148 AC_DEFINE_UNQUOTED(SPLINT_VERSION,
149 "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`",
150 [Splint's version number and configure/build date])
151 AC_DEFINE_UNQUOTED(LCL_PARSE_VERSION, "$LCL_PARSE_VERSION",
152 [Splint's version number])
153 AC_DEFINE_UNQUOTED(LCL_COMPILE,
154 "Compiled using $CC $CFLAGS on `uname -a` by `whoami`",
155 [String describing who compiled this binary and how])
158 dnl TODO: Use result AC_CANONICAL_HOST to figure out what to define
159 AC_DEFINE(UNIX, 1, [Define if you're on a Unixy system])
161 dnl AC_CONFIG_FILES([test/Makefile
162 dnl test/ensuresclauses/Makefile
163 dnl test/conditions/Makefile
164 dnl test/db2/Makefile
165 dnl test/warnuse/Makefile
166 dnl test/tainted/Makefile
167 dnl test/fileio/Makefile
168 dnl test/tests2.4/Makefile
169 dnl test/db3/Makefile
170 dnl test/metastate/Makefile
171 dnl test/mergestate/Makefile
172 dnl test/tests2.5/Makefile
173 dnl test/tests2.2/Makefile
174 dnl test/db1/Makefile])
176 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile src/Makefile
177 test/Makefile doc/Makefile])