nixpkgs/pkgs/development/ada-modules
sternenseemann 8c5a4cfa43 gprbuild: prevent cross compiled gprbuild-boot being pulled in
Building a cross-compiled gprbuild-boot would obviously not succeed.
This change is kind of academic since we don't really have a working Ada
cross-compiler in nixpkgs, but helps verifying changes to the
gnatPackages infrastructure.
2024-02-25 18:19:50 +01:00
..
gnatcoll
gnatprove
gprbuild
xmlada