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 | |
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 :(.
-rw-r--r-- | var/spack/repos/builtin/packages/z3/package.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py index fa434f00ce..7995f9491f 100644 --- a/var/spack/repos/builtin/packages/z3/package.py +++ b/var/spack/repos/builtin/packages/z3/package.py @@ -19,7 +19,7 @@ class Z3(CMakePackage): version('4.8.7', sha256='8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3') version('4.5.0', sha256='aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c') - variant('python', default=True, description='Enable python binding') + variant('python', default=False, description='Enable python binding') depends_on('python', type='build', when='~python') depends_on('python', type=('build', 'run'), when='+python') depends_on('py-setuptools', type=('run'), when='+python') |