diff options
-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') |