diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2020-05-12 02:15:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-12 11:15:42 +0200 |
| commit | a44f487a1d5b2f88675d4053485c338c64340a76 (patch) | |
| tree | 8558ea595ab7877312ea3de0c36407a358f70849 /var | |
| parent | 80e7a615974a02a16ebe68f42c32e49af4e2a4be (diff) | |
| download | spack-a44f487a1d5b2f88675d4053485c338c64340a76.tar.gz spack-a44f487a1d5b2f88675d4053485c338c64340a76.tar.bz2 spack-a44f487a1d5b2f88675d4053485c338c64340a76.tar.xz spack-a44f487a1d5b2f88675d4053485c338c64340a76.zip | |
z3: update python dependency (#16597)
-[x] `z3` needs a dependency on `py-setuptools`
-[x] `z3` has a run dependency on `python`, so we might as well make
building with the python bindings default
Diffstat (limited to 'var')
| -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 |