1 files changed, 0 insertions, 46 deletions
diff --git a/repos/extra/grub/abuild b/repos/extra/grub/abuild
deleted file mode 100644
index 1aa7e80a..00000000
--- a/repos/extra/grub/abuild
+++ /dev/null
@@ -1,46 +0,0 @@
-name=grub
-version=2.14
-_fontver=16.0.02
-release=1
-source="https://ftpmirror.gnu.org/gnu/$name/$name-$version.tar.xz
-	https://ftpmirror.gnu.org/gnu/unifont/unifont-$_fontver/unifont-$_fontver.pcf.gz
-	no-asorti.patch
-	grub.default"
-skip_patch=1
-build_dir=$SRC
-unset CFLAGS
-unset CXXFLAGS
-
-build() {
-	cd ..
-	mv grub-* grub-pc
-	cp -rp grub-pc grub-efi
-	
-	_build_grub() {
-		cd grub-${1##*=}
-		patch -p1 < $SRC/no-asorti.patch
-		echo depends bli part_gpt > grub-core/extra_deps.lst
-		./configure \
-		--prefix=/usr \
-		--sysconfdir=/etc \
-		--enable-grub-mount \
-		--enable-grub-mkfont \
-		--disable-werror \
-		$@
-		make
-		make install
-		cd -
-	}
-	
-	_build_grub --with-platform=pc --target=i386
-	_build_grub --with-platform=efi --target=x86_64 --disable-efiemu
-	
-	mkdir -p $PKG/usr/share/grub
-	gunzip $SRC/unifont-$_fontver.pcf.gz
-	$PKG/usr/bin/grub-mkfont $SRC/unifont-$_fontver.pcf -o $PKG/usr/share/grub/unicode.pf2
-	
-	mkdir -p $PKG/etc/default
-	cp $SRC/grub.default $PKG/etc/default/grub
-
-	rm -rf $PKG/etc/bash_completion.d
-}