commit 56d65bfc33ef22abb7bb617d573db5b085232bda
author Jerry Wu <cheyuw@google.com> Wed Jan 04 20:44:09 2023 -0500
committer GitHub <noreply@github.com> Wed Jan 04 20:44:09 2023 -0500
tree 6f0870e4fb3a68ef01f16cb28769672b15f394be
parent 0b7f8395e1cf1a122c64f1b82d615c2e9772c0c4

Specify Python3 executable path in CI (#11696)

build_tools/cmake/build_riscv.sh

diff --git a/build_tools/cmake/build_riscv.sh b/build_tools/cmake/build_riscv.sh
index 10d20ff..7d5ff6c 100755
--- a/build_tools/cmake/build_riscv.sh
+++ b/build_tools/cmake/build_riscv.sh
@@ -38,13 +38,15 @@
 args=(
   "-G" "Ninja"
   "-B" "${BUILD_DIR}"
-  -DCMAKE_TOOLCHAIN_FILE="${TOOLCHAIN_FILE}"
-  -DIREE_HOST_BINARY_ROOT="${IREE_HOST_BINARY_ROOT}"
-  -DRISCV_CPU="${RISCV_PLATFORM_ARCH}"
-  -DRISCV_COMPILER_FLAGS="${RISCV_COMPILER_FLAGS}"
-  -DIREE_BUILD_COMPILER=OFF
+  "-DPython3_EXECUTABLE=${IREE_PYTHON3_EXECUTABLE}"
+  "-DPYTHON_EXECUTABLE=${IREE_PYTHON3_EXECUTABLE}"
+  "-DCMAKE_TOOLCHAIN_FILE=${TOOLCHAIN_FILE}"
+  "-DIREE_HOST_BINARY_ROOT=${IREE_HOST_BINARY_ROOT}"
+  "-DRISCV_CPU=${RISCV_PLATFORM_ARCH}"
+  "-DRISCV_COMPILER_FLAGS=${RISCV_COMPILER_FLAGS}"
+  "-DIREE_BUILD_COMPILER=OFF"
   # CPU info doesn't work on RISCV
-  -DIREE_ENABLE_CPUINFO=OFF
+  "-DIREE_ENABLE_CPUINFO=OFF"
 )
 
 if [[ "${RISCV_PLATFORM}" == "linux" ]]; then