From 6d7cbba899a50819cfa244718959ebd321a18299 Mon Sep 17 00:00:00 2001
From: Matthew Bauer <mjbauer95@gmail.com>
Date: Thu, 30 May 2019 22:34:47 -0400
Subject: [PATCH] gmp{4,5}: mark broken on x86_64-darwin

---
 pkgs/development/libraries/gmp/4.3.2.nix | 1 +
 pkgs/development/libraries/gmp/5.1.x.nix | 1 +
 2 files changed, 2 insertions(+)

diff --git a/pkgs/development/libraries/gmp/4.3.2.nix b/pkgs/development/libraries/gmp/4.3.2.nix
index 939f769b4570..a6035a2b7afd 100644
--- a/pkgs/development/libraries/gmp/4.3.2.nix
+++ b/pkgs/development/libraries/gmp/4.3.2.nix
@@ -69,6 +69,7 @@ let self = stdenv.mkDerivation rec {
 
     maintainers = [ ];
     platforms = stdenv.lib.platforms.all;
+    badPlatforms = [ "x86_64-darwin" ];
   };
 };
   in self
diff --git a/pkgs/development/libraries/gmp/5.1.x.nix b/pkgs/development/libraries/gmp/5.1.x.nix
index 00bfb55520dc..43b8434b4961 100644
--- a/pkgs/development/libraries/gmp/5.1.x.nix
+++ b/pkgs/development/libraries/gmp/5.1.x.nix
@@ -71,6 +71,7 @@ let self = stdenv.mkDerivation rec {
       '';
 
     platforms = platforms.all;
+    badPlatforms = [ "x86_64-darwin" ];
     maintainers = [ maintainers.peti ];
   };
 };