1 files changed, 32 insertions, 0 deletions
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;