From e1a2ff024b5351641249c29d6de0645c3bb4d087 Mon Sep 17 00:00:00 2001
From: sempiternal-aurora
 <78790545+sempiternal-aurora@users.noreply.github.com>
Date: Mon, 13 Apr 2026 18:22:58 +1000
Subject: [PATCH] isabelle: mark cross compilation as broken

---
 pkgs/by-name/is/isabelle/package.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/by-name/is/isabelle/package.nix b/pkgs/by-name/is/isabelle/package.nix
index 29273a55098f..0c48de36e306 100644
--- a/pkgs/by-name/is/isabelle/package.nix
+++ b/pkgs/by-name/is/isabelle/package.nix
@@ -330,7 +330,6 @@ stdenv.mkDerivation (finalAttrs: {
 
   meta = {
     description = "Generic proof assistant";
-
     longDescription = ''
       Isabelle is a generic proof assistant.  It allows mathematical formulas
       to be expressed in a formal language and provides tools for proving those
@@ -346,6 +345,9 @@ stdenv.mkDerivation (finalAttrs: {
       lib.maintainers.jvanbruegge
       lib.maintainers.sempiternal-aurora
     ];
+    # need to compile the heaps for host on build
+    # which requires us to use the host polyml toolchain
+    broken = !(stdenv.buildPlatform.canExecute stdenv.hostPlatform);
     platforms = [
       "x86_64-linux"
       "aarch64-linux"