diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-22 11:57:40 +0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-22 11:57:40 +0200 |
| commit | ce6b86cc682f0150234a74a644b625e6b6973d83 (patch) | |
| tree | 6761b51c91c0f5124f7a76d23f1cd5a1dcb37b49 /pkgs/applications | |
| parent | 7cdb1bb8aa7a0f559958f56fb53e65608d751117 (diff) | |
| download | nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.tar nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.tar.gz nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.tar.bz2 nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.tar.lz nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.tar.xz nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.tar.zst nixlib-ce6b86cc682f0150234a74a644b625e6b6973d83.zip | |
Fix various evaluation problems
http://hydra.nixos.org/build/13616685
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/editors/idea/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/ike/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/verifast/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 2 |
4 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/applications/editors/idea/default.nix b/pkgs/applications/editors/idea/default.nix index e5cfbcdfe178..7cb99ae80ccc 100644 --- a/pkgs/applications/editors/idea/default.nix +++ b/pkgs/applications/editors/idea/default.nix @@ -2,6 +2,8 @@ , coreutils, gnugrep, which, git }: +assert stdenv.isLinux; + let buildIdea = diff --git a/pkgs/applications/ike/default.nix b/pkgs/applications/ike/default.nix index 1414310ebf33..48f277ad4c98 100644 --- a/pkgs/applications/ike/default.nix +++ b/pkgs/applications/ike/default.nix @@ -1,6 +1,8 @@ { stdenv, fetchurl, cmake, openssl, libedit, flex, bison, qt4, makeWrapper , gcc, nettools, iproute, linuxHeaders }: +assert stdenv.isLinux; + # NOTE: use $out/etc/iked.conf as sample configuration and also set: dhcp_file "/etc/iked.dhcp"; # launch with "iked -f /etc/iked.conf" diff --git a/pkgs/applications/science/logic/verifast/default.nix b/pkgs/applications/science/logic/verifast/default.nix index 7ab08cf8799f..2685f5e53d06 100644 --- a/pkgs/applications/science/logic/verifast/default.nix +++ b/pkgs/applications/science/logic/verifast/default.nix @@ -1,6 +1,8 @@ { stdenv, fetchurl, gtk, gdk_pixbuf, atk, pango, glib, cairo, freetype , fontconfig, libxml2, gnome2 }: +assert stdenv.isLinux; + let libPath = stdenv.lib.makeLibraryPath [ stdenv.gcc.libc stdenv.gcc.gcc gtk gdk_pixbuf atk pango glib cairo diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 5a1a4ef19922..b6b34d96d154 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -1,5 +1,7 @@ { stdenv, fetchurl }: +assert stdenv.isLinux; + let libPath = stdenv.lib.makeLibraryPath [ stdenv.gcc.libc ]; in |