Unverified Commit 6a4a5472 authored by @mjones's avatar @mjones Committed by GitHub
Browse files

z3: fix cross build by using correct python intepreter (#504290)

parents 1f3b9700 58c8ba0c

pkgs/by-name/z3/z3/package.nix

+1 −1
Original line number Diff line number Diff line
@@ -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")