Use 4.9 options for pythonpackage

SimonPinches · Jan 3, 2025 · 68eace5 · 68eace5
1 parent 01ec5b7
commit 68eace5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/easybuild/easyconfigs/z/Z3/Z3-4.13.4-GCCcore-14.2.0.eb b/easybuild/easyconfigs/z/Z3/Z3-4.13.4-GCCcore-14.2.0.eb
@@ -20,6 +20,9 @@ dependencies = [
     ('GMP', '6.3.0'),
 ]
 
+use_pip = True
+
+
 _fix_parallelism = """sed -i 's/str(multiprocessing.cpu_count())/"%(parallel)s"/' setup.py && """
 _enable_gmp = """sed -i "s/Z3_USE_LIB_GMP.*/Z3_USE_LIB_GMP' : True,/" setup.py && """
 
@@ -38,6 +41,8 @@ postinstallcmds = [
     'cd "%%(installdir)s"; for lib in %s/lib/*; do ln -s ../$lib lib/$(basename $lib); done' % local_z3_site_path
 ]
 
+sanity_pip_check = True
+
 sanity_check_paths = {
     'files': ['bin/z3', 'include/z3_api.h', 'lib/libz3.' + SHLIB_EXT],
     'dirs': ['include', 'lib/python%(pyshortver)s/site-packages'],