diff options
| author | Luca Bruno <lucabru@src.gnome.org> | 2014-08-09 12:28:16 +0200 |
|---|---|---|
| committer | Luca Bruno <lucabru@src.gnome.org> | 2014-08-09 12:31:33 +0200 |
| commit | b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c (patch) | |
| tree | 06d650bed07c96c115a630ebe517a257dc6e1bc2 /pkgs/development/libraries/cloog-ppl | |
| parent | 9300470b5ec507806a30e3de8edd3a695ac585fa (diff) | |
| download | nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.tar nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.tar.gz nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.tar.bz2 nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.tar.lz nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.tar.xz nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.tar.zst nixpkgs-b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c.zip | |
Make platforms.allBut accept a list rather than a single platform
Diffstat (limited to 'pkgs/development/libraries/cloog-ppl')
| -rw-r--r-- | pkgs/development/libraries/cloog-ppl/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/cloog-ppl/default.nix b/pkgs/development/libraries/cloog-ppl/default.nix index d84baedf96e..6f938680d7e 100644 --- a/pkgs/development/libraries/cloog-ppl/default.nix +++ b/pkgs/development/libraries/cloog-ppl/default.nix @@ -74,6 +74,6 @@ stdenv.mkDerivation rec { make[3]: *** [Box.lo] Error 1 */ - platforms = stdenv.lib.platforms.allBut "i686-cygwin"; + platforms = with stdenv.lib.platforms; allBut cygwin; }; } |