diff options
| author | Harmen Stoppels <harmenstoppels@gmail.com> | 2021-07-21 14:44:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-21 14:44:18 +0200 |
| commit | bb985e40dd259a105e807301375ce6be1ad1f39f (patch) | |
| tree | 55249733b9da3bee9831d176b61eec0075421010 /pyproject.toml | |
| parent | 1c06ec0c11fc874f2203c783e69bd04322f298e2 (diff) | |
| download | spack-bb985e40dd259a105e807301375ce6be1ad1f39f.tar.gz spack-bb985e40dd259a105e807301375ce6be1ad1f39f.tar.bz2 spack-bb985e40dd259a105e807301375ce6be1ad1f39f.tar.xz spack-bb985e40dd259a105e807301375ce6be1ad1f39f.zip | |
z3: disable python binding by default (#25007)
z3 is a dependency of llvm and llvm-amdgpu, and when z3 python bindings
are enabled it depends on py-setuptools as a run dependency. That's
fine, except that py-setuptools now influences the hash of
llvm/llvm-amdgpu, which can be very annoying when another package
restricts the py-setuptools version -- you'll end up recompiling llvm
for no good reason :(.
Diffstat (limited to 'pyproject.toml')
0 files changed, 0 insertions, 0 deletions