1 dnl Process with autoconf to create a configure script -*- Autoconf -*-
4 AC_INIT([Splint], [3.1.1], [splint-bug@splint.org], [splint])
6 dnl This MUST precede any other macro
7 AC_CONFIG_AUX_DIR([config])
9 dnl Set up the source directory
10 #NO source directory in the binary release so this must be commented out
11 #AC_CONFIG_SRCDIR([src/lclinit.c])
16 dnl Set up automake & the configuration header
17 AM_INIT_AUTOMAKE(AC_PACKAGE_TARNAME, AC_PACKAGE_VERSION, AC_PACKAGE_BUGREPORT)
18 AM_CONFIG_HEADER([config.h:config.hin])
20 dnl Prepare for Splint processing of config.h
21 AH_TOP([/*@-constmacros@*/])
22 AH_BOTTOM([/*@=constmacros@*/])
24 dnl Checks for programs.
25 #drl 12-19-2001 commented out so Splint won't depend on C++
29 dnl This produces a warning. See http://mail.gnu.org/pipermail/bug-automake/2001-August/000213.html
34 AC_CHECK_PROG(BISON, bison, bison, no)
35 AC_CHECK_PROG(GREP, grep, grep, grep-is-missing)
36 AC_CHECK_PROG(DIFF, diff, diff, diff-is-missing)
37 AC_CHECK_PROG(CAT, cat, cat, cat-is-missing)
38 AC_CHECK_PROG(RM, rm, rm, rm-is-missing)
39 AC_CHECK_PROG(MV, mv, mv, mv-is-missing)
40 AC_CHECK_PROG(CP, cp, cp, cp-is-missing)
41 AC_CHECK_PROG(SED, sed, sed, sed-is-missing)
43 dnl Checks for header files.
44 dnl Currently all disable, as the source files don't care about the results
47 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])
49 dnl Checks for typedefs, structures, and compiler characteristics.
50 dnl Currently all disable, as the source files don't care about the results
57 dnl AC_STRUCT_ST_BLOCKS
58 dnl AC_CHECK_MEMBERS([struct stat.st_rdev])
59 dnl AC_DECL_SYS_SIGLIST
62 dnl AC_CHECK_TYPES([ptrdiff_t])
64 dnl Checks for library functions.
65 dnl Currently all disable, as the source files don't care about the results
69 dnl AC_PROG_GCC_TRADITIONAL
75 dnl AC_FUNC_SETVBUF_REVERSED
79 dnl AC_FUNC_STRERROR_R
83 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])
85 dnl This was provided by Nelson Beebe for dealing with problems on IBM
86 dnl AIX 4.3 with defining mode_t.
88 dnl Checks for _ALL_SOURCE (IBM RS/6000 c89 needs this)
89 AC_MSG_CHECKING(whether we need _ALL_SOURCE to expose mode_t)
95 if test $all = maybe ; then
100 ], , AC_DEFINE(_ALL_SOURCE) all=yes)
102 if test $all = maybe ; then all=no ; fi
104 AH_TEMPLATE([_ALL_SOURCE], [needed to expose mode_t on some machines])
106 LCLOBJ='$(lcl_OBJECTS)'
108 AC_HELP_STRING([--without-lcl],
109 [don't include support for LCL files]),
110 ac_cv_use_lcl=$withval,
111 AC_CACHE_CHECK([whether to include support for LCL files],
112 ac_cv_use_lcl, ac_cv_use_lcl=yes))
113 if test x$ac_cv_use_lcl != xyes; then
115 AC_DEFINE(NOLCL, 1, [Define to disable support LCL files])
119 # Make sure we have an actual value for $prefix
121 test x$myprefix = xNONE && myprefix=$ac_default_prefix
124 ### Yuck! This is really kludgey, but I don't understand autoconf well
125 ### enough to do something simple that always works. Hopefully this does.
127 # cpplib.h defines 2 include dirs; one is $includedir, the other is gcc's
128 # include dir. Not the most portable setup, but let's do our best.
130 if test x$GCC = xyes; then
131 dnl Make sure to override NLS; this assumes gcc prints only
132 dnl Reading specs from blah
135 # This breaks on gcc-3.0 on redhat fixing drl 11-15-2001
136 # GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/'`
137 GCC_INCLUDE_DIR=/usr/include
138 # was /usr/lib/gcc-lib/i386-linux/2.7.2.1/include
139 # GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -n -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/p'`
140 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR",
141 [system include directory])
143 GCC_INCLUDE_DIR=/usr/include
144 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR", [system include directory])
147 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
148 [alternate include directory])
150 # These used to be in local_constants.h
151 AC_DEFINE_UNQUOTED(SYSTEM_LIBDIR, "$myprefix/include",
152 [The system's main include directory])
153 AC_DEFINE_UNQUOTED(DEFAULT_LARCHPATH,
154 ".$PATH_SEPARATOR$myprefix/share/splint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR",
155 [The directory where Splint's library files live])
156 AC_DEFINE_UNQUOTED(DEFAULT_LCLIMPORTDIR, ".$PATH_SEPARATOR$myprefix/share/splint/imports$PATH_SEPARATOR`pwd`/imports",
157 [Splint's imports directory])
159 # These used to be in herald.h
160 LCL_PARSE_VERSION="AC_PACKAGE_NAME AC_PACKAGE_VERSION"
161 AC_DEFINE_UNQUOTED(SPLINT_VERSION,
162 "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`",
163 [Splint's version number and configure/build date])
164 AC_DEFINE_UNQUOTED(LCL_PARSE_VERSION, "$LCL_PARSE_VERSION",
165 [Splint's version number])
166 AC_DEFINE_UNQUOTED(LCL_COMPILE,
167 "Compiled using $CC $CFLAGS on `uname -a` by `whoami`",
168 [String describing who compiled this binary and how])
170 dnl TODO: Use result AC_CANONICAL_SYSTEM to figure out what to define
172 AC_DEFINE(UNIX, 1, [Define if you're on a Unixy system])
174 #just define some Header constants for now...
177 AC_DEFINE_UNQUOTED(UNAME, "${UNAME}", uname output)
179 AC_DEFINE_UNQUOTED(BUILD, "${build}", build)
180 AC_DEFINE_UNQUOTED(HOST, "${host}", host)
181 AC_DEFINE_UNQUOTED(TARGET, "${target}", target)
183 AC_DEFINE_UNQUOTED(BUILD_ALIAS, "${build_alias}", build_alias)
184 AC_DEFINE_UNQUOTED(HOST_ALIAS, "${host_alias}", host_alias)
185 AC_DEFINE_UNQUOTED(TARGET_ALIAS, "${TARGET_ALIAS}", target_alias)
187 AC_DEFINE_UNQUOTED(BUILD_CPU, "${build_cpu}", build_cpu)
188 AC_DEFINE_UNQUOTED(HOST_CPU, "$host_cpu", host_cpu)
189 AC_DEFINE_UNQUOTED(TARGET_CPU, "${target_cpu}", target_cpu)
191 AC_DEFINE_UNQUOTED(BUILD_VENDOR, "${build_vendor}", build_vendor)
192 AC_DEFINE_UNQUOTED(HOST_VENDOR, "${host_vendor}", host_vendor)
193 AC_DEFINE_UNQUOTED(TARGET_VENDOR, "${target_vendor}", target_vendor)
195 AC_DEFINE_UNQUOTED(BUILD_OS, "${build_os}", build_os)
196 AC_DEFINE_UNQUOTED(HOST_OS, "${host_os}", host_os)
197 AC_DEFINE_UNQUOTED(TARGET_OS,"${target_os}", target_os)
201 dnl AC_CONFIG_FILES([
202 dnl test/ensuresclauses/Makefile
203 dnl test/conditions/Makefile
204 dnl test/db2/Makefile
205 dnl test/warnuse/Makefile
206 dnl test/tainted/Makefile
207 dnl test/fileio/Makefile
208 dnl test/tests2.4/Makefile
209 dnl test/db3/Makefile
210 dnl test/metastate/Makefile
211 dnl test/mergestate/Makefile
212 dnl test/tests2.5/Makefile
213 dnl test/tests2.2/Makefile
214 dnl test/db1/Makefile])
216 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile
217 doc/Makefile bin/Makefile])