diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-03-21 15:13:28 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-03-21 20:17:20 +0100 |
| commit | f142c0775a3ee2d9bf629c8f8a4513d4b8b051a1 (patch) | |
| tree | f0854422096b245ca7ae970f22731940b9b4ade1 /gnu | |
| parent | 9dec91229b428a8b6c81354fa7cc68df17dcb724 (diff) | |
| download | patches-f142c0775a3ee2d9bf629c8f8a4513d4b8b051a1.tar patches-f142c0775a3ee2d9bf629c8f8a4513d4b8b051a1.tar.gz | |
gnu: GRUB: Build with the latest version of Flex.
* gnu/packages/bootloaders.scm (grub)[native-inputs]: Change from FLEX-2.6.1
to FLEX.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/bootloaders.scm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 770647935a..b8d68b3c89 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -173,10 +173,7 @@ `(("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) |