From 27a0d56514b7449ea1715b703bd1a667b4a7e9be Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Fri, 2 May 2014 13:21:50 -0500 Subject: [PATCH] compcert: Fix Hydra platforms Copy-pasta error, and compcert doesn't really make sense on Darwin or 64bit linux (it's callPackage_i686 anyway). Signed-off-by: Austin Seipp --- pkgs/development/compilers/compcert/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index c181e34217a..c4af878ba76 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { description = "Formally verified C compiler"; homepage = "http://compcert.inria.fr"; license = stdenv.lib.licenses.inria; - platforms = stdenv.lib.platforms.unix; + platforms = [ "i686-linux" ]; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; }