[splint.git] / lib / Makefile.in

# Makefile.in generated automatically by automake 1.5 from Makefile.am.

# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
# Free Software Foundation, Inc.
# This Makefile.in is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.

# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
# PARTICULAR PURPOSE.

@SET_MAKE@

SHELL = @SHELL@

srcdir = @srcdir@
top_srcdir = @top_srcdir@
VPATH = @srcdir@
prefix = @prefix@
exec_prefix = @exec_prefix@

bindir = @bindir@
sbindir = @sbindir@
libexecdir = @libexecdir@
datadir = @datadir@
sysconfdir = @sysconfdir@
sharedstatedir = @sharedstatedir@
localstatedir = @localstatedir@
libdir = @libdir@
infodir = @infodir@
mandir = @mandir@
includedir = @includedir@
oldincludedir = /usr/include
pkgdatadir = $(datadir)/@PACKAGE@
pkglibdir = $(libdir)/@PACKAGE@
pkgincludedir = $(includedir)/@PACKAGE@
top_builddir = ..

ACLOCAL = @ACLOCAL@
AUTOCONF = @AUTOCONF@
AUTOMAKE = @AUTOMAKE@
AUTOHEADER = @AUTOHEADER@

INSTALL = @INSTALL@
INSTALL_PROGRAM = @INSTALL_PROGRAM@
INSTALL_DATA = @INSTALL_DATA@
INSTALL_SCRIPT = @INSTALL_SCRIPT@
INSTALL_HEADER = $(INSTALL_DATA)
transform = @program_transform_name@
NORMAL_INSTALL = :
PRE_INSTALL = :
POST_INSTALL = :
NORMAL_UNINSTALL = :
PRE_UNINSTALL = :
POST_UNINSTALL = :
build_alias = @build_alias@
build_triplet = @build@
host_alias = @host_alias@
host_triplet = @host@
target_alias = @target_alias@
target_triplet = @target@
BISON = @BISON@
CAT = @CAT@
CC = @CC@
CP = @CP@
CPP = @CPP@
DIFF = @DIFF@
GREP = @GREP@
LCLOBJ = @LCLOBJ@
LEX = @LEX@
LN_S = @LN_S@
MV = @MV@
RM = @RM@

AUTOMAKE_OPTIONS = 1.5 foreign

splintlibdir = $(pkgdatadir)/lib

UnixHeaders = stdio.h stdlib.h

splintlib_DATA = \
  standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \
  unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \
  file.mts file.xh filerw.mts filerw.xh \
  lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
  stdio.h stdlib.h $(UnixHeaders)


EXTRA_DIST = $(splintlib_DATA)

SPLINT = $(top_builddir)/src/splint$(EXEEXT)
subdir = lib
mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
CONFIG_HEADER = $(top_builddir)/config.h
CONFIG_CLEAN_FILES =
DIST_SOURCES =
DATA = $(splintlib_DATA)

DIST_COMMON = Makefile.am Makefile.in
all: all-am

.SUFFIXES:
$(srcdir)/Makefile.in:  Makefile.am  $(top_srcdir)/configure.ac $(ACLOCAL_M4)
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --foreign  lib/Makefile
Makefile:  $(srcdir)/Makefile.in  $(top_builddir)/config.status
	cd $(top_builddir) && \
	  CONFIG_HEADERS= CONFIG_LINKS= \
	  CONFIG_FILES=$(subdir)/$@ $(SHELL) ./config.status
uninstall-info-am:
install-splintlibDATA: $(splintlib_DATA)
	@$(NORMAL_INSTALL)
	$(mkinstalldirs) $(DESTDIR)$(splintlibdir)
	@list='$(splintlib_DATA)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
	  echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f"; \
	  $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f; \
	done

uninstall-splintlibDATA:
	@$(NORMAL_UNINSTALL)
	@list='$(splintlib_DATA)'; for p in $$list; do \
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
	  echo " rm -f $(DESTDIR)$(splintlibdir)/$$f"; \
	  rm -f $(DESTDIR)$(splintlibdir)/$$f; \
	done
tags: TAGS
TAGS:


DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)

top_distdir = ..
distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)

distdir: $(DISTFILES)
	@for file in $(DISTFILES); do \
	  if test -f $$file; then d=.; else d=$(srcdir); fi; \
	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
	    $(mkinstalldirs) "$(distdir)/$$dir"; \
	  fi; \
	  if test -d $$d/$$file; then \
	    cp -pR $$d/$$file $(distdir) \
	    || exit 1; \
	  else \
	    test -f $(distdir)/$$file \
	    || cp -p $$d/$$file $(distdir)/$$file \
	    || exit 1; \
	  fi; \
	done
check-am: all-am
check: check-am
all-am: Makefile $(DATA)

installdirs:
	$(mkinstalldirs) $(DESTDIR)$(splintlibdir)

install: install-am
install-exec: install-exec-am
install-data: install-data-am
uninstall: uninstall-am

install-am: all-am
	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am

installcheck: installcheck-am
install-strip:
	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	  `test -z '$(STRIP)' || \
	    echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
mostlyclean-generic:

clean-generic:

distclean-generic:
	-rm -f Makefile $(CONFIG_CLEAN_FILES) stamp-h stamp-h[0-9]*

maintainer-clean-generic:
	@echo "This command is intended for maintainers to use"
	@echo "it deletes files that may require special tools to rebuild."
clean: clean-am

clean-am: clean-generic mostlyclean-am

distclean: distclean-am

distclean-am: clean-am distclean-generic

dvi: dvi-am

dvi-am:

info: info-am

info-am:

install-data-am: install-splintlibDATA

install-exec-am:

install-info: install-info-am

install-man:

installcheck-am:

maintainer-clean: maintainer-clean-am

maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

mostlyclean-am: mostlyclean-generic

uninstall-am: uninstall-info-am uninstall-splintlibDATA

.PHONY: all all-am check check-am clean clean-generic distclean \
	distclean-generic distdir dvi dvi-am info info-am install \
	install-am install-data install-data-am install-exec \
	install-exec-am install-info install-info-am install-man \
	install-splintlibDATA install-strip installcheck \
	installcheck-am installdirs maintainer-clean \
	maintainer-clean-generic mostlyclean mostlyclean-generic \
	uninstall uninstall-am uninstall-info-am \
	uninstall-splintlibDATA


$(SPLINT):
	cd $(top_builddir)/src; $(MAKE)

standard.lcd: standard.h $(SPLINT)
	-$(SPLINT) -nof -nolib +impconj standard.h -dump standard
	@touch $@

standardstrict.lcd: standard.h $(SPLINT)
	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
	@touch $@

posix.lcd: standard.h posix.h $(SPLINT)
	-$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix
	@touch $@

posixstrict.lcd: standard.h posix.h $(SPLINT)
	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict
	@touch $@

unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
	-$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix
	@touch $@

unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
	-$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict
	@touch $@
# Tell versions [3.59,3.63) of GNU make to not export all variables.
# Otherwise a system limit (for SysV at least) may be exceeded.
.NOEXPORT:
Commit	Line	Data
8fe44445	1	# Makefile.in generated automatically by automake 1.5 from Makefile.am.
	2
	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.
	8
	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
	12	# PARTICULAR PURPOSE.
	13
	14	@SET_MAKE@
	15
	16	SHELL = @SHELL@
	17
	18	srcdir = @srcdir@
	19	top_srcdir = @top_srcdir@
	20	VPATH = @srcdir@
	21	prefix = @prefix@
	22	exec_prefix = @exec_prefix@
	23
	24	bindir = @bindir@
	25	sbindir = @sbindir@
	26	libexecdir = @libexecdir@
	27	datadir = @datadir@
	28	sysconfdir = @sysconfdir@
	29	sharedstatedir = @sharedstatedir@
	30	localstatedir = @localstatedir@
	31	libdir = @libdir@
	32	infodir = @infodir@
	33	mandir = @mandir@
	34	includedir = @includedir@
	35	oldincludedir = /usr/include
	36	pkgdatadir = $(datadir)/@PACKAGE@
	37	pkglibdir = $(libdir)/@PACKAGE@
	38	pkgincludedir = $(includedir)/@PACKAGE@
	39	top_builddir = ..
	40
	41	ACLOCAL = @ACLOCAL@
	42	AUTOCONF = @AUTOCONF@
	43	AUTOMAKE = @AUTOMAKE@
	44	AUTOHEADER = @AUTOHEADER@
	45
	46	INSTALL = @INSTALL@
	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@
	52	NORMAL_INSTALL = :
	53	PRE_INSTALL = :
	54	POST_INSTALL = :
	55	NORMAL_UNINSTALL = :
	56	PRE_UNINSTALL = :
	57	POST_UNINSTALL = :
f7bbce9e	58	build_alias = @build_alias@
f7bbce9e	59	build_triplet = @build@
8fe44445	60	host_alias = @host_alias@
8fe44445	61	host_triplet = @host@
f7bbce9e	62	target_alias = @target_alias@
f7bbce9e	63	target_triplet = @target@
8fe44445	64	BISON = @BISON@
	65	CAT = @CAT@
	66	CC = @CC@
	67	CP = @CP@
	68	CPP = @CPP@
8fe44445	69	DIFF = @DIFF@
8fe44445	70	GREP = @GREP@
8fe44445	71	LCLOBJ = @LCLOBJ@
	72	LEX = @LEX@
	73	LN_S = @LN_S@
	74	MV = @MV@
8fe44445	75	RM = @RM@
8fe44445	76
	77	AUTOMAKE_OPTIONS = 1.5 foreign
	78
11db3170	79	splintlibdir = $(pkgdatadir)/lib
8fe44445	80
4aadc959	81	UnixHeaders = stdio.h stdlib.h
4aadc959	82
11db3170	83	splintlib_DATA = \
155af98d	84	standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \
8fe44445	85	unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \
8fe44445	86	file.mts file.xh filerw.mts filerw.xh \
3be9a165	87	lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
4aadc959	88	stdio.h stdlib.h $(UnixHeaders)
8fe44445	89
8fe44445	90
11db3170	91	EXTRA_DIST = $(splintlib_DATA)
8fe44445	92
11db3170	93	SPLINT = $(top_builddir)/src/splint$(EXEEXT)
8fe44445	94	subdir = lib
	95	mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
	96	CONFIG_HEADER = $(top_builddir)/config.h
	97	CONFIG_CLEAN_FILES =
	98	DIST_SOURCES =
11db3170	99	DATA = $(splintlib_DATA)
8fe44445	100
	101	DIST_COMMON = Makefile.am Makefile.in
	102	all: all-am
	103
	104	.SUFFIXES:
	105	$(srcdir)/Makefile.in: Makefile.am $(top_srcdir)/configure.ac $(ACLOCAL_M4)
	106	cd $(top_srcdir) && \
	107	$(AUTOMAKE) --foreign lib/Makefile
	108	Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
	109	cd $(top_builddir) && \
	110	CONFIG_HEADERS= CONFIG_LINKS= \
	111	CONFIG_FILES=$(subdir)/$@ $(SHELL) ./config.status
	112	uninstall-info-am:
11db3170	113	install-splintlibDATA: $(splintlib_DATA)
8fe44445	114	@$(NORMAL_INSTALL)
11db3170	115	$(mkinstalldirs) $(DESTDIR)$(splintlibdir)
11db3170	116	@list='$(splintlib_DATA)'; for p in $$list; do \
8fe44445	117	if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
8fe44445	118	f="`echo $$p \| sed -e 's\|^.*/\|\|'`"; \
11db3170	119	echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f"; \
11db3170	120	$(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f; \
8fe44445	121	done
8fe44445	122
11db3170	123	uninstall-splintlibDATA:
8fe44445	124	@$(NORMAL_UNINSTALL)
11db3170	125	@list='$(splintlib_DATA)'; for p in $$list; do \
8fe44445	126	f="`echo $$p \| sed -e 's\|^.*/\|\|'`"; \
11db3170	127	echo " rm -f $(DESTDIR)$(splintlibdir)/$$f"; \
11db3170	128	rm -f $(DESTDIR)$(splintlibdir)/$$f; \
8fe44445	129	done
	130	tags: TAGS
	131	TAGS:
	132
	133
	134	DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
	135
	136	top_distdir = ..
	137	distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
	138
	139	distdir: $(DISTFILES)
	140	@for file in $(DISTFILES); do \
	141	if test -f $$file; then d=.; else d=$(srcdir); fi; \
	142	dir=`echo "$$file" \| sed -e 's,/[^/]*$$,,'`; \
	143	if test "$$dir" != "$$file" && test "$$dir" != "."; then \
	144	$(mkinstalldirs) "$(distdir)/$$dir"; \
	145	fi; \
	146	if test -d $$d/$$file; then \
	147	cp -pR $$d/$$file $(distdir) \
	148	\|\| exit 1; \
	149	else \
	150	test -f $(distdir)/$$file \
	151	\|\| cp -p $$d/$$file $(distdir)/$$file \
	152	\|\| exit 1; \
	153	fi; \
	154	done
	155	check-am: all-am
	156	check: check-am
	157	all-am: Makefile $(DATA)
	158
	159	installdirs:
11db3170	160	$(mkinstalldirs) $(DESTDIR)$(splintlibdir)
8fe44445	161
	162	install: install-am
	163	install-exec: install-exec-am
	164	install-data: install-data-am
	165	uninstall: uninstall-am
	166
	167	install-am: all-am
	168	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
	169
	170	installcheck: installcheck-am
	171	install-strip:
	172	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	173	`test -z '$(STRIP)' \|\| \
	174	echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
	175	mostlyclean-generic:
	176
	177	clean-generic:
	178
	179	distclean-generic:
	180	-rm -f Makefile $(CONFIG_CLEAN_FILES) stamp-h stamp-h[0-9]*
	181
	182	maintainer-clean-generic:
	183	@echo "This command is intended for maintainers to use"
	184	@echo "it deletes files that may require special tools to rebuild."
	185	clean: clean-am
	186
	187	clean-am: clean-generic mostlyclean-am
	188
	189	distclean: distclean-am
	190
	191	distclean-am: clean-am distclean-generic
	192
	193	dvi: dvi-am
	194
	195	dvi-am:
	196
	197	info: info-am
	198
	199	info-am:
	200
11db3170	201	install-data-am: install-splintlibDATA
8fe44445	202
	203	install-exec-am:
	204
	205	install-info: install-info-am
	206
	207	install-man:
	208
	209	installcheck-am:
	210
	211	maintainer-clean: maintainer-clean-am
	212
	213	maintainer-clean-am: distclean-am maintainer-clean-generic
	214
	215	mostlyclean: mostlyclean-am
	216
	217	mostlyclean-am: mostlyclean-generic
	218
11db3170	219	uninstall-am: uninstall-info-am uninstall-splintlibDATA
8fe44445	220
	221	.PHONY: all all-am check check-am clean clean-generic distclean \
	222	distclean-generic distdir dvi dvi-am info info-am install \
	223	install-am install-data install-data-am install-exec \
11db3170	224	install-exec-am install-info install-info-am install-man \
11db3170	225	install-splintlibDATA install-strip installcheck \
8fe44445	226	installcheck-am installdirs maintainer-clean \
	227	maintainer-clean-generic mostlyclean mostlyclean-generic \
	228	uninstall uninstall-am uninstall-info-am \
11db3170	229	uninstall-splintlibDATA
8fe44445	230
8fe44445	231
11db3170	232	$(SPLINT):
8fe44445	233	cd $(top_builddir)/src; $(MAKE)
8fe44445	234
155af98d	235	standard.lcd: standard.h $(SPLINT)
155af98d	236	-$(SPLINT) -nof -nolib +impconj standard.h -dump standard
8fe44445	237	@touch $@
8fe44445	238
155af98d	239	standardstrict.lcd: standard.h $(SPLINT)
155af98d	240	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
8fe44445	241	@touch $@
8fe44445	242
155af98d	243	posix.lcd: standard.h posix.h $(SPLINT)
155af98d	244	-$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix
8fe44445	245	@touch $@
8fe44445	246
155af98d	247	posixstrict.lcd: standard.h posix.h $(SPLINT)
155af98d	248	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict
8fe44445	249	@touch $@
8fe44445	250
155af98d	251	unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
155af98d	252	-$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix
8fe44445	253	@touch $@
8fe44445	254
155af98d	255	unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
155af98d	256	-$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict
8fe44445	257	@touch $@
	258	# Tell versions [3.59,3.63) of GNU make to not export all variables.
	259	# Otherwise a system limit (for SysV at least) may be exceeded.
	260	.NOEXPORT: