diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-06-21 00:13:19 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-21 00:13:19 +0000 |
| commit | 260df62919ffc7c09044edb519f3beaa491cda0e (patch) | |
| tree | 0b2b34c12219860fd7d15b9cfeaf0d5148ffa9b5 /pkgs/development/libraries/ada/spark2014/default.nix | |
| parent | 3780de2d515bae803de26545cf5891c211a9846b (diff) | |
| parent | 2de5e6838cd1480b9f1eae11c1c65ca2f32ae40c (diff) | |
Merge master into haskell-updates
Diffstat (limited to 'pkgs/development/libraries/ada/spark2014/default.nix')
| -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 d928dddfc8df5..b89a56a397b99 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 = '' |