123456789101112131415161718 |
- # Description: dynamic menu from suckless
- # URL: https://tools.suckless.org/dmenu
- # Maintainer: Daniel Azevedo, daniazevedo77 at posteo dot net
- # Depends on:
- name=dmenu
- version=5.3
- release=1
- source=(https://dl.suckless.org/tools/$name-$version.tar.gz https://tools.suckless.org/dmenu/patches/numbers/$name-numbers-20220512-28fb3e2.diff)
- build() {
- cd $name-$version
- patch -i $SRC/$name-numbers-20220512-28fb3e2.diff
- sed -i 's|PREFIX = /usr/local|PREFIX = /usr|' config.mk
- make
- make DESTDIR=$PKG install
- }
|