opt/gnu-efi/Pkgfile

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

name=gnu-efi
version=3.0.5
release=1
source=(http://download.sourceforge.net/${name}/${name}-${version}.tar.bz2)

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