c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-06 17:13:24 -05:00
Code Issues Projects Releases Packages Wiki Activity

isabelle: mark cross compilation as broken (#509486)

Browse source
This commit is contained in:
Sandro 2026-04-16 20:52:58 +00:00 • committed by GitHub
commit f62c280543
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
pkgs/by-name/is/isabelle/package.nix
View file

@ -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"