Merge remote-tracking branch 'upstream/master' into hardened-stdenv

6 files changed, 10 insertions, 4 deletions

diff --git a/pkgs/development/tools/analysis/checkstyle/default.nix b/pkgs/development/tools/analysis/checkstyle/default.nix
index fc1e8e5d54ec..b481c1e80e5d 100644
--- a/pkgs/development/tools/analysis/checkstyle/default.nix
+++ b/pkgs/development/tools/analysis/checkstyle/default.nix
@@ -24,5 +24,6 @@ stdenv.mkDerivation rec {
     homepage = http://checkstyle.sourceforge.net/;
     license = licenses.lgpl21;
     maintainers = with maintainers; [ pSub ];
+    platforms = with platforms; linux;
   };
 }
diff --git a/pkgs/development/tools/analysis/emma/default.nix b/pkgs/development/tools/analysis/emma/default.nix
index 8275beff88d0..c4e37e5c700a 100644
--- a/pkgs/development/tools/analysis/emma/default.nix
+++ b/pkgs/development/tools/analysis/emma/default.nix
@@ -18,5 +18,6 @@ stdenv.mkDerivation {
   meta = {
     homepage = http://emma.sourceforge.net/;
     description = "A code coverage tool for Java";
+    platforms = stdenv.lib.platforms.unix;
   };
 }
diff --git a/pkgs/development/tools/analysis/findbugs/default.nix b/pkgs/development/tools/analysis/findbugs/default.nix
index aab47dadc905..a5a3d2439186 100644
--- a/pkgs/development/tools/analysis/findbugs/default.nix
+++ b/pkgs/development/tools/analysis/findbugs/default.nix
@@ -38,5 +38,6 @@ stdenv.mkDerivation rec {
     description = "A static analysis tool to find bugs in Java programs automatically";
     homepage = http://findbugs.sourceforge.net/;
     maintainers = with maintainers; [ pSub ];
+    platforms = with platforms; unix;
   };
 }
diff --git a/pkgs/development/tools/analysis/kcov/default.nix b/pkgs/development/tools/analysis/kcov/default.nix
index ffb2896da359..cf5b974b50f9 100644
--- a/pkgs/development/tools/analysis/kcov/default.nix
+++ b/pkgs/development/tools/analysis/kcov/default.nix
@@ -1,4 +1,5 @@
 {stdenv, fetchurl, cmake, pkgconfig, zlib, curl, elfutils, python, libiberty, binutils}:
+
 stdenv.mkDerivation rec {
   name = "kcov-${version}";
   version = "29";
@@ -10,7 +11,7 @@ stdenv.mkDerivation rec {
 
   preConfigure = "patchShebangs src/bin-to-c-source.py";
   buildInputs = [ cmake pkgconfig zlib curl elfutils python libiberty binutils ];
-  
+
   meta = with stdenv.lib; {
     description = "Code coverage tester for compiled programs, Python scripts and shell scripts";
 
@@ -26,6 +27,6 @@ stdenv.mkDerivation rec {
     license = licenses.gpl2;
 
     maintainers = [ maintainers.gal_bolle ];
-    };
-    
-  }
+    platforms = platforms.linux;
+  };
+}
diff --git a/pkgs/development/tools/analysis/pmd/default.nix b/pkgs/development/tools/analysis/pmd/default.nix
index 7098771cc6e3..e5bed62d324f 100644
--- a/pkgs/development/tools/analysis/pmd/default.nix
+++ b/pkgs/development/tools/analysis/pmd/default.nix
@@ -19,6 +19,7 @@ stdenv.mkDerivation rec {
   meta = {
     description = "Scans Java source code and looks for potential problems";
     homepage = http://pmd.sourceforge.net/;
+    platforms = stdenv.lib.platforms.unix;
   };
 }
 
diff --git a/pkgs/development/tools/analysis/smatch/default.nix b/pkgs/development/tools/analysis/smatch/default.nix
index 1730eb6a6831..e2cb2c85b625 100644
--- a/pkgs/development/tools/analysis/smatch/default.nix
+++ b/pkgs/development/tools/analysis/smatch/default.nix
@@ -29,5 +29,6 @@ stdenv.mkDerivation {
     description = "A semantic analysis tool for C";
     homepage = "http://smatch.sourceforge.net/";
     license = stdenv.lib.licenses.free; /* OSL, see http://www.opensource.org */
+    platforms = stdenv.lib.platforms.linux;
   };
 }