[arch-commits] Commit in splint/repos (8 files)
Sergej Pupykin
spupykin at nymeria.archlinux.org
Wed Apr 23 17:10:21 UTC 2014
Date: Wednesday, April 23, 2014 @ 19:10:21
Author: spupykin
Revision: 110068
archrelease: copy trunk to community-i686, community-x86_64
Added:
splint/repos/community-i686/PKGBUILD
(from rev 110067, splint/trunk/PKGBUILD)
splint/repos/community-i686/splint.sh
(from rev 110067, splint/trunk/splint.sh)
splint/repos/community-x86_64/PKGBUILD
(from rev 110067, splint/trunk/PKGBUILD)
splint/repos/community-x86_64/splint.sh
(from rev 110067, splint/trunk/splint.sh)
Deleted:
splint/repos/community-i686/PKGBUILD
splint/repos/community-i686/splint.sh
splint/repos/community-x86_64/PKGBUILD
splint/repos/community-x86_64/splint.sh
----------------------------+
/PKGBUILD | 60 +++++++++++++++++++++++++++++++++++++++++++
/splint.sh | 4 ++
community-i686/PKGBUILD | 30 ---------------------
community-i686/splint.sh | 2 -
community-x86_64/PKGBUILD | 30 ---------------------
community-x86_64/splint.sh | 2 -
6 files changed, 64 insertions(+), 64 deletions(-)
Deleted: community-i686/PKGBUILD
===================================================================
--- community-i686/PKGBUILD 2014-04-23 17:10:09 UTC (rev 110067)
+++ community-i686/PKGBUILD 2014-04-23 17:10:21 UTC (rev 110068)
@@ -1,30 +0,0 @@
-# $Id$
-# Maintainer: Sergej Pupykin <pupykin.s+arch at gmail.com>
-# Contributor: William Rea <sillywilly at gmail.com>
-
-pkgname=splint
-pkgver=3.1.2
-pkgrel=3
-pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
-arch=('i686' 'x86_64')
-url="http://www.splint.org/"
-license=('GPL')
-depends=('glibc')
-source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz"
- 'splint.sh')
-md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd'
- '0efb6341b384dc44590989fe3678c96c')
-options=('!makeflags')
-
-build() {
- cd "${srcdir}"/$pkgname-$pkgver
- ./configure --prefix=/usr --mandir=/usr/share/man
- make
-}
-
-package() {
- cd "${srcdir}"/$pkgname-$pkgver
- make DESTDIR="${pkgdir}" install
-
- install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh
-}
Copied: splint/repos/community-i686/PKGBUILD (from rev 110067, splint/trunk/PKGBUILD)
===================================================================
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2014-04-23 17:10:21 UTC (rev 110068)
@@ -0,0 +1,30 @@
+# $Id$
+# Maintainer: Sergej Pupykin <pupykin.s+arch at gmail.com>
+# Contributor: William Rea <sillywilly at gmail.com>
+
+pkgname=splint
+pkgver=3.1.2
+pkgrel=4
+pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
+arch=('i686' 'x86_64')
+url="http://www.splint.org/"
+license=('GPL')
+depends=('flex')
+source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz"
+ 'splint.sh')
+md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd'
+ '0efb6341b384dc44590989fe3678c96c')
+options=('!makeflags')
+
+build() {
+ cd "${srcdir}"/$pkgname-$pkgver
+ ./configure --prefix=/usr --mandir=/usr/share/man
+ make LDFLAGS="$LDFLAGS -lfl"
+}
+
+package() {
+ cd "${srcdir}"/$pkgname-$pkgver
+ make DESTDIR="${pkgdir}" install
+
+ install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh
+}
Deleted: community-i686/splint.sh
===================================================================
--- community-i686/splint.sh 2014-04-23 17:10:09 UTC (rev 110067)
+++ community-i686/splint.sh 2014-04-23 17:10:21 UTC (rev 110068)
@@ -1,2 +0,0 @@
-export LCLIMPORTDIR=/usr/share/splint/imports
-export LARCH_PATH=/usr/share/splint/lib
Copied: splint/repos/community-i686/splint.sh (from rev 110067, splint/trunk/splint.sh)
===================================================================
--- community-i686/splint.sh (rev 0)
+++ community-i686/splint.sh 2014-04-23 17:10:21 UTC (rev 110068)
@@ -0,0 +1,2 @@
+export LCLIMPORTDIR=/usr/share/splint/imports
+export LARCH_PATH=/usr/share/splint/lib
Deleted: community-x86_64/PKGBUILD
===================================================================
--- community-x86_64/PKGBUILD 2014-04-23 17:10:09 UTC (rev 110067)
+++ community-x86_64/PKGBUILD 2014-04-23 17:10:21 UTC (rev 110068)
@@ -1,30 +0,0 @@
-# $Id$
-# Maintainer: Sergej Pupykin <pupykin.s+arch at gmail.com>
-# Contributor: William Rea <sillywilly at gmail.com>
-
-pkgname=splint
-pkgver=3.1.2
-pkgrel=3
-pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
-arch=('i686' 'x86_64')
-url="http://www.splint.org/"
-license=('GPL')
-depends=('glibc')
-source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz"
- 'splint.sh')
-md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd'
- '0efb6341b384dc44590989fe3678c96c')
-options=('!makeflags')
-
-build() {
- cd "${srcdir}"/$pkgname-$pkgver
- ./configure --prefix=/usr --mandir=/usr/share/man
- make
-}
-
-package() {
- cd "${srcdir}"/$pkgname-$pkgver
- make DESTDIR="${pkgdir}" install
-
- install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh
-}
Copied: splint/repos/community-x86_64/PKGBUILD (from rev 110067, splint/trunk/PKGBUILD)
===================================================================
--- community-x86_64/PKGBUILD (rev 0)
+++ community-x86_64/PKGBUILD 2014-04-23 17:10:21 UTC (rev 110068)
@@ -0,0 +1,30 @@
+# $Id$
+# Maintainer: Sergej Pupykin <pupykin.s+arch at gmail.com>
+# Contributor: William Rea <sillywilly at gmail.com>
+
+pkgname=splint
+pkgver=3.1.2
+pkgrel=4
+pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
+arch=('i686' 'x86_64')
+url="http://www.splint.org/"
+license=('GPL')
+depends=('flex')
+source=("http://www.splint.org/downloads/${pkgname}-${pkgver}.src.tgz"
+ 'splint.sh')
+md5sums=('25f47d70bd9c8bdddf6b03de5949c4fd'
+ '0efb6341b384dc44590989fe3678c96c')
+options=('!makeflags')
+
+build() {
+ cd "${srcdir}"/$pkgname-$pkgver
+ ./configure --prefix=/usr --mandir=/usr/share/man
+ make LDFLAGS="$LDFLAGS -lfl"
+}
+
+package() {
+ cd "${srcdir}"/$pkgname-$pkgver
+ make DESTDIR="${pkgdir}" install
+
+ install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh
+}
Deleted: community-x86_64/splint.sh
===================================================================
--- community-x86_64/splint.sh 2014-04-23 17:10:09 UTC (rev 110067)
+++ community-x86_64/splint.sh 2014-04-23 17:10:21 UTC (rev 110068)
@@ -1,2 +0,0 @@
-export LCLIMPORTDIR=/usr/share/splint/imports
-export LARCH_PATH=/usr/share/splint/lib
Copied: splint/repos/community-x86_64/splint.sh (from rev 110067, splint/trunk/splint.sh)
===================================================================
--- community-x86_64/splint.sh (rev 0)
+++ community-x86_64/splint.sh 2014-04-23 17:10:21 UTC (rev 110068)
@@ -0,0 +1,2 @@
+export LCLIMPORTDIR=/usr/share/splint/imports
+export LARCH_PATH=/usr/share/splint/lib
More information about the arch-commits
mailing list