From 14e6ba3619d25e45cdc13c0f9f6840b106dff5af Mon Sep 17 00:00:00 2001
From: Steve Karg <skarg@users.sourceforge.net>
Date: Wed, 30 Mar 2022 08:25:12 -0500
Subject: [PATCH] add splint Makefile target

---
 Makefile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Makefile b/Makefile
index 831eaacc..0649824c 100644
--- a/Makefile
+++ b/Makefile
@@ -223,6 +223,16 @@ tidy:
 lint:
 	scan-build --status-bugs -analyze-headers make -j2 clean server
 
+SPLINT_OPTIONS := -weak +posixlib +quiet \
+	-D__signed__=signed -D__gnuc_va_list=va_list \
+	-Iinclude -Idemo/object -Iports/linux \
+	+matchanyintegral +ignoresigns -unrecog -preproc -fullinitblock \
+	+error-stream-stderr +warning-stream-stderr -warnposix \
+
+.PHONY: splint
+splint:
+	find ./src -name "*.c" -exec splint $(SPLINT_OPTIONS) {} \;
+
 CPPCHECK_OPTIONS = --enable=warning,portability
 CPPCHECK_OPTIONS += --template=gcc
 CPPCHECK_OPTIONS += --suppress=selfAssignment