Update env.sh

SVF-tools · Feb 7, 2024 · a1ff11b · a1ff11b
1 parent 64147df
commit a1ff11b
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/env.sh b/env.sh
@@ -9,14 +9,7 @@ LLVMHome="llvm-${LLVMVer}.obj"
 Z3Home="z3.obj"
 install_path=`npm root`
 
-if [[ $sysOS == "Darwin" ]]
-then
-    export LLVM_DIR="$(brew --prefix llvm@${MajorLLVMVer})"
-elif [[ $sysOS == "Linux" ]]
-then
-    export LLVM_DIR=$install_path/$LLVMHome
-fi
-
+export LLVM_DIR=$install_path/$LLVMHome
 export Z3_DIR=$install_path/$Z3Home
 export SVF_DIR=$install_path/SVF
 export PATH=$SVF_DIR/Release-build/bin:$PATH