blob: c13e7efcfbe8e074a8d99bde765320fb386b11f3 (
plain)
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 }
|