From 4cd14d5a7efa48ef5340ed7849ebefc8d2b4eaf7 Mon Sep 17 00:00:00 2001
From: Jiajie Chen <c@jia.je>
Date: Tue, 20 Jun 2023 08:46:45 +0800
Subject: [PATCH] spark2014: do not hardcode gnat12 version

Fixes #238644
---
 pkgs/development/libraries/ada/spark2014/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/libraries/ada/spark2014/default.nix b/pkgs/development/libraries/ada/spark2014/default.nix
index d928dddfc8d..b89a56a397b 100644
--- a/pkgs/development/libraries/ada/spark2014/default.nix
+++ b/pkgs/development/libraries/ada/spark2014/default.nix
@@ -44,8 +44,8 @@ stdenv.mkDerivation rec {
 
   postPatch = ''
     # gnat2why/gnat_src points to the GNAT sources
-    tar xf ${gnat12.cc.src} gcc-12.2.0/gcc/ada
-    mv gcc-12.2.0/gcc/ada gnat2why/gnat_src
+    tar xf ${gnat12.cc.src} gcc-${gnat12.cc.version}/gcc/ada
+    mv gcc-${gnat12.cc.version}/gcc/ada gnat2why/gnat_src
   '';
 
   configurePhase = ''