Date: Sunday, February 7, 2021 @ 22:23:23 Author: felixonmars Revision: 848413
addpkg: pps-tools 1.0.2-1 Added: pps-tools/ pps-tools/repos/ pps-tools/trunk/ pps-tools/trunk/PKGBUILD ----------+ PKGBUILD | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) Added: pps-tools/trunk/PKGBUILD =================================================================== --- pps-tools/trunk/PKGBUILD (rev 0) +++ pps-tools/trunk/PKGBUILD 2021-02-07 22:23:23 UTC (rev 848413) @@ -0,0 +1,24 @@ +# Maintainer: Felix Yan <[email protected]> +# Contributor: Mike Swanson <[email protected]> + +pkgname=pps-tools +pkgdesc="LinuxPPS user-space tools" +pkgver=1.0.2 +pkgrel=1 +arch=('x86_64') +url="http://linuxpps.org/"; +license=('GPL2') +depends=('bash') +source=("https://github.com/ago/pps-tools/archive/v$pkgver/$pkgname-$pkgver.tar.gz";) +b2sums=('bc60a9ea94bb57bcc2b7870da433ef04fbbc30e5c4d880b719a8e7fcabba0bef2996c086e6993b879f2515cd0c685659bfed5371904401e35120ae1e9dc0891a') + +build() { + cd $pkgname-$pkgver + LDLIBS=-lm make +} + +package() { + cd $pkgname-$pkgver + install -dm755 "$pkgdir/usr/bin" "$pkgdir/usr/include/sys" + LDLIBS=-lm make DESTDIR="$pkgdir/" install +}
