gnu-efi/Pkgfile



    1 # Description: GNU EFI library
    2 # URL:         https://sourceforge.net/projects/gnu-efi/
    3 # Maintainer:  Thomas Penteker, tek at serverop dot de
    4 
    5 name=gnu-efi
    6 version=3.0.5
    7 release=2
    8 source=(http://download.sourceforge.net/$name/$name-$version.tar.bz2
    9 	efipxebc.h.patch)
   10 
   11 build() {
   12   cd $name-$version
   13   patch -p1 -i $SRC/efipxebc.h.patch
   14   sed -i "s|/usr/local|$PKG/usr|g" Make.defaults
   15   make
   16   make install
   17 }