diff --git a/install.py b/install.py index 97950c772..4fcc70775 100755 --- a/install.py +++ b/install.py @@ -315,6 +315,13 @@ def install( if legion_dir is not None and legion_src_dir is not None: sys.exit("Cannot specify both --legion-dir and --legion-src-dir") + join = os.path.join + exists = os.path.exists + dirname = os.path.dirname + realpath = os.path.realpath + + cmake_exe = realpath(cmake_exe) + print(f"Verbose build is {'on' if verbose else 'off'}") if verbose: print(f"networks: {networks}") @@ -353,11 +360,6 @@ def install( print(f"legion_branch: {legion_branch}") print(f"unknown: {unknown}") - join = os.path.join - exists = os.path.exists - dirname = os.path.dirname - realpath = os.path.realpath - legate_core_dir = dirname(realpath(__file__)) pyversion, pylib_name = find_active_python_version_and_path() @@ -470,6 +472,8 @@ def validate_path(path): if not build_isolation: pip_install_cmd += ["--no-build-isolation"] + pip_install_cmd += [f"--global-option=--cmake-executable={cmake_exe}"] + if editable: cmd_env.update({"SETUPTOOLS_ENABLE_FEATURES": "legacy-editable"}) cmake_flags += ["-DCMAKE_INSTALL_RPATH_USE_LINK_PATH=ON"]