JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

flex_2_5_35: replace with flex 2.6.4 in coprthr, gradm, maude, scotch

Browse Source
This commit is contained in:
Orivej Desh 2018-11-13 03:32:19 +00:00
parent 287a1de4cb
commit 2372852957
2 changed files with 9 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/interpreters/maude/default.nix
View File

@ -46,6 +46,11 @@ stdenv.mkDerivation rec {
install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude
''; '';
# bison -dv surface.yy -o surface.c
# mv surface.c surface.cc
# mv: cannot stat 'surface.c': No such file or directory
enableParallelBuilding = false;
meta = { meta = {
homepage = http://maude.cs.illinois.edu/; homepage = http://maude.cs.illinois.edu/;
description = "High-level specification language"; description = "High-level specification language";

17
pkgs/top-level/all-packages.nix
View File

@ -1182,9 +1182,7 @@ with pkgs;
clipster = callPackage ../tools/misc/clipster { }; clipster = callPackage ../tools/misc/clipster { };
coprthr = callPackage ../development/libraries/coprthr { coprthr = callPackage ../development/libraries/coprthr { };
flex = flex_2_5_35;
};
cplex = callPackage ../applications/science/math/cplex { releasePath = config.cplex.releasePath or null; }; cplex = callPackage ../applications/science/math/cplex { releasePath = config.cplex.releasePath or null; };
@ -7721,10 +7719,7 @@ with pkgs;
lush2 = callPackage ../development/interpreters/lush {}; lush2 = callPackage ../development/interpreters/lush {};
maude = callPackage ../development/interpreters/maude { maude = callPackage ../development/interpreters/maude { };
bison = bison2;
flex = flex_2_5_35;
};
mesos = callPackage ../applications/networking/cluster/mesos { mesos = callPackage ../applications/networking/cluster/mesos {
sasl = cyrus_sasl; sasl = cyrus_sasl;
@ -14184,9 +14179,7 @@ with pkgs;
gpu-switch = callPackage ../os-specific/linux/gpu-switch { }; gpu-switch = callPackage ../os-specific/linux/gpu-switch { };
gradm = callPackage ../os-specific/linux/gradm { gradm = callPackage ../os-specific/linux/gradm { };
flex = flex_2_5_35;
};
hd-idle = callPackage ../os-specific/linux/hd-idle { }; hd-idle = callPackage ../os-specific/linux/hd-idle { };
@ -21766,9 +21759,7 @@ with pkgs;
scilab-bin = callPackage ../applications/science/math/scilab-bin {}; scilab-bin = callPackage ../applications/science/math/scilab-bin {};
scotch = callPackage ../applications/science/math/scotch { scotch = callPackage ../applications/science/math/scotch { };
flex = flex_2_5_35;
};
msieve = callPackage ../applications/science/math/msieve { }; msieve = callPackage ../applications/science/math/msieve { };