diff --git a/Dockerfile b/Dockerfile index 81c2eed4b..3c040fa0b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -13,11 +13,11 @@ RUN cd /tmp && \ tar xvf cap.tgz && cd capstone-4.0.2/ && ./make.sh && make install && rm -rf /tmp/cap* \ && ln -s /usr/lib/libcapstone.so.4 /usr/lib/x86_64-linux-gnu/libcapstone.so -# libbitwuzla >= 0.1.0 +# libbitwuzla >= 0.2.0 RUN cd /tmp && \ git clone https://github.com/bitwuzla/bitwuzla.git && \ cd bitwuzla && \ - git checkout -b 0.1.0 0.1.0 && \ + git checkout -b 0.2.0 0.2.0 && \ python3 ./configure.py --shared && \ cd build && \ ninja install && \ diff --git a/README.md b/README.md index 346a05e87..15cc85643 100644 --- a/README.md +++ b/README.md @@ -101,7 +101,7 @@ Triton relies on the following dependencies: * libboost (optional) >= 1.68 * libpython (optional) >= 3.6 * libz3 (optional) >= 4.6.0 https://github.com/Z3Prover/z3 -* libbitwuzla (optional) >= 0.1.x https://github.com/bitwuzla/bitwuzla +* libbitwuzla (optional) >= 0.2.x https://github.com/bitwuzla/bitwuzla * llvm (optional) >= 12 ```