diff options
Diffstat (limited to 'homebrew/splint/.beer')
| -rw-r--r-- | homebrew/splint/.beer | 41 |
1 files changed, 41 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 |