Commit Graph

6 Commits

Author SHA1 Message Date
Sergei Trofimovich
5af8e1ffe0 gcc16, gccgo16, gfortran16, gnat16: init at 16.1.0
Changes: https://gcc.gnu.org/gcc-16/changes.html
Porting guide: https://gcc.gnu.org/gcc-16/porting_to.html

Added logic to avoid evaluation of gnatprove on gnat16, as it isn't
ported to that compiler version yet.

Co-authored-by: sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com>
2026-05-14 23:36:55 +10:00
Silvan Mosberger
374e6bcc40 treewide: Format all Nix files
Format all Nix files using the officially approved formatter,
making the CI check introduced in the previous commit succeed:

  nix-build ci -A fmt.check

This is the next step of the of the [implementation](https://github.com/NixOS/nixfmt/issues/153)
of the accepted [RFC 166](https://github.com/NixOS/rfcs/pull/166).

This commit will lead to merge conflicts for a number of PRs,
up to an estimated ~1100 (~33%) among the PRs with activity in the past 2
months, but that should be lower than what it would be without the previous
[partial treewide format](https://github.com/NixOS/nixpkgs/pull/322537).

Merge conflicts caused by this commit can now automatically be resolved while rebasing using the
[auto-rebase script](8616af08d9/maintainers/scripts/auto-rebase).

If you run into any problems regarding any of this, please reach out to the
[formatting team](https://nixos.org/community/teams/formatting/) by
pinging @NixOS/nix-formatting.
2025-04-01 20:10:43 +02:00
sternenseemann
b2020771fc gnatPackages.gnatcoll-cpp: init at 25.0.0
gnatcoll_cpp adds bindings to C++ strings:
f24b27680a
2024-11-30 22:41:37 +01:00
sternenseemann
8bc7bcca4d gnatPackages.gnatcoll-*(bindings): 24.0.0 -> 25.0.0 2024-11-30 22:41:36 +01:00
Thomas Heijligen
066b51bf34 gnatPackages.gpr2: init at 24.0.0
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2024-10-25 23:03:58 +02: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