nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 12:23:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
608,249 Commits 204 Branches 125 Tags 6.3 GiB
6e5a0136cf
Commit Graph

3 Commits

Author SHA1 Message Date
Weijia Wang
0e00487628 gnat13Packages.gnatcoll-core: fix dylib names 2024-04-04 09:18:36 +02:00
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
Thomas Heijligen
f2a142727c gnatPackages: Add scope for all ada packages 
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.
 2024-02-25 18:19:50 +01:00