# Compiling Time: 0.01 SBU
# Maintainer: James Buren <ryuo@frugalware.org>

pkgname=efilinux
pkgver=1.1
pkgrel=2
pkgdesc="A simple Linux bootloader for UEFI."
url="https://www.kernel.org/pub/linux/utils/boot/efilinux/"
up2date="Flasttar $url"
depends=()
makedepends=('gnu-efi>=3.0u-3')
groups=('base-extra')
archs=('x86_64')
source=("$url/$pkgname-$pkgver.tar.xz" fixes.patch)
sha1sums=('ae6a19496a5d3e2fa8c58b6db9f019d891b77d36' \
          '96b75d0702098d402e2b02e9b494133f8ff60971')

build()
{
	Fcd
	Fpatchall
	Fsed "gnuefi/" "" Makefile
	Fsed "-Werror" "$CFLAGS" Makefile
	Fmake
	Ffilerel /usr/lib/efilinux/efilinux.efi
}

# optimization OK