configure.binary.ac

   1 dnl Process with autoconf to create a configure script  -*- Autoconf -*-
   2 AC_PREREQ(2.50)
   3 AC_INIT([Splint], [3.0.1.2], [splint-bug@splint.org], [splint])
   4
   5 dnl This MUST precede any other macro
   6 AC_CONFIG_AUX_DIR([config])
   7
   8 dnl Set up the source directory
   9 #AC_CONFIG_SRCDIR([src/lclinit.c])
  10
  11 dnl Deduce host
  12 AC_CANONICAL_SYSTEM
  13
  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])
  17
  18 dnl Prepare for Splint processing of config.h
  19 AH_TOP([/*@-constmacros@*/])
  20 AH_BOTTOM([/*@=constmacros@*/])
  21
  22 dnl Checks for programs.
  23 #drl 12-19-2001 commented out so Splint won't depend on C++
  24 #AC_PROG_CXX
  25 AC_PROG_CC
  26 AC_PROG_CPP
  27 dnl This produces a warning.  See http://mail.gnu.org/pipermail/bug-automake/2001-August/000213.html
  28 AM_PROG_LEX
  29 AC_PROG_INSTALL
  30 AC_PROG_MAKE_SET
  31 AC_PROG_LN_S
  32 AC_CHECK_PROG(BISON, bison, bison, no)
  33 AC_CHECK_PROG(GREP, grep, grep, grep-is-missing)
  34 AC_CHECK_PROG(DIFF, diff, diff, diff-is-missing)
  35 AC_CHECK_PROG(CAT, cat, cat, cat-is-missing)
  36 AC_CHECK_PROG(RM, rm, rm, rm-is-missing)
  37 AC_CHECK_PROG(MV, mv, mv, mv-is-missing)
  38 AC_CHECK_PROG(CP, cp, cp, cp-is-missing)
  39
  40 dnl Checks for header files.
  41 dnl Currently all disable, as the source files don't care about the results
  42 dnl AC_HEADER_DIRENT
  43 dnl AC_HEADER_STDC
  44 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
  46 dnl Checks for typedefs, structures, and compiler characteristics.
  47 dnl Currently all disable, as the source files don't care about the results
  48 dnl AC_C_CONST
  49 dnl AC_TYPE_UID_T
  50 dnl AC_TYPE_MODE_T
  51 dnl AC_TYPE_OFF_T
  52 dnl AC_TYPE_PID_T
  53 dnl AC_TYPE_SIZE_T
  54 dnl AC_STRUCT_ST_BLOCKS
  55 dnl AC_CHECK_MEMBERS([struct stat.st_rdev])
  56 dnl AC_DECL_SYS_SIGLIST
  57 dnl AC_HEADER_TIME
  58 dnl AC_STRUCT_TM
  59 dnl AC_CHECK_TYPES([ptrdiff_t])
  60
  61 dnl Checks for library functions.
  62 dnl Currently all disable, as the source files don't care about the results
  63 dnl AC_FUNC_ALLOCA
  64 dnl AC_FUNC_CHOWN
  65 dnl AC_FUNC_GETPGRP
  66 dnl AC_PROG_GCC_TRADITIONAL
  67 dnl AC_FUNC_LSTAT
  68 dnl AC_FUNC_MALLOC
  69 dnl AC_FUNC_MEMCMP
  70 dnl AC_FUNC_MKTIME
  71 dnl AC_FUNC_MMAP
  72 dnl AC_FUNC_SETVBUF_REVERSED
  73 dnl AC_TYPE_SIGNAL
  74 dnl AC_FUNC_STAT
  75 dnl AC_FUNC_STRCOLL
  76 dnl AC_FUNC_STRERROR_R
  77 dnl AC_FUNC_VFORK
  78 dnl AC_FUNC_VPRINTF
  79 dnl AC_FUNC_WAIT3
  80 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
  82 dnl This was provided by Nelson Beebe for dealing with problems on IBM
  83 dnl AIX 4.3 with defining mode_t.
  84
  85 dnl Checks for _ALL_SOURCE (IBM RS/6000 c89 needs this)
  86 AC_MSG_CHECKING(whether we need _ALL_SOURCE to expose mode_t)
  87 all=no
  88 AC_TRY_COMPILE([
  89 #include <stdio.h>
  90 mode_t x;
  91 ], , , all=maybe)
  92 if test $all = maybe ; then
  93 AC_TRY_COMPILE([
  94 #define _ALL_SOURCE
  95 #include <stdio.h>
  96 mode_t x;
  97 ], , AC_DEFINE(_ALL_SOURCE) all=yes)
  98 fi
  99 if test $all = maybe ; then all=no ; fi
 100 AC_MSG_RESULT($all)
 101
 102 LCLOBJ='$(lcl_OBJECTS)'
 103 AC_ARG_WITH([lcl],
 104             AC_HELP_STRING([--without-lcl],
 105                            [don't include support for LCL files]),
 106             ac_cv_use_lcl=$withval,
 107             AC_CACHE_CHECK([whether to include support for LCL files],
 108                            ac_cv_use_lcl, ac_cv_use_lcl=yes))
 109 if test x$ac_cv_use_lcl != xyes; then
 110   LCLOBJ=
 111   AC_DEFINE(NOLCL, 1, [Define to disable support LCL files])
 112 fi
 113 AC_SUBST(LCLOBJ)
 114
 115 # Make sure we have an actual value for $prefix
 116 myprefix=$prefix
 117 test x$myprefix = xNONE && myprefix=$ac_default_prefix
 118
 119 # cpplib.h defines 2 include dirs; one is $includedir, the other is gcc's
 120 # include dir.  Not the most portable setup, but let's do our best.
 121 if test x$ac_cv_c_compiler_gnu = xyes; then
 122   dnl Make sure to override NLS; this assumes gcc prints only
 123   dnl   Reading specs from blah
 124   dnl   gcc version blah
 125
 126 # This breaks on gcc-3.0 on redhat fixing drl 11-15-2001
 127 #  GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/'`
 128 GCC_INCLUDE_DIR=/usr/include
 129 # was /usr/lib/gcc-lib/i386-linux/2.7.2.1/include
 130 #  GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -n -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/p'`
 131   AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR",
 132                      [system include directory])
 133 fi
 134 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
 135                    [alternate include directory])
 136
 137 # These used to be in local_constants.h
 138 AC_DEFINE_UNQUOTED(SYSTEM_LIBDIR, "$myprefix/include",
 139                    [The system's main include directory])
 140 AC_DEFINE_UNQUOTED(DEFAULT_LARCHPATH,
 141                    ".$PATH_SEPARATOR$myprefix/share/splint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR",
 142                    [The directory where Splint's library files live])
 143 AC_DEFINE_UNQUOTED(DEFAULT_LCLIMPORTDIR, ".$PATH_SEPARATOR$myprefix/share/splint/imports$PATH_SEPARATOR`pwd`/imports",
 144                    [Splint's imports directory])
 145
 146 # These used to be in herald.h
 147 LCL_PARSE_VERSION="AC_PACKAGE_NAME AC_PACKAGE_VERSION"
 148 AC_DEFINE_UNQUOTED(SPLINT_VERSION,
 149                    "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`",
 150                    [Splint's version number and configure/build date])
 151 AC_DEFINE_UNQUOTED(LCL_PARSE_VERSION, "$LCL_PARSE_VERSION",
 152                    [Splint's version number])
 153 AC_DEFINE_UNQUOTED(LCL_COMPILE,
 154                    "Compiled using $CC $CFLAGS on `uname -a` by `whoami`",
 155                    [String describing who compiled this binary and how])
 156
 157 dnl TODO: Use result AC_CANONICAL_SYSTEM to figure out what to define
 158
 159 AC_DEFINE(UNIX, 1, [Define if you're on a Unixy system])
 160
 161 #just define some Header constants for now...
 162
 163 UNAME=`uname`
 164 AC_DEFINE_UNQUOTED(UNAME, "${UNAME}")
 165
 166 AC_DEFINE_UNQUOTED(BUILD, "${build}")
 167 AC_DEFINE_UNQUOTED(HOST, "${host}")
 168 AC_DEFINE_UNQUOTED(TARGET, "${target}")
 169
 170 AC_DEFINE_UNQUOTED(BUILD_ALIAS, "${build_alias}")
 171 AC_DEFINE_UNQUOTED(HOST_ALIAS, "${host_alias}")
 172 AC_DEFINE_UNQUOTED(TARGET_ALIAS, "${TARGET_ALIAS}")
 173
 174 AC_DEFINE_UNQUOTED(BUILD_CPU, "${build_cpu}")
 175 AC_DEFINE_UNQUOTED(HOST_CPU, "$host_cpu")
 176 AC_DEFINE_UNQUOTED(TARGET_CPU, "${target_cpu}")
 177
 178 AC_DEFINE_UNQUOTED(BUILD_VENDOR, "${build_vendor}")
 179 AC_DEFINE_UNQUOTED(HOST_VENDOR, "${host_vendor}")
 180 AC_DEFINE_UNQUOTED(TARGET_VENDOR, "${target_vendor}")
 181
 182 AC_DEFINE_UNQUOTED(BUILD_OS, "${build_os}")
 183 AC_DEFINE_UNQUOTED(HOST_OS, "${host_os}")
 184 AC_DEFINE_UNQUOTED(TARGET_OS,"${target_os}")
 185
 186
 187
 188 dnl AC_CONFIG_FILES([
 189 dnl                  test/ensuresclauses/Makefile
 190 dnl                  test/conditions/Makefile
 191 dnl                  test/db2/Makefile
 192 dnl                  test/warnuse/Makefile
 193 dnl                  test/tainted/Makefile
 194 dnl                  test/fileio/Makefile
 195 dnl                  test/tests2.4/Makefile
 196 dnl                  test/db3/Makefile
 197 dnl                  test/metastate/Makefile
 198 dnl                  test/mergestate/Makefile
 199 dnl                  test/tests2.5/Makefile
 200 dnl                  test/tests2.2/Makefile
 201 dnl                  test/db1/Makefile])
 202
 203 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile
 204                  doc/Makefile bin/Makefile])
 205 AC_OUTPUT
 206
 207
 208
 209
 210
 211
 212
 213
 214