search

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
https://triton-library.github.io
Apache License 2.0
3.4k stars 524 forks source link

help me please for compiling #1203

Closed xSanx closed 1 year ago

xSanx commented 1 year ago

cmake then compiling

JonathanSalwan commented 1 year ago

Compile bitwuzla as shared library or use position independent code. See https://github.com/JonathanSalwan/Triton/pull/1199

xSanx commented 1 year ago

Compile bitwuzla as shared library or use position independent code. See #1199

./configure.sh && cd build && make -- share ?

JonathanSalwan commented 1 year ago 
git clone https://github.com/bitwuzla/bitwuzla
cd bitwuzla
./contrib/setup-cadical.sh
./contrib/setup-btor2tools.sh
./contrib/setup-symfpu.sh
./configure.sh --shared
sudo make -C build install