diff options
| author | Maarten Hoogendoorn <maarten@moretea.nl> | 2017-09-10 14:11:03 +0200 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-10 15:09:46 +0200 |
| commit | 5e5e57b57bc06119b63e07405a2550894e5bff83 (patch) | |
| tree | 8598cd25c5b93a87cacdd1e980d6187f453488df /pkgs/applications/science/logic/mcrl2/default.nix | |
| parent | b7ac21fe0d639f2305788fbc90949083e060d367 (diff) | |
| download | nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.tar nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.tar.gz nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.tar.bz2 nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.tar.lz nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.tar.xz nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.tar.zst nixpkgs-5e5e57b57bc06119b63e07405a2550894e5bff83.zip | |
mcrl2: force use of gcc5 to prevent compilation errors
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 c9016a5ee0c..ce368a77c2b 100644 --- a/pkgs/applications/science/logic/mcrl2/default.nix +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, xlibs, cmake, subversion, mesa, qt5, boost, +{stdenv, gcc5, fetchurl, xlibs, cmake, subversion, mesa, qt5, boost, python27, python27Packages}: stdenv.mkDerivation rec { @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m"; }; - buildInputs = [ cmake mesa qt5.qtbase boost ]; + buildInputs = [ gcc5 cmake mesa qt5.qtbase boost ]; enableParallelBuilding = true; |