X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/9dc8a5c106303f6f568b19e9b112b6632cc55d77..18848fb76cde4cad90e2c80efe0d162f041d0525:/configure.ac diff --git a/configure.ac b/configure.ac index 5b4b8b3..cf9dc1d 100644 --- a/configure.ac +++ b/configure.ac @@ -1,7 +1,7 @@ dnl Process with autoconf to create a configure script -*- Autoconf -*- AC_PREREQ(2.50) -AC_INIT([Splint], [3.0.1.6], [splint-bug@splint.org], [splint]) +AC_INIT([Splint], [3.0.1.7], [splint-bug@splint.org], [splint]) dnl This MUST precede any other macro AC_CONFIG_AUX_DIR([config]) @@ -37,6 +37,7 @@ AC_CHECK_PROG(CAT, cat, cat, cat-is-missing) 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 @@ -117,9 +118,14 @@ AC_SUBST(LCLOBJ) 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 @@ -131,7 +137,11 @@ GCC_INCLUDE_DIR=/usr/include # 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])