configure.ac

   1 dnl Process with autoconf to create a configure script  -*- Autoconf -*-
   2 AC_PREREQ(2.50)
   3 AC_INIT([Splint], [3.0.0.20], [splint-bug@cs.virginia.edu], [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_HOST
  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 AM_PROG_LEX
  28 AC_PROG_INSTALL
  29 AC_PROG_MAKE_SET
  30 AC_PROG_LN_S
  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)
  38
  39 dnl Checks for header files.
  40 dnl Currently all disable, as the source files don't care about the results
  41 dnl AC_HEADER_DIRENT
  42 dnl AC_HEADER_STDC
  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])
  44
  45 dnl Checks for typedefs, structures, and compiler characteristics.
  46 dnl Currently all disable, as the source files don't care about the results
  47 dnl AC_C_CONST
  48 dnl AC_TYPE_UID_T
  49 dnl AC_TYPE_MODE_T
  50 dnl AC_TYPE_OFF_T
  51 dnl AC_TYPE_PID_T
  52 dnl AC_TYPE_SIZE_T
  53 dnl AC_STRUCT_ST_BLOCKS
  54 dnl AC_CHECK_MEMBERS([struct stat.st_rdev])
  55 dnl AC_DECL_SYS_SIGLIST
  56 dnl AC_HEADER_TIME
  57 dnl AC_STRUCT_TM
  58 dnl AC_CHECK_TYPES([ptrdiff_t])
  59
  60 dnl Checks for library functions.
  61 dnl Currently all disable, as the source files don't care about the results
  62 dnl AC_FUNC_ALLOCA
  63 dnl AC_FUNC_CHOWN
  64 dnl AC_FUNC_GETPGRP
  65 dnl AC_PROG_GCC_TRADITIONAL
  66 dnl AC_FUNC_LSTAT
  67 dnl AC_FUNC_MALLOC
  68 dnl AC_FUNC_MEMCMP
  69 dnl AC_FUNC_MKTIME
  70 dnl AC_FUNC_MMAP
  71 dnl AC_FUNC_SETVBUF_REVERSED
  72 dnl AC_TYPE_SIGNAL
  73 dnl AC_FUNC_STAT
  74 dnl AC_FUNC_STRCOLL
  75 dnl AC_FUNC_STRERROR_R
  76 dnl AC_FUNC_VFORK
  77 dnl AC_FUNC_VPRINTF
  78 dnl AC_FUNC_WAIT3
  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])
  80
  81 LCLOBJ='$(lcl_OBJECTS)'
  82 AC_ARG_WITH([lcl],
  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
  89   LCLOBJ=
  90   AC_DEFINE(NOLCL, 1, [Define to disable support LCL files])
  91 fi
  92 AC_SUBST(LCLOBJ)
  93
  94 # Make sure we have an actual value for $prefix
  95 myprefix=$prefix
  96 test x$myprefix = xNONE && myprefix=$ac_default_prefix
  97
  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
 103   dnl   gcc version blah
 104
 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/lib/gcc-lib/i386-linux/2.7.2.1/include
 108 #  GCC_INCLUDE_DIR=`LANGUAGE= LANG= $CC -v 2>&1 | sed -n -e '/^gcc/ d' -e 's/.* \(.*\)specs/\1include/p'`
 109   AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR, "$GCC_INCLUDE_DIR",
 110                      [gcc's private include directory])
 111 fi
 112 AC_DEFINE_UNQUOTED(GCC_INCLUDE_DIR2, "$myprefix/include",
 113                    [the system's main include directory])
 114
 115 # These used to be in local_constants.h
 116 AC_DEFINE_UNQUOTED(SYSTEM_LIBDIR, "$myprefix/include",
 117                    [The system's main include directory])
 118 AC_DEFINE_UNQUOTED(DEFAULT_LARCHPATH,
 119                    ".$PATH_SEPARATOR$myprefix/share/splint/lib$PATH_SEPARATOR`pwd`/lib$PATH_SEPARATOR",
 120                    [The directory where Splint's library files live])
 121 AC_DEFINE_UNQUOTED(DEFAULT_LCLIMPORTDIR, ".$PATH_SEPARATOR$myprefix/share/splint/imports$PATH_SEPARATOR`pwd`/imports",
 122                    [Splint's imports directory])
 123
 124 # These used to be in herald.h
 125 LCL_PARSE_VERSION="AC_PACKAGE_NAME AC_PACKAGE_VERSION"
 126 AC_DEFINE_UNQUOTED(LCL_VERSION,
 127                    "$LCL_PARSE_VERSION --- `cat $srcdir/src/DATE`",
 128                    [Splint's version number and release date])
 129 AC_DEFINE_UNQUOTED(LCL_PARSE_VERSION, "$LCL_PARSE_VERSION",
 130                    [Splint's version number])
 131 AC_DEFINE_UNQUOTED(LCL_COMPILE,
 132                    "Compiled using $CC $CFLAGS on `uname -a` by `whoami`",
 133                    [String describing who compiled this binary and how])
 134
 135
 136 dnl TODO: Use result AC_CANONICAL_HOST to figure out what to define
 137 AC_DEFINE(UNIX, 1, [Define if you're on a Unixy system])
 138
 139 dnl AC_CONFIG_FILES([test/Makefile
 140 dnl                  test/ensuresclauses/Makefile
 141 dnl                  test/conditions/Makefile
 142 dnl                  test/db2/Makefile
 143 dnl                  test/warnuse/Makefile
 144 dnl                  test/tainted/Makefile
 145 dnl                  test/fileio/Makefile
 146 dnl                  test/tests2.4/Makefile
 147 dnl                  test/db3/Makefile
 148 dnl                  test/metastate/Makefile
 149 dnl                  test/mergestate/Makefile
 150 dnl                  test/tests2.5/Makefile
 151 dnl                  test/tests2.2/Makefile
 152 dnl                  test/db1/Makefile])
 153
 154 AC_CONFIG_FILES([Makefile imports/Makefile lib/Makefile src/Makefile
 155                  test/Makefile])
 156 AC_OUTPUT
 157
 158
 159
 160
 161
 162
 163
 164
 165