grub2-efi/Pkgfile



    1 # Description: GNU GRUB2 (EFI version)
    2 # URL: http://www.gnu.org/software/grub/
    3 # Maintainer: Matt Housh, jaeger at crux dot ninja
    4 # Depends on: grub2 efibootmgr
    5 
    6 name=grub2-efi
    7 version=2.06
    8 release=1
    9 source=(http://ftp.gnu.org/gnu/grub/grub-$version.tar.xz)
   10 
   11 build() {
   12     export CFLAGS="${CFLAGS} -Wno-error"
   13     export PYTHON=python3
   14 
   15     MODLIST="boot chain configfile fat ext2 linux normal ntfs part_gpt part_msdos"
   16 
   17     for ARCH in i386 x86_64
   18     do
   19         mkdir $ARCH
   20         cd $ARCH
   21         ../grub-$version/configure --prefix=/usr \
   22             --with-platform=efi --target=$ARCH \
   23             --program-prefix=""
   24         make
   25         make DESTDIR=$PKG install
   26         cd grub-core
   27         ../grub-mkimage -O $ARCH-efi -d . -o grub2-$ARCH.efi -p "" $MODLIST
   28         cp grub2-$ARCH.efi $PKG/usr/lib/grub/
   29         cd ../..
   30     done
   31 
   32     rm -r $PKG/usr/{bin,etc,sbin,share}
   33 }