From a8a12d8a5bb9d7982e3ca822eb54130ad90501e5 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Thu, 13 Jun 2024 17:19:28 +0200
Subject: [PATCH] wip: does that fix the CI?

---
 engine/names/extract/build.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/engine/names/extract/build.rs b/engine/names/extract/build.rs
index 2e4a38511..46dbc1e26 100644
--- a/engine/names/extract/build.rs
+++ b/engine/names/extract/build.rs
@@ -142,9 +142,6 @@ fn get_json() -> String {
     .stderr(Stdio::piped());
 
     cmd.env("CARGO_TARGET_DIR", target_dir("hax"));
-    for env in ["DYLD_FALLBACK_LIBRARY_PATH", "LD_LIBRARY_PATH"] {
-        cmd.env_remove(env);
-    }
     let out = cmd.output().unwrap();
     let stdout = String::from_utf8(out.stdout).unwrap();
     let stderr = String::from_utf8(out.stderr).unwrap();