# Description: Linux user-space application to modify the EFI Boot Manager # URL: https://github.com/rhboot/efibootmgr # Maintainer: KRAK3N Team, extra ports at krak3n dot my # Depends on: efivar name=efibootmgr version=18 release=1 source=(https://github.com/rhboot/${name}/archive/${version}/${name}-${version}.tar.gz) build() { cd ${name}-${version} export CFLAGS="${CFLAGS} -Wno-error=pointer-sign" sed -e '/extern int efi_set_verbose/d' -i src/efibootmgr.c EFIDIR=/boot/efi make install -D src/efibootmgr $PKG/usr/sbin/efibootmgr install -D src/efibootmgr.8 $PKG/usr/share/man/man8/efibootmgr.8 }