From 6739122dd70275d773323abe360e29c19f0f1eaf Mon Sep 17 00:00:00 2001 From: Jiawei Wang Date: Mon, 29 Apr 2024 20:28:25 +1000 Subject: [PATCH] Update build.sh --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index f409d473f..63cd1b439 100755 --- a/build.sh +++ b/build.sh @@ -21,7 +21,7 @@ UbuntuArmLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-${ 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" UbuntuZ3="https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-ubuntu-16.04.zip" -UbuntuZ3Arm="https://github.com/bjjwwang/z3-aarch64/archive/refs/tags/4.8.7.zip" +UbuntuZ3Arm="https://github.com/SVF-tools/SVF-npm/archive/refs/tags/libz3-aarch64-4.8.7.zip" SourceZ3="https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.8.zip" # Keep LLVM version suffix for version checking and better debugging