configure.binary.ac

   1 dnl Process with autoconf to create a configure script  -*- Autoconf -*-
   2 AC_PREREQ(2.50)
   3
   4 AC_INIT([Splint], [3.1.1], [splint-bug@splint.org], [splint])
   5
   6 dnl This MUST precede any other macro
   7 AC_CONFIG_AUX_DIR([config])
   8
   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])
  12
  13 dnl Deduce host
  14 AC_CANONICAL_SYSTEM
  15
  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])
  19
  20 dnl Prepare for Splint processing of config.h
  21 AH_TOP([/*@-constmacros@*/])
  22 AH_BOTTOM([/*@=constmacros@*/])
  23
  24 dnl Checks for programs.
  25 #drl 12-19-2001 commented out so Splint won't depend on C++
  26 #AC_PROG_CXX
  27 AC_PROG_CC
  28 AC_PROG_CPP
  29 dnl This produces a warning.  See http://mail.gnu.org/pipermail/bug-automake/2001-August/000213.html
  30 AM_PROG_LEX
  31 AC_PROG_INSTALL
  32 AC_PROG_MAKE_SET
  33 AC_PROG_LN_S
  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)
  42
  43 dnl Checks for header files.
  44 dnl Currently all disable, as the source files don't care about the results
  45 dnl AC_HEADER_DIRENT
  46 dnl AC_HEADER_STDC
  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])
  48
  49 dnl Checks for typedefs, structures, and compiler characteristics.
  50 dnl Currently all disable, as the source files don't care about the results
  51 dnl AC_C_CONST
  52 dnl AC_TYPE_UID_T
  53 dnl AC_TYPE_MODE_T
  54 dnl AC_TYPE_OFF_T
  55 dnl AC_TYPE_PID_T
  56 dnl AC_TYPE_SIZE_T
  57 dnl AC_STRUCT_ST_BLOCKS
  58 dnl AC_CHECK_MEMBERS([struct stat.st_rdev])
  59 dnl AC_DECL_SYS_SIGLIST
  60 dnl AC_HEADER_TIME
  61 dnl AC_STRUCT_TM
  62 dnl AC_CHECK_TYPES([ptrdiff_t])
  63
  64 dnl Checks for library functions.
  65 dnl Currently all disable, as the source files don't care about the results
  66 dnl AC_FUNC_ALLOCA
  67 dnl AC_FUNC_CHOWN
  68 dnl AC_FUNC_GETPGRP
  69 dnl AC_PROG_GCC_TRADITIONAL
  70 dnl AC_FUNC_LSTAT
  71 dnl AC_FUNC_MALLOC
  72 dnl AC_FUNC_MEMCMP
  73 dnl AC_FUNC_MKTIME
  74 dnl AC_FUNC_MMAP
  75 dnl AC_FUNC_SETVBUF_REVERSED
  76 dnl AC_TYPE_SIGNAL
  77 dnl AC_FUNC_STAT
  78 dnl AC_FUNC_STRCOLL
  79 dnl AC_FUNC_STRERROR_R
  80 dnl AC_FUNC_VFORK
  81 dnl AC_FUNC_VPRINTF
  82 dnl AC_FUNC_WAIT3
  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])
  84
  85 dnl This was provided by Nelson Beebe for dealing with problems on IBM
  86 dnl AIX 4.3 with defining mode_t.
  87
  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)
  90 all=no
  91 AC_TRY_COMPILE([
  92 #include <stdio.h>
  93 mode_t x;
  94 ], , , all=maybe)
  95 if test $all = maybe ; then
  96 AC_TRY_COMPILE([
  97 #define _ALL_SOURCE
  98 #include <stdio.h>
  99 mode_t x;
 100 ], , AC_DEFINE(_ALL_SOURCE) all=yes)
 101 fi
 102 if test $all = maybe ; then all=no ; fi
 103 AC_MSG_RESULT($all)
 104 AH_TEMPLATE([_ALL_SOURCE], [needed to expose mode_t on some machines])
 105
 106 LCLOBJ='$(lcl_OBJECTS)'
 107 AC_ARG_WITH([lcl],
 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
 114   LCLOBJ=
 115   AC_DEFINE(NOLCL, 1, [Define to disable support LCL files])
 116 fi
 117 AC_SUBST(LCLOBJ)
 118
 119 # Make sure we have an actual value for $prefix
 120 myprefix=$prefix
 121 test x$myprefix = xNONE && myprefix=$ac_default_prefix
 122
 123
 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.
 126
 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.
 129
 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
 133   dnl   gcc version blah
 134
 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])
 142 else
 143 GCC_INCLUDE_DIR=/usr/include
 144 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR", [system include directory])
 145 fi
 146
 147 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
 148                    [alternate include directory])
 149
 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])
 158
 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])
 169
 170 dnl TODO: Use result AC_CANONICAL_SYSTEM to figure out what to define
 171
 172 AC_DEFINE(UNIX, 1, [Define if you're on a Unixy system])
 173
 174 #just define some Header constants for now...
 175
 176 UNAME=`uname`
 177 AC_DEFINE_UNQUOTED(UNAME, "${UNAME}", uname output)
 178
 179 AC_DEFINE_UNQUOTED(BUILD, "${build}", build)
 180 AC_DEFINE_UNQUOTED(HOST, "${host}", host)
 181 AC_DEFINE_UNQUOTED(TARGET, "${target}", target)
 182
 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)
 186
 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)
 190
 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)
 194
 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)
 198
 199
 200
 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])
 215
 216 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile
 217                  doc/Makefile bin/Makefile])
 218 AC_OUTPUT
 219
 220
 221
 222
 223
 224
 225
 226
 227