From: Eric S. Raymond <esr@thyrsus.com>
Date: Tue, 19 Oct 2010 05:16:04 +0000 (-0400)
Subject: Add a splint prduction, and adapt to new version of shipper.
X-Git-Tag: 3.10~2
X-Git-Url: http://thyrsus.com/gitweb/?a=commitdiff_plain;h=b3e6df9cab353594796f49da0f30a71a256f3c5b;p=ascii.git

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

diff --git a/Makefile b/Makefile
index d65a1f9..2b5f997 100644
--- 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