about summary refs log tree commit diff
path: root/pkgs/development/ada-modules
AgeCommit message (Collapse)AuthorFilesLines
2024-04-06gprbuild: add comment on headerpad_max_install_namesWeijia Wang1-0/+2
2024-04-04gnat13Packages.gnatcoll-core: fix dylib namesWeijia Wang1-0/+4
2024-02-25gprbuild: prevent cross compiled gprbuild-boot being pulled insternenseemann1-1/+4
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-25gnatPackages: Add scope for all ada packagesThomas Heijligen11-0/+622
Ada depencencies musst be build with the same gnat version as the project. Use a namespace as preperation to build with different gnat versions. gprbuild and gnatprove are still globaly visable.