From 5432f1203108e098e19550e1dc5e33a4a4400af3 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Wed, 18 Nov 2009 02:00:57 +0100
Subject: [PATCH] Added splint-3.1.2 build template.

--HG--
extra : convert_revision : 3304e146b07db6f02930e659ce2e68a0ed47885e
---
 templates/splint/template | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 templates/splint/template

diff --git a/templates/splint/template b/templates/splint/template
new file mode 100644
index 00000000000..8de71a8e4e0
--- /dev/null
+++ b/templates/splint/template
@@ -0,0 +1,19 @@
+# Template file for 'splint'
+pkgname=splint
+version=3.1.2
+distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz"
+build_style=gnu_configure
+short_desc="Secure Programming Lint"
+maintainer="Juan RP <xtraeme@gmail.com>"
+checksum=c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a
+long_desc="
+ Splint 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 that can be done by any
+ standard lint."
+
+disable_parallel_build=yes
+
+Add_dependency full glibc
+Add_dependency build flex