summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMartin T. H. Sandsmark2018-11-03 13:32:01 +0100
committerMartin T. H. Sandsmark2018-11-03 13:32:01 +0100
commit4d9a8afa56334feb2a447e60dcf3083c1b58deda (patch)
tree290c8571c02500bacd1fac5471f8baaf7addbe29
parent91658434909f9decba4d1cffc5385c839b3409de (diff)
downloadaur-4d9a8afa56334feb2a447e60dcf3083c1b58deda.tar.gz
fix cmake build type depending on makepkg options set
-rw-r--r--PKGBUILD10
1 files changed, 9 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 0d25d55099bb..812ab8e305c7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -26,8 +26,16 @@ prepare() {
build() {
cd build
+ BUILD_TYPE=Release
+ if [[ " ${OPTIONS[@]} " =~ " debug " ]]; then
+ BUILD_TYPE=Debug
+ elif [[ " ${OPTIONS[@]} " =~ " !strip " ]]; then
+ BUILD_TYPE=RelDebug
+ fi
+ echo "${BUILD_TYPE}"
+
cmake ../konsole \
- -DCMAKE_BUILD_TYPE=Release \
+ -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \
-DCMAKE_INSTALL_PREFIX=/usr \
-DKDE_INSTALL_LIBDIR=lib \
-DBUILD_TESTING=OFF