pyrox.dev
1{
2 lib,
3 pkgs,
4 makeScopeWithSplicing',
5 generateSplicesForMkScope,
6 gnat,
7}:
8let
9 gnat_version = lib.versions.major gnat.version;
10in
11makeScopeWithSplicing' {
12 otherSplices = generateSplicesForMkScope ("gnat" + gnat_version + "Packages");
13 f = (
14 self: {
15 inherit gnat;
16
17 gpr2 = self.callPackage ../development/ada-modules/gpr2 { };
18
19 gprbuild-boot = self.callPackage ../development/ada-modules/gprbuild/boot.nix { };
20 gprbuild = self.callPackage ../development/ada-modules/gprbuild { };
21
22 xmlada = self.callPackage ../development/ada-modules/xmlada { };
23
24 gnatprove = self.callPackage ../development/ada-modules/gnatprove {
25 ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;
26 };
27
28 gnatcoll-core = self.callPackage ../development/ada-modules/gnatcoll/core.nix { };
29
30 # gnatcoll-bindings repository
31 gnatcoll-cpp = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
32 component = "cpp";
33 };
34 gnatcoll-gmp = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
35 component = "gmp";
36 };
37 gnatcoll-iconv = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
38 component = "iconv";
39 };
40 gnatcoll-lzma = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
41 component = "lzma";
42 };
43 gnatcoll-omp = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
44 component = "omp";
45 };
46 gnatcoll-python3 = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
47 component = "python3";
48 python3 = pkgs.python312;
49 };
50 gnatcoll-readline = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
51 component = "readline";
52 };
53 gnatcoll-syslog = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
54 component = "syslog";
55 };
56 gnatcoll-zlib = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix {
57 component = "zlib";
58 };
59
60 # gnatcoll-db repository
61 gnatcoll-postgres = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
62 component = "postgres";
63 };
64 gnatcoll-sql = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "sql"; };
65 gnatcoll-sqlite = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
66 component = "sqlite";
67 };
68 gnatcoll-xref = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "xref"; };
69 gnatcoll-db2ada = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
70 component = "gnatcoll_db2ada";
71 };
72 gnatinspect = self.callPackage ../development/ada-modules/gnatcoll/db.nix {
73 component = "gnatinspect";
74 };
75 }
76 );
77}