From 0738c80447d3604d40a728c9a9b3b12e8ae3e743 Mon Sep 17 00:00:00 2001
From: Automatic Build System <autodist@mambasoft.it>
Date: Fri, 5 Jan 2024 18:04:24 +0100
Subject: [PATCH] automatic rebuild by autodist [release 3.1.2-2mamba;Thu Aug
 22 2013]

---
 README.md   |  3 +++
 splint.spec | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 53 insertions(+)
 create mode 100644 splint.spec

diff --git a/README.md b/README.md
index 7478790..331bb86 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,5 @@
 # splint
 
+Splint (Secure Programming Lint) is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint.
+If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
+
diff --git a/splint.spec b/splint.spec
new file mode 100644
index 0000000..48d9987
--- /dev/null
+++ b/splint.spec
@@ -0,0 +1,50 @@
+Name:          splint
+Version:       3.1.2
+Release:       2mamba
+Summary:       A tool for statically checking C programs for vulnerabilities and coding mistakes
+Group:         Applications/Security
+Vendor:        openmamba
+Distribution:  openmamba
+Packager:      Aleph0 <aleph0@openmamba.org>
+URL:           http://lclint.cs.virginia.edu/
+Source:        http://www.splint.org/downloads/splint-%{version}.src.tgz
+License:       GPL
+BuildRoot:     %{_tmppath}/%{name}-%{version}-root
+
+%description
+Splint (Secure Programming Lint) is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint.
+If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
+
+%prep
+%setup -q
+
+%build
+%configure
+%make
+
+%install
+[ "%{buildroot}" != / ] && rm -rf %{buildroot}
+%makeinstall
+
+%clean
+[ "%{buildroot}" != / ] && rm -rf %{buildroot}
+
+%files
+%defattr(-,root,root)
+%{_bindir}/splint
+%dir %{_datadir}/splint
+%{_datadir}/splint/imports/*
+%{_datadir}/splint/lib/*
+%{_mandir}/man1/splint.*
+%doc README
+
+%changelog
+* Thu Aug 22 2013 Automatic Build System <autodist@mambasoft.it> 3.1.2-2mamba
+- automatic rebuild by autodist
+
+* Fri Feb 15 2008 Aleph0 <aleph0@openmamba.org> 3.1.2-1mamba
+- update to 3.1.2
+- new packager maintainer
+
+* Wed Oct 26 2005 Davide Madrisan <davide.madrisan@qilinux.it> 3.1.1-1qilnx
+- package created by autospec