8 files changed, 67 insertions, 0 deletions
diff --git a/homebrew/splint/.beer b/homebrew/splint/.beer
new file mode 100644
index 000000000..b5cda5f1b
--- /dev/null
+++ b/homebrew/splint/.beer
@@ -0,0 +1,41 @@
+{
+    "name": "Splint",
+    "description": "Secure Programming Lint",
+    "url": "https://mirrorservice.org/sites/distfiles.macports.org/splint/splint-3.1.2.src.tgz",
+    "mirror": "https://src.fedoraproject.org/repo/pkgs/splint/splint-3.1.2.src.tgz/25f47d70bd9c8bdddf6b03de5949c4fd/splint-3.1.2.src.tgz",
+    "homepage": "https://sourceforge.net/projects/splint/",
+    "depends": [],
+    "resource": [],
+    "conflicts": [],
+    "patches": [
+        {
+            "url": null,
+            "data": [
+                "diff --git a/src/osd.c b/src/osd.c\n",
+                "index ebe214a..4ba81d5 100644\n",
+                "--- a/src/osd.c\n",
+                "+++ b/src/osd.c\n",
+                "@@ -516,7 +516,7 @@ osd_getPid ()\n",
+                " # if defined (WIN32) || defined (OS2) && defined (__IBMC__)\n",
+                "   int pid = _getpid ();\n",
+                " # else\n",
+                "-  __pid_t pid = getpid ();\n",
+                "+  pid_t pid = getpid ();\n",
+                " # endif\n",
+                "\n",
+                "   return (int) pid;\n"
+            ]
+        }
+    ],
+    "install": [
+        "ENV.deparallelize ",
+        "system \"./configure\", \"--disable-debug\",",
+        "\"--prefix=#{prefix}\",",
+        "\"--infodir=#{info}\",",
+        "\"--mandir=#{man}\"",
+        "system \"make\"",
+        "system \"make\", \"install\""
+    ],
+    "version": "3.1.2",
+    "file": "splint.rb"
+}
+\ No newline at end of file
diff --git a/homebrew/splint/.make.sh-auto b/homebrew/splint/.make.sh-auto
new file mode 100644
index 000000000..e8ad87f4b
--- /dev/null
+++ b/homebrew/splint/.make.sh-auto
@@ -0,0 +1,5 @@
+pkg:setup
+ENV.deparallelize 
+pkg:configure
+make
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/splint/_metadata/description b/homebrew/splint/_metadata/description
new file mode 100644
index 000000000..0ee15e41c
--- /dev/null
+++ b/homebrew/splint/_metadata/description
@@ -0,0 +1 @@
+Secure Programming Lint
diff --git a/homebrew/splint/_metadata/homepage b/homebrew/splint/_metadata/homepage
new file mode 100644
index 000000000..cb6b458ae
--- /dev/null
+++ b/homebrew/splint/_metadata/homepage
@@ -0,0 +1 @@
+https://sourceforge.net/projects/splint/
diff --git a/homebrew/splint/_metadata/name b/homebrew/splint/_metadata/name
new file mode 100644
index 000000000..f5761e2e6
--- /dev/null
+++ b/homebrew/splint/_metadata/name
@@ -0,0 +1 @@
+Splint
diff --git a/homebrew/splint/_metadata/version b/homebrew/splint/_metadata/version
new file mode 100644
index 000000000..ef538c281
--- /dev/null
+++ b/homebrew/splint/_metadata/version
@@ -0,0 +1 @@
+3.1.2
diff --git a/homebrew/splint/download.sh b/homebrew/splint/download.sh
new file mode 100755
index 000000000..618f45ccb
--- /dev/null
+++ b/homebrew/splint/download.sh
@@ -0,0 +1 @@
+wget https://mirrorservice.org/sites/distfiles.macports.org/splint/splint-3.1.2.src.tgz || wget https://src.fedoraproject.org/repo/pkgs/splint/splint-3.1.2.src.tgz/25f47d70bd9c8bdddf6b03de5949c4fd/splint-3.1.2.src.tgz
+\ No newline at end of file
diff --git a/homebrew/splint/patches.sh b/homebrew/splint/patches.sh
new file mode 100755
index 000000000..8fa22cf00
--- /dev/null
+++ b/homebrew/splint/patches.sh
@@ -0,0 +1,16 @@
+echo 'Creating brew-patch.diff'
+cat << EOF >> brew-patch.diff
+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;
+EOF