1 dnl Process with autoconf to create a configure script -*- Autoconf -*-
3 AC_INIT([Splint], [3.0.0.20], [splint-bug@cs.virginia.edu], [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++
31 AC_CHECK_PROG(BISON, bison, bison, no)
32 AC_CHECK_PROG(GREP, grep, grep, grep-is-missing)
33 AC_CHECK_PROG(DIFF, diff, diff, diff-is-missing)
34 AC_CHECK_PROG(CAT, cat, cat, cat-is-missing)
35 AC_CHECK_PROG(RM, rm, rm, rm-is-missing)
36 AC_CHECK_PROG(MV, mv, mv, mv-is-missing)
37 AC_CHECK_PROG(CP, cp, cp, cp-is-missing)
39 dnl Checks for header files.
40 dnl Currently all disable, as the source files don't care about the results
43 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])
45 dnl Checks for typedefs, structures, and compiler characteristics.
46 dnl Currently all disable, as the source files don't care about the results
53 dnl AC_STRUCT_ST_BLOCKS
54 dnl AC_CHECK_MEMBERS([struct stat.st_rdev])
55 dnl AC_DECL_SYS_SIGLIST
58 dnl AC_CHECK_TYPES([ptrdiff_t])
60 dnl Checks for library functions.
61 dnl Currently all disable, as the source files don't care about the results
65 dnl AC_PROG_GCC_TRADITIONAL
71 dnl AC_FUNC_SETVBUF_REVERSED
75 dnl AC_FUNC_STRERROR_R
79 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])
81 LCLOBJ='$(lcl_OBJECTS)'
83 AC_HELP_STRING([--without-lcl],
84 [don't include support for LCL files]),
85 ac_cv_use_lcl=$withval,
86 AC_CACHE_CHECK([whether to include support for LCL files],
87 ac_cv_use_lcl, ac_cv_use_lcl=yes))
88 if test x$ac_cv_use_lcl != xyes; then
90 AC_DEFINE(NOLCL, 1, [Define to disable support LCL files])
94 # Make sure we have an actual value for $prefix
96 test x$myprefix = xNONE && myprefix=$ac_default_prefix
98 # cpplib.h defines 2 include dirs; one is $includedir, the other is gcc's
99 # include dir. Not the most portable setup, but let's do our best.
100 if test x$ac_cv_c_compiler_gnu = xyes; then
101 dnl Make sure to override NLS; this assumes gcc prints only
102 dnl Reading specs from blah
105 # This breaks on gcc-3.0 on redhat fixing drl 11-15-2001
106 # GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/'`
107 GCC_INCLUDE_DIR=/usr/include
108 # was /usr/lib/gcc-lib/i386-linux/2.7.2.1/include
109 # GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -n -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/p'`
110 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR",
111 [system include directory])
113 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
114 [alternate include directory])
116 # These used to be in local_constants.h
117 AC_DEFINE_UNQUOTED(SYSTEM_LIBDIR, "$myprefix/include",
118 [The system's main include directory])
119 AC_DEFINE_UNQUOTED(DEFAULT_LARCHPATH,
120 ".$PATH_SEPARATOR$myprefix/share/splint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR",
121 [The directory where Splint's library files live])
122 AC_DEFINE_UNQUOTED(DEFAULT_LCLIMPORTDIR, ".$PATH_SEPARATOR$myprefix/share/splint/imports$PATH_SEPARATOR`pwd`/imports",
123 [Splint's imports directory])
125 # These used to be in herald.h
126 LCL_PARSE_VERSION="AC_PACKAGE_NAME AC_PACKAGE_VERSION"
127 AC_DEFINE_UNQUOTED(SPLINT_VERSION,
128 "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`",
129 [Splint's version number and configure/build date])
130 AC_DEFINE_UNQUOTED(LCL_PARSE_VERSION, "$LCL_PARSE_VERSION",
131 [Splint's version number])
132 AC_DEFINE_UNQUOTED(LCL_COMPILE,
133 "Compiled using $CC $CFLAGS on `uname -a` by `whoami`",
134 [String describing who compiled this binary and how])
137 dnl TODO: Use result AC_CANONICAL_HOST to figure out what to define
138 AC_DEFINE(UNIX, 1, [Define if you're on a Unixy system])
140 dnl AC_CONFIG_FILES([test/Makefile
141 dnl test/ensuresclauses/Makefile
142 dnl test/conditions/Makefile
143 dnl test/db2/Makefile
144 dnl test/warnuse/Makefile
145 dnl test/tainted/Makefile
146 dnl test/fileio/Makefile
147 dnl test/tests2.4/Makefile
148 dnl test/db3/Makefile
149 dnl test/metastate/Makefile
150 dnl test/mergestate/Makefile
151 dnl test/tests2.5/Makefile
152 dnl test/tests2.2/Makefile
153 dnl test/db1/Makefile])
155 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile src/Makefile