1 # Makefile.in generated automatically by automake 1.5 from Makefile.am.
3 # Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
4 # Free Software Foundation, Inc.
5 # This Makefile.in is free software; the Free Software Foundation
6 # gives unlimited permission to copy and/or distribute it,
7 # with or without modifications, as long as this notice is preserved.
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
11 # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
19 top_srcdir = @top_srcdir@
22 exec_prefix = @exec_prefix@
26 libexecdir = @libexecdir@
28 sysconfdir = @sysconfdir@
29 sharedstatedir = @sharedstatedir@
30 localstatedir = @localstatedir@
34 includedir = @includedir@
35 oldincludedir = /usr/include
36 pkgdatadir = $(datadir)/@PACKAGE@
37 pkglibdir = $(libdir)/@PACKAGE@
38 pkgincludedir = $(includedir)/@PACKAGE@
44 AUTOHEADER = @AUTOHEADER@
47 INSTALL_PROGRAM = @INSTALL_PROGRAM@
48 INSTALL_DATA = @INSTALL_DATA@
49 INSTALL_SCRIPT = @INSTALL_SCRIPT@
50 INSTALL_HEADER = $(INSTALL_DATA)
51 transform = @program_transform_name@
58 build_alias = @build_alias@
59 build_triplet = @build@
60 host_alias = @host_alias@
62 target_alias = @target_alias@
63 target_triplet = @target@
75 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
84 am__include = @am__include@
85 am__quote = @am__quote@
86 install_sh = @install_sh@
88 AUTOMAKE_OPTIONS = 1.5 foreign
90 splintlibdir = $(pkgdatadir)/lib
92 UnixHeaders = stdio.h stdlib.h
95 standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \
96 unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \
97 file.mts file.xh filerw.mts filerw.xh \
98 lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
99 stdio.h stdlib.h $(UnixHeaders)
102 EXTRA_DIST = $(splintlib_DATA)
104 CLEANFILES = posix.lcd standard.lcd unix.lcd \
105 posixstrict.lcd standardstrict.lcd unixstrict.lcd
108 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
110 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
111 CONFIG_HEADER = $(top_builddir)/config.h
114 DATA = $(splintlib_DATA)
116 DIST_COMMON = Makefile.am Makefile.in
120 $(srcdir)/Makefile.in: Makefile.am $(top_srcdir)/configure.ac $(ACLOCAL_M4)
121 cd $(top_srcdir) && \
122 $(AUTOMAKE) --foreign lib/Makefile
123 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
124 cd $(top_builddir) && \
125 CONFIG_HEADERS= CONFIG_LINKS= \
126 CONFIG_FILES=$(subdir)/$@ $(SHELL) ./config.status
128 install-splintlibDATA: $(splintlib_DATA)
130 $(mkinstalldirs) $(DESTDIR)$(splintlibdir)
131 @list='$(splintlib_DATA)'; for p in $$list; do \
132 if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
133 f="`echo $$p | sed -e 's|^.*/||'`"; \
134 echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f"; \
135 $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f; \
138 uninstall-splintlibDATA:
140 @list='$(splintlib_DATA)'; for p in $$list; do \
141 f="`echo $$p | sed -e 's|^.*/||'`"; \
142 echo " rm -f $(DESTDIR)$(splintlibdir)/$$f"; \
143 rm -f $(DESTDIR)$(splintlibdir)/$$f; \
149 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
152 distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
154 distdir: $(DISTFILES)
155 @for file in $(DISTFILES); do \
156 if test -f $$file; then d=.; else d=$(srcdir); fi; \
157 dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
158 if test "$$dir" != "$$file" && test "$$dir" != "."; then \
159 $(mkinstalldirs) "$(distdir)/$$dir"; \
161 if test -d $$d/$$file; then \
162 cp -pR $$d/$$file $(distdir) \
165 test -f $(distdir)/$$file \
166 || cp -p $$d/$$file $(distdir)/$$file \
172 all-am: Makefile $(DATA)
175 $(mkinstalldirs) $(DESTDIR)$(splintlibdir)
178 install-exec: install-exec-am
179 install-data: install-data-am
180 uninstall: uninstall-am
183 @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
185 installcheck: installcheck-am
187 $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
188 `test -z '$(STRIP)' || \
189 echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
193 -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
196 -rm -f Makefile $(CONFIG_CLEAN_FILES) stamp-h stamp-h[0-9]*
198 maintainer-clean-generic:
199 @echo "This command is intended for maintainers to use"
200 @echo "it deletes files that may require special tools to rebuild."
203 clean-am: clean-generic mostlyclean-am
205 distclean: distclean-am
207 distclean-am: clean-am distclean-generic
217 install-data-am: install-splintlibDATA
221 install-info: install-info-am
227 maintainer-clean: maintainer-clean-am
229 maintainer-clean-am: distclean-am maintainer-clean-generic
231 mostlyclean: mostlyclean-am
233 mostlyclean-am: mostlyclean-generic
235 uninstall-am: uninstall-info-am uninstall-splintlibDATA
237 .PHONY: all all-am check check-am clean clean-generic distclean \
238 distclean-generic distdir dvi dvi-am info info-am install \
239 install-am install-data install-data-am install-exec \
240 install-exec-am install-info install-info-am install-man \
241 install-splintlibDATA install-strip installcheck \
242 installcheck-am installdirs maintainer-clean \
243 maintainer-clean-generic mostlyclean mostlyclean-generic \
244 uninstall uninstall-am uninstall-info-am \
245 uninstall-splintlibDATA
249 cd $(top_builddir)/src; $(MAKE)
251 standard.lcd: standard.h $(SPLINT)
252 -$(SPLINT) -nof -nolib +impconj standard.h -dump standard
255 standardstrict.lcd: standard.h $(SPLINT)
256 -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
259 posix.lcd: standard.h posix.h $(SPLINT)
260 -$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix
263 posixstrict.lcd: standard.h posix.h $(SPLINT)
264 -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict
267 unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
268 -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix
271 unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
272 -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict
274 # Tell versions [3.59,3.63) of GNU make to not export all variables.
275 # Otherwise a system limit (for SysV at least) may be exceeded.