From 09a6f3533b7e1a0cbc8b6b65ce4cd36ef736e043 Mon Sep 17 00:00:00 2001
From: Ethan Stam <33101855+EthanS94@users.noreply.github.com>
Date: Tue, 22 Jun 2021 12:20:09 -0600
Subject: z3: set CMAKE_INSTALL_PYTHON_PKG_DIR for +python build (#24470)

---
 var/spack/repos/builtin/packages/z3/package.py | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/var/spack/repos/builtin/packages/z3/package.py b/var/spack/repos/builtin/packages/z3/package.py
index fe1aec86ad..fa434f00ce 100644
--- a/var/spack/repos/builtin/packages/z3/package.py
+++ b/var/spack/repos/builtin/packages/z3/package.py
@@ -35,9 +35,20 @@ class Z3(CMakePackage):
     build_directory = 'build'
 
     def cmake_args(self):
+        spec = self.spec
+
         args = [
             self.define_from_variant('Z3_USE_LIB_GMP', 'gmp'),
             self.define_from_variant('Z3_BUILD_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
-- 
cgit v1.2.3-70-g09d2