374e6bcc40
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.
78 lines
2.8 KiB
Nix
78 lines
2.8 KiB
Nix
{
|
|
lib,
|
|
pkgs,
|
|
makeScopeWithSplicing',
|
|
generateSplicesForMkScope,
|
|
gnat,
|
|
}:
|
|
let
|
|
gnat_version = lib.versions.major gnat.version;
|
|
in
|
|
makeScopeWithSplicing' {
|
|
otherSplices = generateSplicesForMkScope ("gnat" + gnat_version + "Packages");
|
|
f = (
|
|
self: {
|
|
inherit gnat;
|
|
|
|
gpr2 = self.callPackage ../development/ada-modules/gpr2 { };
|
|
|
|
gprbuild-boot = self.callPackage ../development/ada-modules/gprbuild/boot.nix { };
|
|
gprbuild = self.callPackage ../development/ada-modules/gprbuild { };
|
|
|
|
xmlada = self.callPackage ../development/ada-modules/xmlada { };
|
|
|
|
gnatprove = self.callPackage ../development/ada-modules/gnatprove {
|
|
ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;
|
|
};
|
|
|
|
gnatcoll-core = self.callPackage ../development/ada-modules/gnatcoll/core.nix { };
|
|
|
|
# gnatcoll-bindings repository
|
|
gnatcoll-cpp = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "cpp";
|
|
};
|
|
gnatcoll-gmp = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "gmp";
|
|
};
|
|
gnatcoll-iconv = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "iconv";
|
|
};
|
|
gnatcoll-lzma = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "lzma";
|
|
};
|
|
gnatcoll-omp = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "omp";
|
|
};
|
|
gnatcoll-python3 = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "python3";
|
|
python3 = pkgs.python312;
|
|
};
|
|
gnatcoll-readline = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "readline";
|
|
};
|
|
gnatcoll-syslog = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "syslog";
|
|
};
|
|
gnatcoll-zlib = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
|
|
component = "zlib";
|
|
};
|
|
|
|
# gnatcoll-db repository
|
|
gnatcoll-postgres = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
|
|
component = "postgres";
|
|
};
|
|
gnatcoll-sql = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "sql"; };
|
|
gnatcoll-sqlite = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
|
|
component = "sqlite";
|
|
};
|
|
gnatcoll-xref = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "xref"; };
|
|
gnatcoll-db2ada = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
|
|
component = "gnatcoll_db2ada";
|
|
};
|
|
gnatinspect = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
|
|
component = "gnatinspect";
|
|
};
|
|
}
|
|
);
|
|
}
|