## Note: starting comments with ## means they don't end up in Makefile
+### Make phony, always remake everything.
+
+.PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
AUTOMAKE_OPTIONS = 1.5 foreign
-## Put these files in $prefix/share/lclint/lib
-lclintlibdir = $(pkgdatadir)/lib
+## Put these files in $prefix/share/splint/lib
+splintlibdir = $(pkgdatadir)/lib
+
+UnixHeaders = stdio.h stdlib.h
## List of files
-lclintlib_DATA = \
- ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \
+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
+ stdio.h stdlib.h $(UnixHeaders)
## Include them in the distribution
-EXTRA_DIST = $(lclintlib_DATA)
+EXTRA_DIST = $(splintlib_DATA)
-## Rules to make lclint & the dumps
+##get rid of lcd files if the user does a make clean
+CLEANFILES = posix.lcd standard.lcd unix.lcd \
+ posixstrict.lcd standardstrict.lcd unixstrict.lcd
-LCLINT = $(top_builddir)/src/lclint$(EXEEXT)
-$(LCLINT):
+## Rules to make splint & the dumps
+
+SPLINT = $(top_builddir)/src/splint$(EXEEXT)
+
+$(SPLINT):
cd $(top_builddir)/src; $(MAKE)
-ansi.lcd: ansi.h $(LCLINT)
- -$(LCLINT) -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 $(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 $@