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
    5 
    6 name=grub2-efi
    7 version=2.02
    8 release=2
    9 source=(http://ftp.gnu.org/gnu/grub/grub-$version.tar.xz \
   10     grub2-xfs.patch)
   11 
   12 build() {
   13     export CFLAGS="${CFLAGS} -Wno-error"
   14 
   15     patch -d grub-$version -p1 -i $SRC/grub2-xfs.patch
   16 
   17     # fix for glibc 'gets' removal
   18     sed -i -e '/gets is a/d' grub-$version/grub-core/gnulib/stdio.in.h
   19 
   20     MODLIST="boot chain configfile fat ext2 linux normal ntfs part_gpt part_msdos"
   21 
   22     for ARCH in i386 x86_64
   23     do
   24         mkdir $ARCH
   25         cd $ARCH
   26         ../grub-$version/configure --prefix=/usr \
   27             --with-platform=efi --target=$ARCH \
   28             --program-prefix=""
   29         make
   30         make DESTDIR=$PKG install
   31         cd grub-core
   32         ../grub-mkimage -O $ARCH-efi -d . -o grub2-$ARCH.efi -p "" $MODLIST
   33         cp grub2-$ARCH.efi $PKG/usr/lib/grub/
   34         cd ../..
   35     done
   36 
   37     rm -r $PKG/usr/{bin,etc,sbin,share}
   38 }