# Compiling Time: 0.01 SBU # Maintainer: James Buren pkgname=gnu-efi pkgver=3.0.13 pkgrel=1 pkgdesc="EFI Development Environment for x86_64." depends=() makedepends=('pciutils>=3.5.6-2') groups=('devel-extra') archs=('x86_64') _F_sourceforge_ext=".tar.bz2" Finclude sourceforge sha1sums=('9e5efe71c92af0b8e5f72760c9ccd55f5211f1e8') options=('nostrip') build() { unset MAKEFLAGS unset CFLAGS unset CXXFLAGS unset LDFLAGS local efidir="x86_64" Fcd Fexec make LINUX_HEADERS=/usr lib gnuefi inc apps || Fdie ## install it Fexec make INSTALLROOT=${Fdestdir} PREFIX=/usr LIBDIR=/usr/lib install || Fdie ## folder for *.efi files not installed by make install ? huh? Fmkdir usr/share/gnu-efi/apps/${efidir} ## pls don't use F<...> here .. -- crazy -- mv -v ${efidir}/apps/*.efi $Fdestdir/usr/share/gnu-efi/apps/${efidir}/ || Fdie } # optimization OK