mcrl2: force use of gcc5 to prevent compilation errors

This commit is contained in:
Maarten Hoogendoorn 2017-09-10 14:11:03 +02:00 committed by Franz Pletz
parent b7ac21fe0d
commit 5e5e57b57b

View File

@ -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;