diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-util/splint | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-util/splint')
-rw-r--r-- | dev-util/splint/Manifest | 5 | ||||
-rw-r--r-- | dev-util/splint/files/splint-3.1.2-musl.patch | 11 | ||||
-rw-r--r-- | dev-util/splint/metadata.xml | 8 | ||||
-rw-r--r-- | dev-util/splint/splint-3.1.2-r1.ebuild | 46 | ||||
-rw-r--r-- | dev-util/splint/splint-3.1.2-r2.ebuild | 48 |
5 files changed, 118 insertions, 0 deletions
diff --git a/dev-util/splint/Manifest b/dev-util/splint/Manifest new file mode 100644 index 000000000000..466cac9189dc --- /dev/null +++ b/dev-util/splint/Manifest @@ -0,0 +1,5 @@ +AUX splint-3.1.2-musl.patch 232 BLAKE2B 1d802cba805a993ccec83b2beeefba3f7971fe31d4c20f03082538aa47ff3614fa8c270a6011c21745c85ad9325884d7447446dcc415995909bcedf1fcf10f9d SHA512 4e74cd5181848c3babf3a6d6687eb6d274be1549f26b7817b2c3fa4c0cee048c841d71a28931ae4db21c0c67154cff536218e7ace6d6e5ba4c7eccb7a800790f +DIST splint-3.1.2.src.tgz 2284033 BLAKE2B b071092ddb82be76734e00cdc8f96b697c20d0beaeba921b74464ac0b1f727c396f8f15845cf8c6c20011186e4da00199411545e0e167fcb9ce4ef2b27efa975 SHA512 9bbf3f6575763c022940efde947f845f52095a1bcf645f7f4a98feb335b62d2bd50d78420e7fe95f81eb139b110d8fe48112b025deace45f7994360b20d47e0b +EBUILD splint-3.1.2-r1.ebuild 1001 BLAKE2B c96b4fdeeba281d26aa346a77bfa091934421215add9b6c81a93cc820f3ae16c5a20e023774e38b88e81a888a7dc5ee1c0e33626f4ae93537505866f93b937ae SHA512 8e4f2feb30a17f713410328823e9c44af8bf7ca2df44fc1504314cebffad44e1395c1e2ad185f24ea846456b79278ded4cfd8f799f2defebaa2061edfb53533b +EBUILD splint-3.1.2-r2.ebuild 1100 BLAKE2B 8db7b89182b5fe3da9f13eabdbf555495d1dd32a6a437d9437a8f4c12c45cb1e4a4776bda3fd09f84fe589837d0077002f3835cf4cb42540a5dd36b69a09f6ca SHA512 68e3fc629c36c6a686dec98b3ae30d2afa68a77d5a8ec70de11206f7a23247e669151a189801cc041adb456117da5b70086c117cb38cc99529a59ba6ec6eb28f +MISC metadata.xml 240 BLAKE2B 64fe413f69832b5396b621f50bc6f618ddea15ddd4044ac76da4557d7dc0d963ce6ba36c0d1c0a8911af48fd71a6e84c4981f15ac7bad40bbd801e52b568a23b SHA512 25affa2d6d2fe48707ae81553343451aff9797885b4232e73973a29d4cc1d28a937d024cefca49f92383f01eb8cb811546cd2334cbb78f8e66f1db1f63ff4572 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 +} |