From afdd6c8f76d9f11d7acb4d7d00d48d805f0ba0c6 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <address@hidden>
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