X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c9a3167fcc078f8ffe6b5302f6a6dde871e8933..f7bbce9ea62eae4ce5860c92957c0506f8e8d23e:/lib/Makefile.in

diff --git a/lib/Makefile.in b/lib/Makefile.in
index ade91dd..35c4a16 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -55,8 +55,12 @@ 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@
 AMTAR = @AMTAR@
 AWK = @AWK@
 BISON = @BISON@
@@ -64,7 +68,6 @@ CAT = @CAT@
 CC = @CC@
 CP = @CP@
 CPP = @CPP@
-CXX = @CXX@
 DEPDIR = @DEPDIR@
 DIFF = @DIFF@
 EXEEXT = @EXEEXT@
@@ -84,24 +87,27 @@ install_sh = @install_sh@
 
 AUTOMAKE_OPTIONS = 1.5 foreign
 
-lclintlibdir = $(pkgdatadir)/lib
+splintlibdir = $(pkgdatadir)/lib
 
-lclintlib_DATA = \
-  ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \
+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
+  lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
+  stdio.h stdlib.h $(UnixHeaders)
 
 
-EXTRA_DIST = $(lclintlib_DATA)
+EXTRA_DIST = $(splintlib_DATA)
 
-LCLINT = $(top_builddir)/src/lclint$(EXEEXT)
+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 = $(lclintlib_DATA)
+DATA = $(splintlib_DATA)
 
 DIST_COMMON = Makefile.am Makefile.in
 all: all-am
@@ -115,22 +121,22 @@ Makefile:  $(srcdir)/Makefile.in  $(top_builddir)/config.status
 	  CONFIG_HEADERS= CONFIG_LINKS= \
 	  CONFIG_FILES=$(subdir)/$@ $(SHELL) ./config.status
 uninstall-info-am:
-install-lclintlibDATA: $(lclintlib_DATA)
+install-splintlibDATA: $(splintlib_DATA)
 	@$(NORMAL_INSTALL)
-	$(mkinstalldirs) $(DESTDIR)$(lclintlibdir)
-	@list='$(lclintlib_DATA)'; for p in $$list; do \
+	$(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)$(lclintlibdir)/$$f"; \
-	  $(INSTALL_DATA) $$d$$p $(DESTDIR)$(lclintlibdir)/$$f; \
+	  echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f"; \
+	  $(INSTALL_DATA) $$d$$p $(DESTDIR)$(splintlibdir)/$$f; \
 	done
 
-uninstall-lclintlibDATA:
+uninstall-splintlibDATA:
 	@$(NORMAL_UNINSTALL)
-	@list='$(lclintlib_DATA)'; for p in $$list; do \
+	@list='$(splintlib_DATA)'; for p in $$list; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
-	  echo " rm -f $(DESTDIR)$(lclintlibdir)/$$f"; \
-	  rm -f $(DESTDIR)$(lclintlibdir)/$$f; \
+	  echo " rm -f $(DESTDIR)$(splintlibdir)/$$f"; \
+	  rm -f $(DESTDIR)$(splintlibdir)/$$f; \
 	done
 tags: TAGS
 TAGS:
@@ -162,7 +168,7 @@ check: check-am
 all-am: Makefile $(DATA)
 
 installdirs:
-	$(mkinstalldirs) $(DESTDIR)$(lclintlibdir)
+	$(mkinstalldirs) $(DESTDIR)$(splintlibdir)
 
 install: install-am
 install-exec: install-exec-am
@@ -203,7 +209,7 @@ info: info-am
 
 info-am:
 
-install-data-am: install-lclintlibDATA
+install-data-am: install-splintlibDATA
 
 install-exec-am:
 
@@ -221,44 +227,44 @@ mostlyclean: mostlyclean-am
 
 mostlyclean-am: mostlyclean-generic
 
-uninstall-am: uninstall-info-am uninstall-lclintlibDATA
+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-lclintlibDATA install-man install-strip installcheck \
+	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-lclintlibDATA
+	uninstall-splintlibDATA
 
 
-$(LCLINT):
+$(SPLINT):
 	cd $(top_builddir)/src; $(MAKE)
 
-ansi.lcd: ansi.h $(LCLINT)
-	-$(LCLINT) -nolib +impconj ansi.h -dump ansi
+standard.lcd: standard.h $(SPLINT)
+	-$(SPLINT) -nof -nolib +impconj standard.h -dump standard
 	@touch $@
 
-ansistrict.lcd: ansi.h $(LCLINT)
-	-$(LCLINT) -nolib +impconj -DSTRICT ansi.h -dump ansistrict
+standardstrict.lcd: standard.h $(SPLINT)
+	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
 	@touch $@
 
-posix.lcd: ansi.h posix.h $(LCLINT)
-	-$(LCLINT) -nolib +impconj ansi.h posix.h -dump posix
+posix.lcd: standard.h posix.h $(SPLINT)
+	-$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix
 	@touch $@
 
-posixstrict.lcd: ansi.h posix.h $(LCLINT)
-	-$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
+posixstrict.lcd: standard.h posix.h $(SPLINT)
+	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict
 	@touch $@
 
-unix.lcd: ansi.h posix.h unix.h $(LCLINT)
-	-$(LCLINT) -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix
+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: ansi.h posix.h unix.h $(LCLINT)
-	-$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict
+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.