diff options
| author | Thomas Heijligen <src@posteo.de> | 2024-02-21 21:20:59 +0000 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2024-02-25 18:19:50 +0100 |
| commit | c02503b58237072965308415f87e709af128516c (patch) | |
| tree | 540b883a59bf16fe6fc8825092ed92e6eb030b04 | |
| parent | d22ba0a2a71cb6136115ca91999409d6498c9936 (diff) | |
gnatprove: Expose SPARKlib through gpr
SPARKlib is shipped with gnatprove / spark2014 but the gpr files are in
lib/gnat/. Nix gprbuild cant pick them up there. Link them to a location
where gprbuild can find them.
| -rw-r--r-- | pkgs/development/libraries/ada/gnatprove/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/development/libraries/ada/gnatprove/default.nix b/pkgs/development/libraries/ada/gnatprove/default.nix index 4e7c4d964af6..884406d3342e 100644 --- a/pkgs/development/libraries/ada/gnatprove/default.nix +++ b/pkgs/development/libraries/ada/gnatprove/default.nix @@ -64,6 +64,10 @@ stdenv.mkDerivation rec { ocamlPackages.zarith ]; + propagatedBuildInputs = [ + gprbuild + ]; + postPatch = '' # gnat2why/gnat_src points to the GNAT sources tar xf ${gnat.cc.src} gcc-${gnat.cc.version}/gcc/ada @@ -77,6 +81,8 @@ stdenv.mkDerivation rec { installPhase = '' make install-all cp -a ./install/. $out + mkdir $out/share/gpr + ln -s $out/lib/gnat/* $out/share/gpr/ ''; meta = with lib; { |