Fixed bug in Makefile.am.

[splint.git] / lib / Makefile.in

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 32be5e595977d0dcadb949c5946ee96fc679e66a..8cc7b3eea03cf8a48dc7f9224cd5790511a99630 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -13,6 +13,8 @@
 
 @SET_MAKE@
 
+### Make phony, always remake everything.
+
 SHELL = @SHELL@
 
 srcdir = @srcdir@
@@ -55,8 +57,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@
@@ -76,6 +82,7 @@ MV = @MV@
 OBJEXT = @OBJEXT@
 PACKAGE = @PACKAGE@
 RM = @RM@
+SED = @SED@
 VERSION = @VERSION@
 am__include = @am__include@
 am__quote = @am__quote@
@@ -85,16 +92,22 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 
 splintlibdir = $(pkgdatadir)/lib
 
+UnixHeaders = stdio.h stdlib.h
+
 splintlib_DATA = \
-  ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \
+  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
+  stdio.h stdlib.h $(UnixHeaders)
 
 
 EXTRA_DIST = $(splintlib_DATA)
 
+CLEANFILES = posix.lcd standard.lcd unix.lcd \
+             posixstrict.lcd  standardstrict.lcd  unixstrict.lcd
+
+
 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
 subdir = lib
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -180,6 +193,7 @@ install-strip:
 mostlyclean-generic:
 
 clean-generic:
+       -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
 
 distclean-generic:
        -rm -f Makefile $(CONFIG_CLEAN_FILES) stamp-h stamp-h[0-9]*
@@ -234,31 +248,35 @@ uninstall-am: uninstall-info-am uninstall-splintlibDATA
        uninstall-splintlibDATA
 
 
+.PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
 $(SPLINT):
        cd $(top_builddir)/src; $(MAKE)
 
-ansi.lcd: ansi.h $(SPLINT)
-       -$(SPLINT) -nolib +impconj ansi.h -dump ansi
+all: standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
+standard.lcd: standard.h $(SPLINT)
+       -$(SPLINT) -nof -nolib +impconj standard.h -dump standard
        @touch $@
 
-ansistrict.lcd: ansi.h $(SPLINT)
-       -$(SPLINT) -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 $(SPLINT)
-       -$(SPLINT) -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 $(SPLINT)
-       -$(SPLINT) -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 $(SPLINT)
-       -$(SPLINT) -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 $(SPLINT)
-       -$(SPLINT) -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.