Use macos equivalent of ORIGIN in RPATH (rust-lang#1127)

celinval · Apr 28, 2022 · a3a47e9 · a3a47e9
1 parent 6acc2cf
commit a3a47e9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kani-compiler/build.rs b/kani-compiler/build.rs
@@ -53,9 +53,11 @@ pub fn main() {
     let rustup_tc = env::var("RUSTUP_TOOLCHAIN").unwrap();
     let rustup_lib = path_str!([&rustup_home, "toolchains", &rustup_tc, "lib"]);
     println!("cargo:rustc-link-arg-bin=kani-compiler=-Wl,-rpath,{}", rustup_lib);
+
     // While we hard-code the above for development purposes, for a release/install we look
     // in a relative location for a symlink to the local rust toolchain
-    println!("cargo:rustc-link-arg-bin=kani-compiler=-Wl,-rpath,$ORIGIN/../toolchain/lib");
+    let origin = if cfg!(target_os = "macos") { "@loader_path" } else { "$ORIGIN" };
+    println!("cargo:rustc-link-arg-bin=kani-compiler=-Wl,-rpath,{}/../toolchain/lib", origin);
 
     // Compile kani library and export KANI_LIB_PATH variable with its relative location.
     let out_dir = env::var("OUT_DIR").unwrap();