diff options
Diffstat (limited to 'repo/system/grub.xibuild')
-rw-r--r-- | repo/system/grub.xibuild | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/repo/system/grub.xibuild b/repo/system/grub.xibuild index ff2b85e..3e8c1c2 100644 --- a/repo/system/grub.xibuild +++ b/repo/system/grub.xibuild @@ -1,13 +1,21 @@ #!/bin/bash -DEPS=(sh xz gettext device-mapper) +DEPS=(sh xz gettext device-mapper efibootmgr) PKG_VER=2.06 SOURCE=https://ftp.gnu.org/gnu/grub/grub-$PKG_VER.tar.xz DESC="GNU GRand Unified Bootloader v2" +prepare () { + curl -SsL https://unifoundry.com/pub/unifont/unifont-13.0.06/font-builds/unifont-13.0.06.pcf.gz > unifont-13.0.06.pcf.gz + gunzip -c unifont-13.0.06.pcf.gz > /usr/share/fonts/unifont/unifont.pcf + + unset {C,CPP,CXX,LD}FLAGS +} + build () { - ./configure --prefix=/usr --sysconfdir=/etc --disable-werror + ./configure --prefix=/usr --sysconfdir=/etc --disable-werror \ + --disable-efiemu --enable-grub-mkfont --with-platform=efi make } |