summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorManolis Ragkousis <manolis837@gmail.com>2015-05-12 20:59:32 +0300
committerLudovic Courtès <ludo@gnu.org>2015-09-04 13:50:38 +0200
commita7ecc92dc53f7ea3d4cd56405cdaadabf7d1f0d0 (patch)
tree76d2b7356526f44d03c24d1f720d527fdb1f3ea6 /gnu
parent561840b4aa91bf271acc13864f185586a5a01722 (diff)
gnu: hurd: Add flex as an input to mig.
* gnu/packages/hurd (mig): Add flex as an input.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/hurd.scm4
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm
index 62dc04385f..660cd58c60 100644
--- a/gnu/packages/hurd.scm
+++ b/gnu/packages/hurd.scm
@@ -73,7 +73,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)))