grub: move to extra

6 files changed, 0 insertions, 118 deletions

diff --git a/core/grub/build b/core/grub/build
deleted file mode 100755
index 10513bf0..00000000
--- a/core/grub/build
+++ /dev/null
@@ -1,55 +0,0 @@
-#!/bin/sh -e
-
-# Grub expects Python but it isn't actually needed. Give
-# it something fake so that configure passes.
-export PYTHON=/bin/true
-
-# Disable the post-python mv calls as a means of disabling
-# the Python tooling. The /bin/true above will create a
-# blank file, this prevents the blank file from overwriting
-# the existing one.
-sed 's/mv $@.new $@/:/g' grub/Makefile.in > _
-cat _ > grub/Makefile.in; rm -f _
-
-# Strip '-march' from 'CFLAGS' as per advice from upstream.
-# Fixes build fails on specific hardware.
-CFLAGS=$(printf %s "$CFLAGS" | sed 's/-march=[^ ]*//g')
-
-# Grub is built in a function so the script argument
-# needs to be stored.
-pkg_dir=$1
-
-build_grub() (
-    cp -a grub "grub-${1##*=}"
-    cd "grub-${1##*=}"
-
-    ./configure \
-        --prefix=/usr \
-        --sbindir=/usr/bin \
-        --sysconfdir=/etc \
-        --disable-werror \
-        --disable-nls \
-        --disable-grub-mkfont \
-        --disable-grub-mount \
-        "$@"
-
-    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.
-(
-    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
-)
diff --git a/core/grub/checksums b/core/grub/checksums
deleted file mode 100644
index 43950510..00000000
--- a/core/grub/checksums
+++ /dev/null
@@ -1,2 +0,0 @@
-e5292496995ad42dabe843a0192cf2a2c502e7ffcc7479398232b10a472df77d  grub-2.04.tar.xz
-5d05ace6f6dda3e32908b018a7b5c38ab195792449805cb41563899924d8cf45  grub.default
diff --git a/core/grub/depends b/core/grub/depends
deleted file mode 100644
index b37ce94a..00000000
--- a/core/grub/depends
+++ /dev/null
@@ -1,5 +0,0 @@
-binutils      make
-bison         make
-flex          make
-linux-headers make
-xz
diff --git a/core/grub/files/grub.default b/core/grub/files/grub.default
deleted file mode 100644
index a8c6ab34..00000000
--- a/core/grub/files/grub.default
+++ /dev/null
@@ -1,53 +0,0 @@
-# GRUB boot loader configuration
-
-GRUB_DEFAULT=0
-GRUB_TIMEOUT=5
-GRUB_DISTRIBUTOR="Carbs"
-GRUB_CMDLINE_LINUX_DEFAULT="loglevel=3 quiet"
-
-# Preload both GPT and MBR modules so that they are not missed
-GRUB_PRELOAD_MODULES="part_gpt part_msdos"
-
-# Uncomment to enable booting from LUKS encrypted devices
-#GRUB_ENABLE_CRYPTODISK=y
-
-# Set to 'countdown' or 'hidden' to change timeout behavior,
-# press ESC key to display menu.
-#GRUB_TIMEOUT_STYLE=menu
-
-# Uncomment to use basic console
-#GRUB_TERMINAL_INPUT=console
-
-# Uncomment to disable graphical terminal
-#GRUB_TERMINAL_OUTPUT=console
-
-# The resolution used on graphical terminal
-# note that you can use only modes which your graphic card supports via VBE
-# you can see them in real GRUB with the command `vbeinfo'
-#GRUB_GFXMODE=auto
-
-# Uncomment to allow the kernel use the same resolution used by grub
-#GRUB_GFXPAYLOAD_LINUX=keep
-
-# Uncomment if you want GRUB to pass to the Linux kernel the old parameter
-# format "root=/dev/xxx" instead of "root=/dev/disk/by-uuid/xxx"
-#GRUB_DISABLE_LINUX_UUID=true
-
-# Uncomment to disable generation of recovery mode menu entries
-#GRUB_DISABLE_RECOVERY=true
-
-# Uncomment and set to the desired menu colors.  Used by normal and wallpaper
-# modes only.  Entries specified as foreground/background.
-#GRUB_COLOR_NORMAL="light-blue/black"
-#GRUB_COLOR_HIGHLIGHT="light-cyan/blue"
-
-# Uncomment one of them for the gfx desired, a image background or a gfxtheme
-#GRUB_BACKGROUND="/path/to/wallpaper"
-#GRUB_THEME="/path/to/gfxtheme"
-
-# Uncomment to get a beep at GRUB start
-#GRUB_INIT_TUNE="480 440 1"
-
-# Uncomment to make GRUB remember the last selection. This requires to
-# set 'GRUB_DEFAULT=saved' above.
-#GRUB_SAVEDEFAULT="true"
diff --git a/core/grub/sources b/core/grub/sources
deleted file mode 100644
index 3c08ed68..00000000
--- a/core/grub/sources
+++ /dev/null
@@ -1,2 +0,0 @@
-https://ftp.gnu.org/gnu/grub/grub-2.04.tar.xz grub/
-files/grub.default
diff --git a/core/grub/version b/core/grub/version
deleted file mode 100644
index 621313cd..00000000
--- a/core/grub/version
+++ /dev/null
@@ -1 +0,0 @@
-2.04 4