diff options
author | Bob van der Linden <bobvanderlinden@gmail.com> | 2015-03-12 19:15:48 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2015-03-12 23:05:54 +0100 |
commit | decf15fd57c8f26079cdfc7572f1097decfc296f (patch) | |
tree | 1d4b78a388e2c02ef71c53587b6f6e8d17505557 /pkgs | |
parent | 208d1f24db9966c18e1a3aca3b99ec4eae362607 (diff) | |
download | nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.tar nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.tar.gz nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.tar.bz2 nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.tar.lz nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.tar.xz nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.tar.zst nixpkgs-decf15fd57c8f26079cdfc7572f1097decfc296f.zip |
grub: make sure grub builds again (close #6774)
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/tools/misc/grub/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/tools/misc/grub/default.nix b/pkgs/tools/misc/grub/default.nix index b1e5e4dbd1c..00b0c31201a 100644 --- a/pkgs/tools/misc/grub/default.nix +++ b/pkgs/tools/misc/grub/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, autoconf, automake, buggyBiosCDSupport ? true}: +{stdenv, fetchurl, autoconf, automake, texinfo, buggyBiosCDSupport ? true}: stdenv.mkDerivation { name = "grub-0.97-patch-1.12"; @@ -34,7 +34,7 @@ stdenv.mkDerivation { ] ++ (stdenv.lib.optional buggyBiosCDSupport ./buggybios.patch); # Autoconf/automake required for the splashimage patch. - buildInputs = [autoconf automake]; + buildInputs = [autoconf automake texinfo]; prePatch = '' unpackFile $gentooPatches @@ -47,6 +47,7 @@ stdenv.mkDerivation { preConfigure = '' autoreconf + automake --add-missing ''; passthru.grubTarget = ""; |