[staging-next] gnat-bootstrap14: fix gnat14 build on aarch64-linux

[mdaniels5757]

Fixes https://hydra.nixos.org/build/321609067.

Things done

• Built on platform:
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• Tested, as applicable:
  • NixOS tests in nixos/tests.
  • Package tests at passthru.tests.
  • Tests in lib/tests or pkgs/test for functions and "core" functionality.
• Ran nixpkgs-review on this PR. See nixpkgs-review usage.
• Tested basic functionality of all binary files, usually in ./result/bin/.
• Nixpkgs Release Notes
  • Package update: when the change is major or breaking.
• NixOS Release Notes
  • Module addition: when adding a new NixOS module.
  • Module update: when the change is significant.
• Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

[mdaniels5757]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 493093
Commit: b871a3e45bb7fcbb08464729a4b8d52fbd1e9c33

---

aarch64-linux

❌ 1 package failed to build:

• gnat15Packages.gnatprove

✅ 54 packages built:

• coreboot-toolchain.aarch64
• coreboot-toolchain.arm
• coreboot-toolchain.i386
• coreboot-toolchain.ppc64
• coreboot-toolchain.riscv
• coreboot-toolchain.x64
• gnat-bootstrap14
• gnat14 (gnat14Packages.gnat)
• gnat14.info (gnat14Packages.gnat.info)
• gnat14.man (gnat14Packages.gnat.man)
• gnat14Packages.gnatcoll-core
• gnat14Packages.gnatcoll-cpp
• gnat14Packages.gnatcoll-db2ada
• gnat14Packages.gnatcoll-gmp
• gnat14Packages.gnatcoll-iconv
• gnat14Packages.gnatcoll-lzma
• gnat14Packages.gnatcoll-omp
• gnat14Packages.gnatcoll-postgres
• gnat14Packages.gnatcoll-python3
• gnat14Packages.gnatcoll-readline
• gnat14Packages.gnatcoll-sql
• gnat14Packages.gnatcoll-sqlite
• gnat14Packages.gnatcoll-syslog
• gnat14Packages.gnatcoll-xref
• gnat14Packages.gnatcoll-zlib
• gnat14Packages.gnatinspect
• gnat14Packages.gnatprove
• gnat14Packages.gpr2
• gnat14Packages.gprbuild
• gnat14Packages.gprbuild-boot
• gnat14Packages.xmlada
• gnat15 (gnat15Packages.gnat)
• gnat15.info (gnat15Packages.gnat.info)
• gnat15.man (gnat15Packages.gnat.man)
• gnat15Packages.gnatcoll-core
• gnat15Packages.gnatcoll-cpp
• gnat15Packages.gnatcoll-db2ada
• gnat15Packages.gnatcoll-gmp
• gnat15Packages.gnatcoll-iconv
• gnat15Packages.gnatcoll-lzma
• gnat15Packages.gnatcoll-omp
• gnat15Packages.gnatcoll-postgres
• gnat15Packages.gnatcoll-python3
• gnat15Packages.gnatcoll-readline
• gnat15Packages.gnatcoll-sql
• gnat15Packages.gnatcoll-sqlite
• gnat15Packages.gnatcoll-syslog
• gnat15Packages.gnatcoll-xref
• gnat15Packages.gnatcoll-zlib
• gnat15Packages.gnatinspect
• gnat15Packages.gpr2
• gnat15Packages.gprbuild
• gnat15Packages.gprbuild-boot
• gnat15Packages.xmlada

---

Error logs: `aarch64-linux`

gnat15Packages.gnatprove

   [Ada]          why-keywords.adb
   [Ada]          pprint.adb
   [Ada]          flow_utility-proof_dependencies.adb
   [Ada]          ce_fuzzer.adb
   [Ada]          ce_parsing.adb
   [Ada]          ce_utils.adb
   [Ada]          ce_values.adb
   [Ada]          flow-control_flow_graph-utility.adb
   [Ada]          ce_interval_sets.adb
   [Ada]          ce_pretty_printing.adb
   [Ada]          gnat2why-expr-loops-inv.adb
ce_parsing.adb:1076:22: warning: in instantiation at line 544 [-gnatw.a]
ce_parsing.adb:1076:22: warning: assertion will fail at run time [-gnatw.a]
compilation of ce_parsing.adb failed
gprbuild: *** compilation phase failed

make[1]: *** [Makefile:75: build] Error 4

make[1]: Leaving directory '/build/source/gnat2why'

make: *** [Makefile:139: gnat2why] Error 2

[mdaniels5757]

gnat15Packages.gnatprove has never succeeded on aarch64-linux: https://hydra.nixos.org/job/nixpkgs/unstable/gnat15Packages.gnatprove.aarch64-linux/all

[vcunat]

This failure is on nixpkgs master for some time already, but we can go through staging-next which should merge really soon.