diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/ada/spark2014/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/ada/spark2014/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/development/libraries/ada/spark2014/default.nix b/nixpkgs/pkgs/development/libraries/ada/spark2014/default.nix index d928dddfc8df..b89a56a397b9 100644 --- a/nixpkgs/pkgs/development/libraries/ada/spark2014/default.nix +++ b/nixpkgs/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 = '' |