grub: make sure grub builds again (close #6774)

Changed files
+3 -2
pkgs
tools
misc
+3 -2
pkgs/tools/misc/grub/default.nix
···
-
{stdenv, fetchurl, autoconf, automake, buggyBiosCDSupport ? true}:
+
{stdenv, fetchurl, autoconf, automake, texinfo, buggyBiosCDSupport ? true}:
stdenv.mkDerivation {
name = "grub-0.97-patch-1.12";
···
] ++ (stdenv.lib.optional buggyBiosCDSupport ./buggybios.patch);
# Autoconf/automake required for the splashimage patch.
-
buildInputs = [autoconf automake];
+
buildInputs = [autoconf automake texinfo];
prePatch = ''
unpackFile $gentooPatches
···
preConfigure = ''
autoreconf
+
automake --add-missing
'';
passthru.grubTarget = "";