From 289198caab21a49d65f68d38fa0b998fcc6bed46 Mon Sep 17 00:00:00 2001
From: Zifei Tong
Date: Sun, 29 Aug 2010 18:47:31 +0800
Subject: New formula: splint

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
than can be done by any standard lint.

Signed-off-by: David Höppner <0xffea@gmail.com>

* remove white space
* improve commit message
---
 Library/Formula/splint.rb | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 Library/Formula/splint.rb

(limited to 'Library/Formula')

diff --git a/Library/Formula/splint.rb b/Library/Formula/splint.rb
new file mode 100644
index 000000000..ffe6aafc3
--- /dev/null
+++ b/Library/Formula/splint.rb
@@ -0,0 +1,32 @@
+require 'formula'
+
+class Splint <Formula
+  url 'http://www.splint.org/downloads/splint-3.1.2.src.tgz'
+  homepage 'http://www.splint.org/'
+  md5 '25f47d70bd9c8bdddf6b03de5949c4fd'
+
+  def install
+    system "./configure", "--disable-debug", "--prefix=#{prefix}", "--infodir=#{info}", "--mandir=#{share}/man"
+    system "make"
+    system "make install"
+  end
+
+  def patches
+    # fix compiling error of osd.c
+    DATA
+  end
+end
+__END__
+diff --git a/src/osd.c b/src/osd.c
+index ebe214a..4ba81d5 100644
+--- a/src/osd.c
++++ b/src/osd.c
+@@ -516,7 +516,7 @@ osd_getPid ()
+ # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
+   int pid = _getpid ();
+ # else
+-  __pid_t pid = getpid ();
++  pid_t pid = getpid ();
+ # endif
+
+   return (int) pid;
-- 
cgit v1.2.3