diff options
| author | Manolis Ragkousis <manolis837@gmail.com> | 2015-05-12 20:59:32 +0300 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-09-04 13:50:38 +0200 |
| commit | a7ecc92dc53f7ea3d4cd56405cdaadabf7d1f0d0 (patch) | |
| tree | 76d2b7356526f44d03c24d1f720d527fdb1f3ea6 /gnu | |
| parent | 561840b4aa91bf271acc13864f185586a5a01722 (diff) | |
| download | patches-a7ecc92dc53f7ea3d4cd56405cdaadabf7d1f0d0.tar patches-a7ecc92dc53f7ea3d4cd56405cdaadabf7d1f0d0.tar.gz | |
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.scm | 4 |
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))) |