]>
Commit | Line | Data |
---|---|---|
363a5c93 | 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 preBuilt/Makefile]) | |
205 | AC_OUTPUT | |
206 | ||
207 | ||
208 | ||
209 | ||
210 | ||
211 | ||
212 | ||
213 | ||
214 |