diff options
| author | Nathan van Doorn <nathan@myrtlesoftware.com> | 2018-09-20 11:45:16 +0100 |
|---|---|---|
| committer | Nathan van Doorn <nathan@myrtlesoftware.com> | 2018-09-20 11:45:16 +0100 |
| commit | c8598daad4dee3d15e312608b56ce50532830c90 (patch) | |
| tree | ac37daf14f2c2b5026c688bfcae9e6d1080ed05e /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 0e1f3ef01afcbb4cf66ebb766bd096033eacc633 (diff) | |
haskellPackages.sbv: fix location of z3 executable
A lot of the functionality of the z3 library depends on it being able to
find the z3 executable on $PATH. Hard-coding it here means it will never
be unable to find it and z3 doesn't need to pollute $PATH.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions