Skip to content

Commit

Permalink
Merge pull request #1383 from guanqin-123/guanqin-123-patch-1
Browse files Browse the repository at this point in the history 
UbuntuArmLLVM link is not added in build.sh
  • Loading branch information
@yuleisui
yuleisui authored Feb 21, 2024
2 parents 7b115f9 + 8899052 commit 93423ba
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions build.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ sysOS=$(uname -s)
arch=$(uname -m)
MajorLLVMVer=16
LLVMVer=${MajorLLVMVer}.0.0
UbuntuArmLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-${LLVMVer}/clang+llvm-${LLVMVer}-aarch64-linux-gnu.tar.xz"
UbuntuLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-${LLVMVer}/clang+llvm-${LLVMVer}-x86_64-linux-gnu-ubuntu-18.04.tar.xz"
SourceLLVM="https://github.com/llvm/llvm-project/archive/refs/tags/llvmorg-${LLVMVer}.zip"
MacZ3="https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-osx-10.14.6.zip"
Expand Down

0 comments on commit 93423ba

Please sign in to comment.