2010-08-29 10:47:31 +00:00
|
|
|
require 'formula'
|
|
|
|
|
2011-03-10 05:11:03 +00:00
|
|
|
class Splint < Formula
|
2010-08-29 10:47:31 +00:00
|
|
|
url 'http://www.splint.org/downloads/splint-3.1.2.src.tgz'
|
|
|
|
homepage 'http://www.splint.org/'
|
2012-09-03 18:33:56 +00:00
|
|
|
sha1 '0df489cb228dcfffb149b38c57614c2c3e200501'
|
2010-08-29 10:47:31 +00:00
|
|
|
|
|
|
|
def patches
|
|
|
|
# fix compiling error of osd.c
|
|
|
|
DATA
|
|
|
|
end
|
2010-09-02 14:10:45 +00:00
|
|
|
|
|
|
|
def install
|
2011-05-15 01:49:55 +00:00
|
|
|
ENV.j1 # build is not parallel-safe
|
2010-09-02 14:10:45 +00:00
|
|
|
system "./configure", "--disable-debug",
|
|
|
|
"--prefix=#{prefix}",
|
2011-05-15 01:49:55 +00:00
|
|
|
"--infodir=#{info}",
|
|
|
|
"--mandir=#{man}"
|
2010-09-02 14:10:45 +00:00
|
|
|
system "make"
|
|
|
|
system "make install"
|
|
|
|
end
|
2010-08-29 10:47:31 +00:00
|
|
|
end
|
2010-09-02 14:10:45 +00:00
|
|
|
|
|
|
|
|
2010-08-29 10:47:31 +00:00
|
|
|
__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;
|