z3: fix cross build by using correct python intepreter

2026-03-28 16:19:23 +11:00
parent 8cfb09f8a4
commit 58c8ba0cbe
1 changed files with 1 additions and 1 deletions
@@ -96,7 +96,7 @@ stdenv.mkDerivation (finalAttrs: {
  ]
  ++ lib.optionals pythonBindings [
    (lib.cmakeFeature "CMAKE_INSTALL_PYTHON_PKG_DIR" "${placeholder "python"}/${python3Packages.python.sitePackages}")
-    (lib.cmakeFeature "Python3_EXECUTABLE" "${lib.getExe python3Packages.python}")
+    (lib.cmakeFeature "Python3_EXECUTABLE" python3Packages.python.pythonOnBuildForHost.interpreter)
  ]
  ++ lib.optionals javaBindings [
    (lib.cmakeFeature "Z3_JAVA_JNI_LIB_INSTALLDIR" "${placeholder "java"}/lib")