diff options
author | Cody P Schafer | 2019-12-04 00:55:13 -0500 |
---|---|---|
committer | Cody P Schafer | 2019-12-04 00:55:13 -0500 |
commit | e801137554957efc1c301c7add0a7e4d6ee08e43 (patch) | |
tree | bab652fb06a54be366a6dd3d6e6cff90a04cf745 /PKGBUILD | |
parent | b4ddcd3be38a6725659be4b8148999a53b18c9a2 (diff) | |
download | aur-e801137554957efc1c301c7add0a7e4d6ee08e43.tar.gz |
disable stripping
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -4,13 +4,15 @@ pkgname=rr pkgver=5.2.0 -pkgrel=4 +pkgrel=5 pkgdesc='Record and Replay framework: lightweight recording and deterministic debugging' arch=(i686 x86_64) url='http://rr-project.org/' license=('custom') depends=('gdb' 'capnproto') makedepends=('git' 'cmake' 'gdb' 'ninja') +options=(!strip) + source=( $pkgname-$pkgver.tar.gz::https://github.com/mozilla/${pkgname}/archive/${pkgver}.tar.gz https://github.com/mozilla/rr/commit/53c5bd72bae089616a3ca626b8af240481d70e6f.patch @@ -46,6 +48,9 @@ build() { package() { cd $pkgname-$pkgver/build DESTDIR="${pkgdir}" cmake --build . -- -v install + if check_option 'debug' n; then + find "${pkgdir}/usr/bin" -type f -executable -exec strip $STRIP_BINARIES {} + || : + fi cd .. install -D LICENSE "${pkgdir}/usr/share/licenses/rr/LICENSE" } |