Commit 467c84e2 authored by Thomas Heijligen's avatar Thomas Heijligen Committed by sternenseemann
Browse files

gnatPackages: Build all ada-modules with gnat12 and gnat13 

Add namespace gnat12Packages and gnat13Packages to get ada-modules build
with a specific gnat version.
For gnatprove this means building the gnat12 and gnat13 version.
parent f2a14272

pkgs/top-level/all-packages.nix

+5 −2
Original line number Diff line number Diff line
@@ -16003,7 +16003,7 @@ with pkgs; 
    inherit (gnome2) libart_lgpl;

  });













  gnat = gnat12;













  gnat = gnat12; # When changing this, update also gnatPackages





























  gnat11 = wrapCC (gcc11.cc.override {















    name = "gnat";










@@ -16075,7 +16075,10 @@ with pkgs;













    bintools = bintoolsDualAs;















  });



























  gnatPackages   = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat; });













  gnat12Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat12; });













  gnat13Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat13; });













  gnatPackages   = gnat12Packages;



























  inherit (gnatPackages)















    gprbuild















    gnatprove;