diff options
Diffstat (limited to 'pkgs/development/tools/parsing/flex/default.fix')
-rw-r--r-- | pkgs/development/tools/parsing/flex/default.fix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/development/tools/parsing/flex/default.fix b/pkgs/development/tools/parsing/flex/default.fix new file mode 100644 index 0000000000000..605c29db2d223 --- /dev/null +++ b/pkgs/development/tools/parsing/flex/default.fix @@ -0,0 +1,13 @@ +{stdenv, fetchurl, yacc}: +assert !isNull yacc; +derivation { + name = "flex-2.5.4a"; + system = stdenv.system; + builder = ./builder.sh; + src = fetchurl { + url = ftp://ftp.nluug.nl/pub/gnu/flex/flex-2.5.4a.tar.gz; + md5 = "bd8753d0b22e1f4ec87a553a73021adf"; + }; + stdenv = stdenv; + yacc = yacc; +} |