void-packages/srcpkgs/papi/template
2019-10-12 18:05:43 +02:00

36 lines
999 B
Bash

# Template file for 'papi'
pkgname=papi
version=5.7.0
revision=1
wrksrc="papi-${version}"
build_wrksrc="src"
build_style=gnu-configure
short_desc="Provides interface for use of performance counter hardware"
maintainer="johannes <johannes.brechtmann@gmail.com>"
license="BSD-3-Clause"
homepage="http://icl.cs.utk.edu/papi/"
distfiles="http://icl.utk.edu/projects/papi/downloads/papi-${version}.tar.gz"
checksum=d1a3bb848e292c805bc9f29e09c27870e2ff4cda6c2fba3b7da8b4bba6547589
if [ -n "$CROSS_BUILD" ]; then
_ARCH="${XBPS_TARGET_MACHINE%-musl}"
configure_args+=" --with-ffsll --with-tls
--with-walltimer=clock_realtime --with-virtualtimer=cloc_thread_cputime_id
--with-CPU=${_ARCH} --with-arch=${_ARCH}"
fi
post_install() {
vlicense ../LICENSE.txt
}
papi-devel_package() {
short_desc+=" - development files"
depends="${sourcepkg}>=${version}_${revision}"
pkg_install() {
vmove usr/include
vmove usr/lib/*.a
vmove usr/lib/*.so
vmove usr/lib/pkgconfig
vmove usr/share/man/man3
}
}