diff options
author | Davide Depau | 2020-05-25 01:06:45 +0200 |
---|---|---|
committer | Davide Depau | 2020-05-25 01:06:45 +0200 |
commit | 478d1e638a60f985d44bdf1a994b6eeccdeb4c91 (patch) | |
tree | cc2b9052f7994d7a0bb1c711bae3ef2e9ea76334 | |
parent | a8896c078e9468de7092ca0ab93d50cf42962e0c (diff) | |
download | aur-478d1e638a60f985d44bdf1a994b6eeccdeb4c91.tar.gz |
Add debug and !strip to options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 5 |
2 files changed, 7 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = xdg-desktop-portal-wlr-git pkgdesc = xdg-desktop-portal backend for wlroots - pkgver = v0.1.0.r0.gb82d3fc + pkgver = v0.1.0.r1.ga105e0e pkgrel = 1 url = https://github.com/emersion/xdg-desktop-portal-wlr arch = x86_64 @@ -16,6 +16,8 @@ pkgbase = xdg-desktop-portal-wlr-git provides = xdg-desktop-portal-wlr provides = xdg-desktop-portal-impl conflicts = xdg-desktop-portal-wlr + options = debug + options = !strip source = xdg-desktop-portal-wlr-git::git+https://github.com/emersion/xdg-desktop-portal-wlr.git sha512sums = SKIP @@ -1,7 +1,7 @@ # Maintainer: Davide Depau <davide@depau.eu> pkgname=xdg-desktop-portal-wlr-git -pkgver=v0.1.0.r0.gb82d3fc +pkgver=v0.1.0.r1.ga105e0e pkgrel=1 pkgdesc='xdg-desktop-portal backend for wlroots' url=https://github.com/emersion/xdg-desktop-portal-wlr @@ -19,6 +19,7 @@ source=( "${pkgname}::git+https://github.com/emersion/xdg-desktop-portal-wlr.git" ) sha512sums=('SKIP') +options=(debug !strip) pkgver () { cd "${pkgname}" @@ -30,6 +31,8 @@ pkgver () { } build () { + msg2 "Note: this package, by default, creates a debug, non-stripped build to aid reporting bugs and development." + msg2 "If you would like a smaller release build, please consider editing the PKGBUILD or using the non-git package." rm -rf build arch-meson "${pkgname}" build ninja -C build |