Commit Graph

6 Commits

Author SHA1 Message Date
Alexis Hildebrandt
755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Sigmanificient
203a48ad35 pkgs/development: remove unused fetchpatch arguments 2024-05-24 02:53:57 +02:00
Weijia Wang
aad2a8af94 gprbuild: add comment on headerpad_max_install_names 2024-04-06 18:35:59 +02:00
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