gnat15Packages.gnatprove: fix build on aarch64-linux

Co-Authored-By: sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com>
2026-05-23 22:37:05 +02:00
parent a261d6ec3c
commit f1840faeb1
1 changed files with 3 additions and 0 deletions
@@ -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";
    };