# Description: GNU EFI library
# URL:         https://sourceforge.net/projects/gnu-efi/
# Maintainer:  Thomas Penteker, tek at serverop dot de

name=gnu-efi
version=3.0.5
release=2
source=(http://download.sourceforge.net/$name/$name-$version.tar.bz2
	efipxebc.h.patch)

build() {
  cd $name-$version
  patch -p1 -i $SRC/efipxebc.h.patch
  sed -i "s|/usr/local|$PKG/usr|g" Make.defaults
  make
  make install
}