diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2014-08-14 18:02:35 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2014-08-14 18:02:35 +0200 |
commit | 0ad11df7cd4364766eb3f37483ab7fd1bc1825bd (patch) | |
tree | 2b5e4c38e13a817bc40acc3ea985f367f1012e60 /pkgs | |
parent | a4e1c7df08c8624bbdede78df19db63faa6f56e3 (diff) | |
download | nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.tar nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.tar.gz nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.tar.bz2 nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.tar.lz nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.tar.xz nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.tar.zst nixlib-0ad11df7cd4364766eb3f37483ab7fd1bc1825bd.zip |
splint: fix build by using older flex
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 2a08b96dfa46..e5fed46ca37f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -4141,7 +4141,9 @@ let spin = callPackage ../development/tools/analysis/spin { }; - splint = callPackage ../development/tools/analysis/splint { }; + splint = callPackage ../development/tools/analysis/splint { + flex = flex_2_5_35; + }; stm32flash = callPackage ../development/tools/misc/stm32flash { }; |