Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-04-06 | gprbuild: add comment on headerpad_max_install_names | Weijia Wang | 1 | -0/+2 | |
2024-04-04 | gnat13Packages.gnatcoll-core: fix dylib names | Weijia Wang | 1 | -0/+4 | |
2024-02-25 | gprbuild: prevent cross compiled gprbuild-boot being pulled in | sternenseemann | 1 | -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-25 | gnatPackages: Add scope for all ada packages | Thomas Heijligen | 11 | -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. |