8c5a4cfa43
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. |
||
|---|---|---|
| .. | ||
| gnatcoll | ||
| gnatprove | ||
| gprbuild | ||
| xmlada | ||