From c845fcfbb38d50f84ba92f9f8d189aa31a8cd3e1 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Sat, 15 Aug 2015 21:32:00 +0200
Subject: [PATCH] uhc: broken by recent uhc-util update

https://github.com/UU-ComputerScience/uhc/issues/60
---
 pkgs/development/compilers/uhc/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/compilers/uhc/default.nix b/pkgs/development/compilers/uhc/default.nix
index 1dbfb039f90..017dcfb3e12 100644
--- a/pkgs/development/compilers/uhc/default.nix
+++ b/pkgs/development/compilers/uhc/default.nix
@@ -50,5 +50,6 @@ in stdenv.mkDerivation rec {
     # On Darwin, the GNU libtool is used, which does not
     # support the -static flag and thus breaks the build.
     platforms = ["x86_64-linux"];
+    broken = true; # https://github.com/UU-ComputerScience/uhc/issues/60
   };
 }