sync with SVF

SVF-tools · Feb 5, 2024 · e2967b0 · e2967b0
1 parent 5a7de05
commit e2967b0
Showing 1 changed file with 4 additions and 8 deletions.
diff --git 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