summaryrefslogtreecommitdiff
path: root/dev-util/splint
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-util/splint
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-util/splint')
-rw-r--r--dev-util/splint/Manifest7
-rw-r--r--dev-util/splint/files/splint-3.1.2-musl.patch11
-rw-r--r--dev-util/splint/metadata.xml8
-rw-r--r--dev-util/splint/splint-3.1.2-r1.ebuild46
-rw-r--r--dev-util/splint/splint-3.1.2-r2.ebuild48
5 files changed, 120 insertions, 0 deletions
diff --git a/dev-util/splint/Manifest b/dev-util/splint/Manifest
new file mode 100644
index 000000000000..2013dd2a5338
--- /dev/null
+++ b/dev-util/splint/Manifest
@@ -0,0 +1,7 @@
+AUX splint-3.1.2-musl.patch 232 SHA256 e969dfcc9378f03015cf35cf346478950fe8e226937b86030a43caa1e94e5348 SHA512 4e74cd5181848c3babf3a6d6687eb6d274be1549f26b7817b2c3fa4c0cee048c841d71a28931ae4db21c0c67154cff536218e7ace6d6e5ba4c7eccb7a800790f WHIRLPOOL 872948c6448752cd564197852331d0caec8c57639ab483377e8be99ee3795274de827bd04b074dc5c1d2a0c699d3507515863bcb0f66cda9d62001d547c55220
+DIST splint-3.1.2.src.tgz 2284033 SHA256 c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a SHA512 9bbf3f6575763c022940efde947f845f52095a1bcf645f7f4a98feb335b62d2bd50d78420e7fe95f81eb139b110d8fe48112b025deace45f7994360b20d47e0b WHIRLPOOL 092afab6adee524b93a06c4674941bb5a21c838226fa8fa0d5536e97d1411ee43d472212f5aa3677431b59eef325837bf6521ba62163df54f302b6ac1c279313
+EBUILD splint-3.1.2-r1.ebuild 1001 SHA256 45f222a07186a8d0e7f6bc06249d9810c89f8dae282748936eddcf317043a0a9 SHA512 8e4f2feb30a17f713410328823e9c44af8bf7ca2df44fc1504314cebffad44e1395c1e2ad185f24ea846456b79278ded4cfd8f799f2defebaa2061edfb53533b WHIRLPOOL 3c7abc8844f6e96a64f159792768d32c03c2e7fbfd632175d7c487ff48ba175ac623a03ef7645800451c7d0456b84a662534d829ea5db61c086f9510291b9d94
+EBUILD splint-3.1.2-r2.ebuild 1100 SHA256 84992a525bcae4e45d7523790bac45818b07cdce739c0a16a2b17cfe25cb1371 SHA512 68e3fc629c36c6a686dec98b3ae30d2afa68a77d5a8ec70de11206f7a23247e669151a189801cc041adb456117da5b70086c117cb38cc99529a59ba6ec6eb28f WHIRLPOOL 3332a1bcbb988c80b081049728dc9331231c00a2dbe7a046168674b1ed138a159137e40b4631c70d410d1ae4a5ec9a33b38a48f71df121222ed4d02b12d65216
+MISC ChangeLog 2406 SHA256 f44d7a7fccdd27d31fb7ab832d3d042080f5a742eb953620b5e895a35dbd2067 SHA512 5f438a47079781681fc81040d19706b04b9c8e89e3fb294e5d00d3a8a552fa449a467cee1fd0c2ca5a066edd683de23bf972a88096362ebc0ef9846bf54d8093 WHIRLPOOL 1d6a28c626523dc56d5afad801e69c4c23968e5e100c86520d9c2b5f24aec239d688da9bd999722420f4cae8db2396eaa5d057b3ab9af71598d093c405b8e32c
+MISC ChangeLog-2015 4320 SHA256 18c53346d8d2dbfbb68fdd977a8691bfebc549107e5d3d7efc2f355ddd3190c5 SHA512 f7ca8dcec5c5cd7c2d596ef699d87dac60b1a1819da58871f3cd884db5472dbdc288b62221038c6a479ee2ffa11cd7119d2ecd1b9ad3ece1c34e583fda69d0b2 WHIRLPOOL f0b219caf152933473d007aa02a1b9015b624f8c77b1583426da7efd093d11dd1109089b5b81e2f192ed1b08c3dd51b9d110af58b3b953f1def9db8feed8a327
+MISC metadata.xml 240 SHA256 58d315d79d6b07d798e12d1f8f2481ca4eb03b71d430e68989603732bcd392c8 SHA512 25affa2d6d2fe48707ae81553343451aff9797885b4232e73973a29d4cc1d28a937d024cefca49f92383f01eb8cb811546cd2334cbb78f8e66f1db1f63ff4572 WHIRLPOOL 7d0fb1efdaf8bcd6f9a04c6f8635a1071bd50e6b223334139c275d55fabf5ad9e93390120ea7c823495048176a74f66b6dd09d3ffabc9a6e67f63cae2af73f24
diff --git a/dev-util/splint/files/splint-3.1.2-musl.patch b/dev-util/splint/files/splint-3.1.2-musl.patch
new file mode 100644
index 000000000000..bf8c770b2ef5
--- /dev/null
+++ b/dev-util/splint/files/splint-3.1.2-musl.patch
@@ -0,0 +1,11 @@
+--- a/src/osd.c
++++ b/src/osd.c
+@@ -516,7 +516,7 @@
+ # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
+ int pid = _getpid ();
+ # else
+- __pid_t pid = getpid ();
++ pid_t pid = getpid ();
+ # endif
+
+ return (int) pid;
diff --git a/dev-util/splint/metadata.xml b/dev-util/splint/metadata.xml
new file mode 100644
index 000000000000..f9f8bbfd9405
--- /dev/null
+++ b/dev-util/splint/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="person">
+ <email>jer@gentoo.org</email>
+ <name>Jeroen Roovers</name>
+</maintainer>
+</pkgmetadata>
diff --git a/dev-util/splint/splint-3.1.2-r1.ebuild b/dev-util/splint/splint-3.1.2-r1.ebuild
new file mode 100644
index 000000000000..6b04a9b7874a
--- /dev/null
+++ b/dev-util/splint/splint-3.1.2-r1.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+inherit autotools
+
+DESCRIPTION="Check C programs for vulnerabilities and programming mistakes"
+HOMEPAGE="http://lclint.cs.virginia.edu/"
+SRC_URI="http://www.splint.org/downloads/${P}.src.tgz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~alpha amd64 arm hppa ~ia64 ppc ppc64 sparc x86"
+
+DEPEND="
+ sys-devel/flex
+"
+
+src_prepare() {
+ # verbose compiler calls
+ sed -i -e '/Compiling/d' src/Makefile.am || die
+ # automake complains about trailing \
+ sed -i -e '1600d' test/Makefile.am || die
+ # do not install these header files twice
+ sed -i -e '/\$(UnixHeaders)/s|stdio.h stdlib.h||g' lib/Makefile.am || die
+
+ eautoreconf
+}
+
+src_configure() {
+ # We do not need bison/yacc at all here
+ # We definitely need libfl
+ BISON=no LEXLIB=-lfl econf
+}
+
+src_compile() {
+ local subdir
+ # skip test/ subdir
+ for subdir in src lib imports doc; do
+ emake -j1 -C ${subdir}
+ done
+}
+
+src_test() {
+ emake -C test
+}
diff --git a/dev-util/splint/splint-3.1.2-r2.ebuild b/dev-util/splint/splint-3.1.2-r2.ebuild
new file mode 100644
index 000000000000..1549f142bdb8
--- /dev/null
+++ b/dev-util/splint/splint-3.1.2-r2.ebuild
@@ -0,0 +1,48 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+inherit autotools eutils
+
+DESCRIPTION="Check C programs for vulnerabilities and programming mistakes"
+HOMEPAGE="http://lclint.cs.virginia.edu/"
+SRC_URI="http://www.splint.org/downloads/${P}.src.tgz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sparc ~x86 ~ppc-macos ~x64-macos ~x86-macos"
+
+DEPEND="
+ sys-devel/flex
+"
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-3.1.2-musl.patch
+
+ # verbose compiler calls
+ sed -i -e '/Compiling/d' src/Makefile.am || die
+ # automake complains about trailing \
+ sed -i -e '1600d' test/Makefile.am || die
+ # do not install these header files twice
+ sed -i -e '/\$(UnixHeaders)/s|stdio.h stdlib.h||g' lib/Makefile.am || die
+
+ eautoreconf
+}
+
+src_configure() {
+ # We do not need bison/yacc at all here
+ # We definitely need libfl
+ BISON=no LEXLIB=-lfl econf
+}
+
+src_compile() {
+ local subdir
+ # skip test/ subdir
+ for subdir in src lib imports doc; do
+ emake -j1 -C ${subdir}
+ done
+}
+
+src_test() {
+ emake -C test
+}