From a44f487a1d5b2f88675d4053485c338c64340a76 Mon Sep 17 00:00:00 2001 From: Todd Gamblin Date: Tue, 12 May 2020 02:15:42 -0700 Subject: 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 --- var/spack/repos/builtin/packages/z3/package.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'var') 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 -- cgit v1.2.3-70-g09d2