Unverified Commit 3def2fb7 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

Merge pull request #238663 from jiegec/fix-spark2014 

spark2014: do not hardcode gnat12 version
parents 32410a4f 4cd14d5a

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 = ''