diff options
| author | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-10 17:59:45 +0200 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-15 21:51:35 +0200 |
| commit | b19fa00e3edd49442a838e4979b88d4d9e99af00 (patch) | |
| tree | b78b4d223a1a5be32bc5d32e363b94ac940ba8e0 /pkgs/applications/science/logic/mcrl2/default.nix | |
| parent | 76519f9299065671a694adf9214e54cb3efae5cd (diff) | |
| download | nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.tar nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.tar.gz nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.tar.bz2 nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.tar.lz nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.tar.xz nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.tar.zst nixpkgs-b19fa00e3edd49442a838e4979b88d4d9e99af00.zip | |
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
This reverts commit 5e5e57b57bc06119b63e07405a2550894e5bff83. Already fixed with edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.
Diffstat (limited to 'pkgs/applications/science/logic/mcrl2/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/mcrl2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix index ce368a77c2b..c9016a5ee0c 100644 --- a/pkgs/applications/science/logic/mcrl2/default.nix +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -1,4 +1,4 @@ -{stdenv, gcc5, fetchurl, xlibs, cmake, subversion, mesa, qt5, boost, +{stdenv, fetchurl, xlibs, cmake, subversion, mesa, qt5, boost, python27, python27Packages}: stdenv.mkDerivation rec { @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m"; }; - buildInputs = [ gcc5 cmake mesa qt5.qtbase boost ]; + buildInputs = [ cmake mesa qt5.qtbase boost ]; enableParallelBuilding = true; |