42 lines
1.1 KiB
Bash
42 lines
1.1 KiB
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
|
|
patch_args=-Np0
|
|
|
|
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
|
|
|
|
case "$XBPS_TARGET_MACHINE" in
|
|
ppc*-musl) broken="requires non-standard __ppc_get_timebase_freq";;
|
|
esac
|
|
|
|
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
|
|
}
|
|
}
|