Date: Monday, May 25, 2020 @ 15:50:13 Author: felixonmars Revision: 634603
archrelease: copy trunk to community-x86_64 Added: splint/repos/community-x86_64/PKGBUILD (from rev 634602, splint/trunk/PKGBUILD) splint/repos/community-x86_64/splint.sh (from rev 634602, splint/trunk/splint.sh) Deleted: splint/repos/community-x86_64/PKGBUILD splint/repos/community-x86_64/splint.sh -----------+ PKGBUILD | 69 +++++++++++++++++++++++++++++------------------------------- splint.sh | 4 +-- 2 files changed, 36 insertions(+), 37 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-05-25 15:49:53 UTC (rev 634602) +++ PKGBUILD 2020-05-25 15:50:13 UTC (rev 634603) @@ -1,35 +0,0 @@ -# $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 -} Copied: splint/repos/community-x86_64/PKGBUILD (from rev 634602, splint/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-05-25 15:50:13 UTC (rev 634603) @@ -0,0 +1,34 @@ +# Maintainer: Sergej Pupykin <pupykin.s+a...@gmail.com> +# Contributor: William Rea <sillywi...@gmail.com> + +pkgname=splint +pkgver=3.1.2.git20180129 +pkgrel=2 +_commit=3fb908d0d8a4daa26dc770e1f2aa133f93100503 +pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes" +arch=('x86_64') +url="https://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 2020-05-25 15:49:53 UTC (rev 634602) +++ splint.sh 2020-05-25 15:50:13 UTC (rev 634603) @@ -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 634602, splint/trunk/splint.sh) =================================================================== --- splint.sh (rev 0) +++ splint.sh 2020-05-25 15:50:13 UTC (rev 634603) @@ -0,0 +1,2 @@ +export LCLIMPORTDIR=/usr/share/splint/imports +export LARCH_PATH=/usr/share/splint/lib