zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

configure z3+python to build python libraries in its own prefix (#14604)

Browse Source
This commit is contained in:
Greg Becker 2020-01-24 21:16:48 -08:00 committed by Todd Gamblin
parent 71243f3f7b
commit a57edb7029
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
var/spack/repos/builtin/packages/z3/package.py
View File

@ -22,6 +22,7 @@ class Z3(MakefilePackage):
variant('python', default=False, description='Enable python binding') variant('python', default=False, description='Enable python binding')
depends_on('python', type=('build', 'run')) depends_on('python', type=('build', 'run'))
extends('python', when='+python')
# Referenced: https://github.com/Z3Prover/z3/issues/1016 # Referenced: https://github.com/Z3Prover/z3/issues/1016
patch('fix_1016_1.patch', when='@:4.4.1') patch('fix_1016_1.patch', when='@:4.4.1')
@ -31,9 +32,18 @@ class Z3(MakefilePackage):
def configure_args(self): def configure_args(self):
spec = self.spec spec = self.spec
return [
'--python' if '+python' in spec else '' args = []
]
if spec.satisfies('+python'):
args.append('--python')
args.append(
'--pypkgdir=%s' % join_path(
prefix.lib,
'python%s' % spec['python'].version.up_to(2),
'site-packages'))
return args
def bootstrap(self, spec, prefix): def bootstrap(self, spec, prefix):
options = ['--prefix={0}'.format(prefix)] + self.configure_args() options = ['--prefix={0}'.format(prefix)] + self.configure_args()