2019-06-11 23:45:45 +02:00
|
|
|
# Description: A fast desktop menu
|
|
|
|
# URL: https://github.com/enkore/j4-dmenu-desktop
|
|
|
|
# Maintainer: Tim Biermann, tbier at posteo dot de
|
2019-08-07 21:05:36 +00:00
|
|
|
# Depends on: cmake
|
2019-06-11 23:45:45 +02:00
|
|
|
|
|
|
|
name=j4-dmenu-desktop
|
2020-10-02 15:29:31 +00:00
|
|
|
version=2.18
|
2019-06-11 23:45:45 +02:00
|
|
|
release=1
|
|
|
|
source=(https://github.com/enkore/j4-dmenu-desktop/archive/r$version/$name-$version.tar.gz)
|
|
|
|
|
|
|
|
build() {
|
2020-11-08 11:20:50 +00:00
|
|
|
[[ -e /usr/bin/ninja ]] && PKGMK_J4DD=' -G Ninja'
|
|
|
|
cmake -S $name-r$version -B build $PKGMK_J4DD \
|
2020-05-24 14:27:32 +00:00
|
|
|
-DCMAKE_INSTALL_PREFIX=/usr \
|
2020-11-08 11:20:50 +00:00
|
|
|
-D CMAKE_BUILD_TYPE=Release \
|
2020-12-06 23:55:13 +00:00
|
|
|
-D CMAKE_CXX_FLAGS_RELEASE="$CXXFLAGS" \
|
|
|
|
-D CMAKE_C_FLAGS_RELEASE="$CFLAGS" \
|
2020-11-08 11:20:50 +00:00
|
|
|
-DWITH_TESTS="no" \
|
|
|
|
-Wno-dev
|
2020-05-24 14:27:32 +00:00
|
|
|
cmake --build build
|
2020-07-08 13:01:36 +00:00
|
|
|
DESTDIR=$PKG cmake --install build
|
2019-06-11 23:45:45 +02:00
|
|
|
}
|