diff options
| author | Jiajie Chen <c@jia.je> | 2023-06-20 08:46:45 +0800 |
|---|---|---|
| committer | Jiajie Chen <c@jia.je> | 2023-06-20 08:46:47 +0800 |
| commit | 4cd14d5a7efa48ef5340ed7849ebefc8d2b4eaf7 (patch) | |
| tree | d17ab61f0b9f7d33725165bbd9e5b07b6caece8f | |
| parent | 991c60a231f6ca05fa21d0c56a2fb967f40f842d (diff) | |
spark2014: do not hardcode gnat12 version
Fixes #238644
| -rw-r--r-- | pkgs/development/libraries/ada/spark2014/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/ada/spark2014/default.nix b/pkgs/development/libraries/ada/spark2014/default.nix index d928dddfc8df..b89a56a397b9 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 = '' |