Update Dockerfile

JonathanSalwan · Nov 12, 2023 · fe6af67 · fe6af67
1 parent 47c01b9
commit fe6af67
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
 ```