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

z3: set CMAKE_INSTALL_PYTHON_PKG_DIR for +python build (#24470)

Browse Source
This commit is contained in:
Ethan Stam 2021-06-22 12:20:09 -06:00 committed by GitHub
parent e4c38ba14c
commit 09a6f3533b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -35,9 +35,20 @@ class Z3(CMakePackage):
build_directory = 'build' build_directory = 'build'
def cmake_args(self): def cmake_args(self):
spec = self.spec
args = [ args = [
self.define_from_variant('Z3_USE_LIB_GMP', 'gmp'), self.define_from_variant('Z3_USE_LIB_GMP', 'gmp'),
self.define_from_variant('Z3_BUILD_PYTHON_BINDINGS', 'python'), self.define_from_variant('Z3_BUILD_PYTHON_BINDINGS', 'python'),
self.define_from_variant('Z3_INSTALL_PYTHON_BINDINGS', 'python') self.define_from_variant('Z3_INSTALL_PYTHON_BINDINGS', 'python')
] ]
if spec.satisfies('+python'):
args.append(
self.define('CMAKE_INSTALL_PYTHON_PKG_DIR', join_path(
prefix.lib,
'python%s' % spec['python'].version.up_to(2),
'site-packages'))
)
return args return args