nixpkgs

colin/nixpkgs

Fork 0

Commit Graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

2 Commits