From e2967b0558dbb6b51d85f872337bcf6cb905bde4 Mon Sep 17 00:00:00 2001
From: jumormt <jumormt@163.com>
Date: Mon, 5 Feb 2024 15:16:12 +1100
Subject: [PATCH] sync with SVF

---
 env.sh | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/env.sh b/env.sh
index 7a34afc..7b948af 100755
--- a/env.sh
+++ b/env.sh
@@ -11,18 +11,14 @@ install_path=`npm root`
 
 if [[ $sysOS == "Darwin" ]]
 then
-    LLVM_DIR="$(brew --prefix llvm@${MajorLLVMVer})"
+    export LLVM_DIR="$(brew --prefix llvm@${MajorLLVMVer})"
 elif [[ $sysOS == "Linux" ]]
 then
-    LLVM_DIR=$install_path/$LLVMHome
+    export LLVM_DIR=$install_path/$LLVMHome
 fi
 
-Z3_DIR=$install_path/$Z3Home
-SVF_DIR=$install_path/SVF
-
-export LLVM_DIR=$LLVM_DIR
-export Z3_DIR=$Z3_DIR
-export SVF_DIR=$SVF_DIR
+export Z3_DIR=$install_path/$Z3Home
+export SVF_DIR=$install_path/SVF
 export PATH=$SVF_DIR/Release-build/bin:$PATH
 export PATH=$LLVM_DIR/bin:$PATH
 export PATH=$PROJECTHOME/bin:$PATH