NORMAL_UNINSTALL = :
PRE_UNINSTALL = :
POST_UNINSTALL = :
+build_alias = @build_alias@
+build_triplet = @build@
host_alias = @host_alias@
host_triplet = @host@
-AMTAR = @AMTAR@
-AWK = @AWK@
+target_alias = @target_alias@
+target_triplet = @target@
BISON = @BISON@
CAT = @CAT@
CC = @CC@
CP = @CP@
CPP = @CPP@
-DEPDIR = @DEPDIR@
DIFF = @DIFF@
-EXEEXT = @EXEEXT@
GREP = @GREP@
-INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
LCLOBJ = @LCLOBJ@
LEX = @LEX@
LN_S = @LN_S@
MV = @MV@
-OBJEXT = @OBJEXT@
-PACKAGE = @PACKAGE@
RM = @RM@
-VERSION = @VERSION@
-am__include = @am__include@
-am__quote = @am__quote@
-install_sh = @install_sh@
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)
$(SPLINT):
cd $(top_builddir)/src; $(MAKE)
-ansi.lcd: ansi.h $(SPLINT)
- -$(SPLINT) -nolib +impconj ansi.h -dump ansi
+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.