1 # Makefile.in generated by automake 1.6.3 from Makefile.am.
4 # Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002
5 # Free Software Foundation, Inc.
6 # This Makefile.in is free software; the Free Software Foundation
7 # gives unlimited permission to copy and/or distribute it,
8 # with or without modifications, as long as this notice is preserved.
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
12 # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
17 ### Make phony, always remake everything.
21 top_srcdir = @top_srcdir@
24 exec_prefix = @exec_prefix@
28 libexecdir = @libexecdir@
30 sysconfdir = @sysconfdir@
31 sharedstatedir = @sharedstatedir@
32 localstatedir = @localstatedir@
36 includedir = @includedir@
37 oldincludedir = /usr/include
38 pkgdatadir = $(datadir)/@PACKAGE@
39 pkglibdir = $(libdir)/@PACKAGE@
40 pkgincludedir = $(includedir)/@PACKAGE@
46 AUTOHEADER = @AUTOHEADER@
48 am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
50 INSTALL_PROGRAM = @INSTALL_PROGRAM@
51 INSTALL_DATA = @INSTALL_DATA@
52 install_sh_DATA = $(install_sh) -c -m 644
53 install_sh_PROGRAM = $(install_sh) -c
54 install_sh_SCRIPT = $(install_sh) -c
55 INSTALL_SCRIPT = @INSTALL_SCRIPT@
56 INSTALL_HEADER = $(INSTALL_DATA)
57 transform = @program_transform_name@
64 build_alias = @build_alias@
65 build_triplet = @build@
66 host_alias = @host_alias@
68 target_alias = @target_alias@
69 target_triplet = @target@
73 PATH_SEPARATOR = @PATH_SEPARATOR@
84 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
88 LEX_OUTPUT_ROOT = @LEX_OUTPUT_ROOT@
96 am__include = @am__include@
97 am__quote = @am__quote@
98 install_sh = @install_sh@
100 AUTOMAKE_OPTIONS = 1.5 foreign
102 splintlibdir = $(pkgdatadir)/lib
104 UnixHeaders = stdio.h stdlib.h
107 standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \
108 unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \
109 file.mts file.xh filerw.mts filerw.xh \
110 lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
111 stdio.h stdlib.h $(UnixHeaders)
114 EXTRA_DIST = $(splintlib_DATA)
116 CLEANFILES = posix.lcd standard.lcd unix.lcd \
117 posixstrict.lcd standardstrict.lcd unixstrict.lcd
120 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
122 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
123 CONFIG_HEADER = $(top_builddir)/config.h
126 DATA = $(splintlib_DATA)
128 DIST_COMMON = Makefile.am Makefile.in
132 $(srcdir)/Makefile.in: Makefile.am $(top_srcdir)/configure.ac $(ACLOCAL_M4)
133 cd $(top_srcdir) && \
134 $(AUTOMAKE) --foreign lib/Makefile
135 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
136 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)
138 splintlibDATA_INSTALL = $(INSTALL_DATA)
139 install-splintlibDATA: $(splintlib_DATA)
141 $(mkinstalldirs) $(DESTDIR)$(splintlibdir)
142 @list='$(splintlib_DATA)'; for p in $$list; do \
143 if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
144 f="`echo $$p | sed -e 's|^.*/||'`"; \
145 echo " $(splintlibDATA_INSTALL) $$d$$p $(DESTDIR)$(splintlibdir)/$$f"; \
146 $(splintlibDATA_INSTALL) $$d$$p $(DESTDIR)$(splintlibdir)/$$f; \
149 uninstall-splintlibDATA:
151 @list='$(splintlib_DATA)'; for p in $$list; do \
152 f="`echo $$p | sed -e 's|^.*/||'`"; \
153 echo " rm -f $(DESTDIR)$(splintlibdir)/$$f"; \
154 rm -f $(DESTDIR)$(splintlibdir)/$$f; \
159 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
162 distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
164 distdir: $(DISTFILES)
165 @list='$(DISTFILES)'; for file in $$list; do \
166 if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
167 dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
168 if test "$$dir" != "$$file" && test "$$dir" != "."; then \
170 $(mkinstalldirs) "$(distdir)$$dir"; \
174 if test -d $$d/$$file; then \
175 if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
176 cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
178 cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
180 test -f $(distdir)/$$file \
181 || cp -p $$d/$$file $(distdir)/$$file \
187 all-am: Makefile $(DATA)
190 $(mkinstalldirs) $(DESTDIR)$(splintlibdir)
193 install-exec: install-exec-am
194 install-data: install-data-am
195 uninstall: uninstall-am
198 @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
200 installcheck: installcheck-am
202 $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
203 INSTALL_STRIP_FLAG=-s \
204 `test -z '$(STRIP)' || \
205 echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
209 -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
212 -rm -f Makefile $(CONFIG_CLEAN_FILES)
214 maintainer-clean-generic:
215 @echo "This command is intended for maintainers to use"
216 @echo "it deletes files that may require special tools to rebuild."
219 clean-am: clean-generic mostlyclean-am
221 distclean: distclean-am
223 distclean-am: clean-am distclean-generic
233 install-data-am: install-splintlibDATA
237 install-info: install-info-am
243 maintainer-clean: maintainer-clean-am
245 maintainer-clean-am: distclean-am maintainer-clean-generic
247 mostlyclean: mostlyclean-am
249 mostlyclean-am: mostlyclean-generic
251 uninstall-am: uninstall-info-am uninstall-splintlibDATA
253 .PHONY: all all-am check check-am clean clean-generic distclean \
254 distclean-generic distdir dvi dvi-am info info-am install \
255 install-am install-data install-data-am install-exec \
256 install-exec-am install-info install-info-am install-man \
257 install-splintlibDATA install-strip installcheck \
258 installcheck-am installdirs maintainer-clean \
259 maintainer-clean-generic mostlyclean mostlyclean-generic \
260 uninstall uninstall-am uninstall-info-am \
261 uninstall-splintlibDATA
264 .PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
267 cd $(top_builddir)/src; $(MAKE)
269 all: standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
271 standard.lcd: standard.h $(SPLINT)
272 -$(SPLINT) -nof -nolib +impconj standard.h -dump standard
275 standardstrict.lcd: standard.h $(SPLINT)
276 -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
279 posix.lcd: standard.h posix.h $(SPLINT)
280 -$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix
283 posixstrict.lcd: standard.h posix.h $(SPLINT)
284 -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict
287 unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
288 -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix
291 unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
292 -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict
294 # Tell versions [3.59,3.63) of GNU make to not export all variables.
295 # Otherwise a system limit (for SysV at least) may be exceeded.