spass: make gcc dependency explicit

This commit is contained in:
Maximilian Bode 2018-03-16 12:45:29 +01:00
parent 7f4b879f12
commit 9dc0f229ad

View File

@ -19801,7 +19801,9 @@ with pkgs;
saw-tools = callPackage ../applications/science/logic/saw-tools {};
spass = callPackage ../applications/science/logic/spass {};
spass = callPackage ../applications/science/logic/spass {
stdenv = gccStdenv;
};
statverif = callPackage ../applications/science/logic/statverif { };