From f1840faeb1c85b0d53c7e705e38d83de62bdcbda Mon Sep 17 00:00:00 2001 From: Tom Hunze Date: Sat, 23 May 2026 22:37:05 +0200 Subject: [PATCH] gnat15Packages.gnatprove: fix build on `aarch64-linux` Co-Authored-By: sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> --- pkgs/development/ada-modules/gnatprove/default.nix | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/development/ada-modules/gnatprove/default.nix b/pkgs/development/ada-modules/gnatprove/default.nix index 2eba4ae77a11..d4e39a3506d1 100644 --- a/pkgs/development/ada-modules/gnatprove/default.nix +++ b/pkgs/development/ada-modules/gnatprove/default.nix @@ -86,6 +86,9 @@ let patches = [ # Disable Coq related targets which are missing in the fsf-15 branch ./0001-fix-install-fsf-15.patch + + # Suppress warnings on aarch64: https://github.com/AdaCore/spark2014/issues/54 + ./0002-mute-aarch64-warnings.patch ]; commit_date = "2025-06-10"; };