Date: Monday, January 29, 2018 @ 16:04:11 Author: spupykin Revision: 287801
archrelease: copy trunk to community-x86_64 Added: splint/repos/community-x86_64/PKGBUILD (from rev 287800, splint/trunk/PKGBUILD) splint/repos/community-x86_64/splint.sh (from rev 287800, splint/trunk/splint.sh) Deleted: splint/repos/community-x86_64/PKGBUILD splint/repos/community-x86_64/splint.sh -----------+ PKGBUILD | 65 ++++++++++++++++++++++++++++++++---------------------------- splint.sh | 4 +-- 2 files changed, 37 insertions(+), 32 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2018-01-29 16:03:41 UTC (rev 287800) +++ PKGBUILD 2018-01-29 16:04:11 UTC (rev 287801) @@ -1,30 +0,0 @@ -# $Id$ -# Maintainer: Sergej Pupykin <pupykin.s+a...@gmail.com> -# Contributor: William Rea <sillywi...@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 -} Copied: splint/repos/community-x86_64/PKGBUILD (from rev 287800, splint/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2018-01-29 16:04:11 UTC (rev 287801) @@ -0,0 +1,35 @@ +# $Id$ +# Maintainer: Sergej Pupykin <pupykin.s+a...@gmail.com> +# Contributor: William Rea <sillywi...@gmail.com> + +pkgname=splint +pkgver=3.1.2.git20180129 +pkgrel=1 +_commit=3fb908d0d8a4daa26dc770e1f2aa133f93100503 +pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes" +arch=('x86_64') +url="http://repo.or.cz/splint-patched.git" +license=('GPL') +depends=('flex') +makedepends=('git') +options=('!makeflags') +source=("git+https://repo.or.cz/splint-patched.git#commit=${_commit}" + 'splint.sh') +sha256sums=('SKIP' + 'ea90b733037ef1ad25a0a5f39cbb33ca747dabd3b2bfd9d087f3981bc6990b61') + +build() { + cd "${srcdir}"/splint-patched + automake --add-missing || true + autoreconf || true + automake --add-missing + autoreconf + ./configure --prefix=/usr --mandir=/usr/share/man + make -j1 +} + +package() { + cd "${srcdir}"/splint-patched + make DESTDIR="${pkgdir}" install + install -D -m755 "${srcdir}"/splint.sh "${pkgdir}"/etc/profile.d/splint.sh +} Deleted: splint.sh =================================================================== --- splint.sh 2018-01-29 16:03:41 UTC (rev 287800) +++ splint.sh 2018-01-29 16:04:11 UTC (rev 287801) @@ -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 287800, splint/trunk/splint.sh) =================================================================== --- splint.sh (rev 0) +++ splint.sh 2018-01-29 16:04:11 UTC (rev 287801) @@ -0,0 +1,2 @@ +export LCLIMPORTDIR=/usr/share/splint/imports +export LARCH_PATH=/usr/share/splint/lib