cli: Fail when patchelf does not exist

eclipse · May 6, 2024 · 9d746eb · 9d746eb
1 parent 1984ca4
commit 9d746eb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cli/cloe_launch/exec.py b/cli/cloe_launch/exec.py
@@ -846,6 +846,9 @@ def copy_tree(src, dest, ignore):
         # fine without any extra steps, like setting LD_LIBRARY_PATH.
         if patch_rpath:
             assert platform.system() != "Windows"
+            if shutil.which("patchelf") is None:
+                logging.error("Error: required executable is not available: patchelf")
+                sys.exit(2)
             cloe_utils.patch_binary_files_rpath(dest / "bin", ["$ORIGIN/../lib"])
             cloe_utils.patch_binary_files_rpath(dest / "lib" / "cloe", ["$ORIGIN/.."])