From f52c368f1700c810e16c5d918e09a87559c15509 Mon Sep 17 00:00:00 2001
From: Jared Baur <jaredbaur@fastmail.com>
Date: Fri, 15 Sep 2023 13:04:08 -0700
Subject: [PATCH] coreboot-toolchain: Unpin gnat

Gnat11 is currently broken, but I cannot find anywhere in coreboot's
build instructions that gnat should be pinned at 11, so switch the
toolchain from using gnat11 to gnat, which is currently version 12.
---
 pkgs/development/tools/misc/coreboot-toolchain/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/tools/misc/coreboot-toolchain/default.nix b/pkgs/development/tools/misc/coreboot-toolchain/default.nix
index 66eff5e2427c..6591651ee65b 100644
--- a/pkgs/development/tools/misc/coreboot-toolchain/default.nix
+++ b/pkgs/development/tools/misc/coreboot-toolchain/default.nix
@@ -8,7 +8,7 @@ let
     , flex
     , getopt
     , git
-    , gnat11
+    , gnat
     , gcc
     , lib
     , perl
@@ -35,7 +35,7 @@ let
       };
 
       nativeBuildInputs = [ bison curl git perl ];
-      buildInputs = [ flex zlib (if withAda then gnat11 else gcc) ];
+      buildInputs = [ flex zlib (if withAda then gnat else gcc) ];
 
       enableParallelBuilding = true;
       dontConfigure = true;