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

[Felix Yan]

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

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