2019-08-11 01:38:27 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
|
|
# Grub is built in a function so the script argument needs to be stored.
|
|
|
|
|
pkg_dir=$1
|
|
|
|
|
|
|
|
|
|
build_grub() (
|
2019-09-07 15:14:04 +00:00
|
|
|
cp -a grub "grub-${1##*=}"
|
2019-08-11 01:38:27 +00:00
|
|
|
cd "grub-${1##*=}"
|
|
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--sbindir=/usr/bin \
|
|
|
|
|
--sysconfdir=/etc \
|
|
|
|
|
--disable-werror \
|
2019-08-18 02:18:05 +00:00
|
|
|
--disable-grub-mkfont \
|
|
|
|
|
--disable-grub-mount \
|
2019-08-11 01:38:27 +00:00
|
|
|
"$@"
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$pkg_dir" install
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
build_grub --with-platform=pc
|
|
|
|
|
build_grub --with-platform=efi --disable-efiemu
|
|
|
|
|
|
|
|
|
|
# Install /etc/default/grub (used by grub-mkconfig).
|
|
|
|
|
install -Dm0644 grub.default "$1/etc/default/grub"
|
|
|
|
|
|
|
|
|
|
# Remove gdb debugging files.
|
|
|
|
|
(
|
2019-09-07 15:14:04 +00:00
|
|
|
cd "$pkg_dir/usr/lib"
|
|
|
|
|
|
|
|
|
|
rm -f grub/*/*.module
|
|
|
|
|
rm -f grub/*/*.image
|
|
|
|
|
rm -f grub/*/kernel.exec
|
|
|
|
|
rm -f grub/*/gdb_grub
|
|
|
|
|
rm -f grub/*/gmodule.pl
|
|
|
|
|
)
|
