gnu: GRUB: Build with the latest version of Flex.

* gnu/packages/bootloaders.scm (grub)[native-inputs]: Change from FLEX-2.6.1
to FLEX.
This commit is contained in:
Marius Bakke 2020-03-21 15:13:28 +01:00
parent 9dec91229b
commit f142c0775a
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA

View file

@ -173,10 +173,7 @@ (define-public grub
`(("pkg-config" ,pkg-config)
("unifont" ,unifont)
("bison" ,bison)
;; Due to a bug in flex >= 2.6.2, GRUB must be built with an older flex:
;; <http://lists.gnu.org/archive/html/grub-devel/2017-02/msg00133.html>
;; TODO Try building with flex > 2.6.4.
("flex" ,flex-2.6.1)
("flex" ,flex)
("texinfo" ,texinfo)
("help2man" ,help2man)