[arch-commits] Commit in splint/repos/community-x86_64 (4 files)

[Sergej Pupykin]

    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+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
-}

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+arch at gmail.com>
+# Contributor: William Rea <sillywilly at 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