From afdd6c8f76d9f11d7acb4d7d00d48d805f0ba0c6 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <manolis...@gmail.com>
Date: Tue, 12 May 2015 20:59:32 +0300
Subject: [PATCH 07/10] gnu: hurd: Add flex as an input to mig.
* gnu/packages/hurd (mig): Add flex as an input.
---
gnu/packages/hurd.scm | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm
index 1502761..d6b58ed 100644
--- a/gnu/packages/hurd.scm
+++ b/gnu/packages/hurd.scm
@@ -78,7 +78,9 @@
(base32
"13r1pg8icyc0pl082z7k36i440pr1f3nr7ahig3rrc0r7qndqmk9"))))
(build-system gnu-build-system)
- (inputs `(("gnumach-headers" ,gnumach-headers)))
+ ;; Flex is needed both at build and run time.
+ (inputs `(("gnumach-headers" ,gnumach-headers)
+ ("flex" ,flex)))
(native-inputs
`(("flex" ,flex)
("bison" ,bison)))
--
2.4.1
