pkgs/top-level/ada-packages.nix

   1 { lib
   2 , pkgs
   3 , makeScopeWithSplicing'
   4 , generateSplicesForMkScope
   5 , gnat
   6 }:
   7 let
   8   gnat_version = lib.versions.major gnat.version;
   9 in
  10 makeScopeWithSplicing' {
  11   otherSplices = generateSplicesForMkScope ("gnat" + gnat_version + "Packages");
  12   f = (self: {
  13     inherit gnat;
  14
  15     gpr2 = self.callPackage ../development/ada-modules/gpr2 { };
  16
  17     gprbuild-boot = self.callPackage ../development/ada-modules/gprbuild/boot.nix { };
  18     gprbuild      = self.callPackage ../development/ada-modules/gprbuild { };
  19
  20     xmlada = self.callPackage ../development/ada-modules/xmlada { };
  21
  22     gnatprove = self.callPackage ../development/ada-modules/gnatprove {
  23       ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;
  24     };
  25
  26     gnatcoll-core     = self.callPackage ../development/ada-modules/gnatcoll/core.nix { };
  27
  28     # gnatcoll-bindings repository
  29     gnatcoll-gmp      = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "gmp"; };
  30     gnatcoll-iconv    = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "iconv"; };
  31     gnatcoll-lzma     = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "lzma"; };
  32     gnatcoll-omp      = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "omp"; };
  33     gnatcoll-python3  = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "python3"; python3 = pkgs.python39; };
  34     gnatcoll-readline = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "readline"; };
  35     gnatcoll-syslog   = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "syslog"; };
  36     gnatcoll-zlib     = self.callPackage ../development/ada-modules/gnatcoll/bindings.nix { component = "zlib"; };
  37
  38     # gnatcoll-db repository
  39     gnatcoll-postgres = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "postgres"; };
  40     gnatcoll-sql      = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "sql"; };
  41     gnatcoll-sqlite   = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "sqlite"; };
  42     gnatcoll-xref     = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "xref"; };
  43     gnatcoll-db2ada   = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "gnatcoll_db2ada"; };
  44     gnatinspect       = self.callPackage ../development/ada-modules/gnatcoll/db.nix { component = "gnatinspect"; };
  45   });
  46 }
  47