Add a splint prduction, and adapt to new version of shipper.

diff --git a/Makefile b/Makefile
index d65a1f9ad7129f31cdad71733c8c35ca13753768..2b5f9972822060e1f2f8b1e484f4c18634ae4df6 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,11 @@ ascii.html: ascii.xml
 clean:
        rm -f ascii ascii.o splashscreen.h nametable.h *.rpm *.tar.gz MANIFEST *.1 *.html SHIPPER.*
 
+SPLINTOPTS = +charintliteral -initallelements +posixlib -mustfreefresh \
+       -predboolint
+splint: nametable.h splashscreen.h
+       splint -I. -DREVISION=$(VERS) $(SPLINTOPTS) ascii.c
+
 install: ascii ascii.1
        cp ascii $(DESTDIR)/usr/bin/ascii
        cp ascii.1 $(DESTDIR)/usr/share/man/man1
@@ -43,4 +48,4 @@ ascii-$(VERS).tar.gz: $(SOURCES) ascii.1
 dist: ascii-$(VERS).tar.gz
 
 release: ascii-$(VERS).tar.gz ascii.html
-       shipper t -m; make clean
+       shipper -t -m; make clean