blob: e28a746858ff1e99b0b07370598ed1fa1db4d3e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
require 'formula'
class Splint < Formula
homepage 'http://www.splint.org/'
url 'http://www.splint.org/downloads/splint-3.1.2.src.tgz'
sha1 '0df489cb228dcfffb149b38c57614c2c3e200501'
# fix compiling error of osd.c
patch :DATA
def install
ENV.j1 # build is not parallel-safe
system "./configure", "--disable-debug",
"--prefix=#{prefix}",
"--infodir=#{info}",
"--mandir=#{man}"
system "make"
system "make install"
end
test do
path = testpath/"test.c"
path.write <<-EOS.undent
#include <stdio.h>
int main()
{
char c;
printf("%c", c);
return 0;
}
EOS
output = `#{bin}/splint #{path} 2>&1`
assert output.include?("5:18: Variable c used before definition")
assert_equal 1, $?.exitstatus
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;
|
