Commit 4cd14d5a authored by Jiajie Chen's avatar Jiajie Chen
Browse files

spark2014: do not hardcode gnat12 version 

Fixes #238644
parent 991c60a2

pkgs/development/libraries/ada/spark2014/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -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 = ''