dnl Process with autoconf to create a configure script -*- Autoconf -*-
AC_PREREQ(2.50)
-AC_INIT([Splint], [3.0.1.1], [splint-bug@splint.org], [splint])
+
+AC_INIT([Splint], [3.1.0], [splint-bug@splint.org], [splint])
dnl This MUST precede any other macro
AC_CONFIG_AUX_DIR([config])
AC_CHECK_PROG(RM, rm, rm, rm-is-missing)
AC_CHECK_PROG(MV, mv, mv, mv-is-missing)
AC_CHECK_PROG(CP, cp, cp, cp-is-missing)
+AC_CHECK_PROG(SED, sed, sed, sed-is-missing)
dnl Checks for header files.
dnl Currently all disable, as the source files don't care about the results
myprefix=$prefix
test x$myprefix = xNONE && myprefix=$ac_default_prefix
+
+### Yuck! This is really kludgey, but I don't understand autoconf well
+### enough to do something simple that always works. Hopefully this does.
+
# cpplib.h defines 2 include dirs; one is $includedir, the other is gcc's
# include dir. Not the most portable setup, but let's do our best.
-if test x$ac_cv_c_compiler_gnu = xyes; then
+
+if test x$GCC = xyes; then
dnl Make sure to override NLS; this assumes gcc prints only
dnl Reading specs from blah
dnl gcc version blah
# GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -n -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/p'`
AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR",
[system include directory])
+else
+GCC_INCLUDE_DIR=/usr/include
+AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR", [system include directory])
fi
+
AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
[alternate include directory])
#just define some Header constants for now...
+UNAME=`uname`
+AC_DEFINE_UNQUOTED(UNAME, "${UNAME}")
+
AC_DEFINE_UNQUOTED(BUILD, "${build}")
AC_DEFINE_UNQUOTED(HOST, "${host}")
AC_DEFINE_UNQUOTED(TARGET, "${target}")
dnl test/db1/Makefile])
AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile src/Makefile
- test/Makefile doc/Makefile])
-AC_OUTPUT
+ test/Makefile doc/Makefile bin/Makefile])
+AC_OUTPUT