diff options
-rw-r--r-- | var/spack/repos/builtin/packages/z3/package.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py index 71eafb0a3b..462316cbdf 100644 --- a/var/spack/repos/builtin/packages/z3/package.py +++ b/var/spack/repos/builtin/packages/z3/package.py @@ -21,8 +21,9 @@ class Z3(MakefilePackage): phases = ['bootstrap', 'build', 'install'] - variant('python', default=False, description='Enable python binding') + variant('python', default=True, description='Enable python binding') depends_on('python', type=('build', 'run')) + depends_on('py-setuptools', type=('run'), when='+python') extends('python', when='+python') # Referenced: https://github.com/Z3Prover/z3/issues/1016 |