summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobin H. Johnson <robbat2@gentoo.org>2015-08-08 13:49:04 -0700
committerRobin H. Johnson <robbat2@gentoo.org>2015-08-08 17:38:18 -0700
commit56bd759df1d0c750a065b8c845e93d5dfa6b549d (patch)
tree3f91093cdb475e565ae857f1c5a7fd339e2d781e /dev-util/splint
downloadgentoo-56bd759df1d0c750a065b8c845e93d5dfa6b549d.tar.gz
gentoo-56bd759df1d0c750a065b8c845e93d5dfa6b549d.tar.bz2
gentoo-56bd759df1d0c750a065b8c845e93d5dfa6b549d.zip
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed
Diffstat (limited to 'dev-util/splint')
-rw-r--r--dev-util/splint/Manifest1
-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.ebuild47
-rw-r--r--dev-util/splint/splint-3.1.2-r2.ebuild49
5 files changed, 116 insertions, 0 deletions
diff --git a/dev-util/splint/Manifest b/dev-util/splint/Manifest
new file mode 100644
index 000000000000..0a7d3620d0d6
--- /dev/null
+++ b/dev-util/splint/Manifest
@@ -0,0 +1 @@
+DIST splint-3.1.2.src.tgz 2284033 SHA256 c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a SHA512 9bbf3f6575763c022940efde947f845f52095a1bcf645f7f4a98feb335b62d2bd50d78420e7fe95f81eb139b110d8fe48112b025deace45f7994360b20d47e0b WHIRLPOOL 092afab6adee524b93a06c4674941bb5a21c838226fa8fa0d5536e97d1411ee43d472212f5aa3677431b59eef325837bf6521ba62163df54f302b6ac1c279313
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..c3a21340a392
--- /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>
+ <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..abe3bdd6db0d
--- /dev/null
+++ b/dev-util/splint/splint-3.1.2-r1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+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..547f8f65e3f9
--- /dev/null
+++ b/dev-util/splint/splint-3.1.2-r2.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+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 ~ppc ~ppc64 ~sparc ~x86"
+
+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
+}