Skip to content

Instantly share code, notes, and snippets.

@imrehg imrehg/PKGBUILD
Created Nov 26, 2015

Embed
What would you like to do?
pps-tools package for ArchLinux
# Maintainer: Gergely Imreh <imrehg@gmail.com>
pkgname=pps-tools-git
pkgver=r17.0deb9c7
pkgrel=1
pkgdesc="User-space tools for LinuxPPS and kernel header"
arch=('armv7h')
url="https://github.com/ago/pps-tools"
license=('GPL2')
groups=()
depends=()
makedepends=('git' 'make' 'gcc')
provides=("${pkgname%-git}")
conflicts=("${pkgname%-git}")
replaces=()
backup=()
options=()
install=
source=('git+https://github.com/ago/pps-tools.git')
noextract=()
md5sums=('SKIP')
pkgver() {
cd "$srcdir/${pkgname%-git}"
# Git, no tags available
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cd "$srcdir/${pkgname%-git}"
make
}
package() {
cd "$srcdir/${pkgname%-git}"
install -m755 -D ppsctl "${pkgdir}/usr/bin/ppsctl"
install -m755 -D ppstest "${pkgdir}/usr/bin/ppstest"
install -m755 -D ppswatch "${pkgdir}/usr/bin/ppswatch"
install -m644 -D timepps.h "${pkgdir}/usr/include/sys/timepps.h"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.