nixpkgs-suyu/pkgs/development/libraries/ada
Austin Seipp a72e226b04 spark2014: fix incomplete install (#208830)
The previous installPhase was only using `make install`, while the real
target needed is `make install-all`. This installs many missing tools
under `$out/libexec/`, such as the missing `gnatwhy3` binary, which was
the root cause of #208830.

With this, gnatprove can now successfully discharge and prove things
with solvers like Z3, etc.

And, because it also includes `why3server`, we don't need to use
wrapProgram on it anymore, either!

Closes #208830

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2023-01-03 07:08:27 -06:00
..
gnatcoll gnatinspect, gnatcoll-db2ada: drop gnatcoll- prefix from pname 2022-11-16 12:42:27 +01:00
spark2014 spark2014: fix incomplete install (#208830) 2023-01-03 07:08:27 -06:00
xmlada xmlada: 22.0.0 -> 23.0.0 2022-11-16 12:42:27 +01:00