diff options
| author | Austin Seipp <aseipp@pobox.com> | 2023-01-03 00:59:55 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2023-01-03 07:08:27 -0600 |
| commit | a72e226b04c008ccc499e9e19dcda9dae493a8c9 (patch) | |
| tree | 4ba82523d24499a1083019728b2838ca3f2868b1 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | b943fb24b7bb827677fb7dad0de1562c13db27c5 (diff) | |
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>
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions