M Ramdhan

Results 18 comments of M Ramdhan

It's ok if you can't merge it. I don't want my code breaks this repo. Do you want to close this PR or keep it open until this PR better?....

This issue is gone apparently, this issue appear I was installing via WSL2 Ubuntu. But now I uninstall everything the WSL, and I reinstall in Ubuntu VM instead. I can't...

same issue here, tags generate to cache, but not set tagfiles. but, if i set tags file manually using `set tags+=/path/to/cache/tags` it's works. Using `let g:gutentags_trace=1` output like this ```...

using 4.0.0, still got the same problem using `./configure.py --shared --prefix /usr` when compiling Bitwuzla

ok I success built with this by specifying -DBITWUZLA_LIBRARIES : ``` cmake -DBITWUZLA_INCLUDE_DIRS=/usr/include -DZ3_INTERFACE=ON -DLLVM_INTERFACE=ON -DCMAKE_PREFIX_PATH=/usr/lib/llv│Stripping target 'src/lib/libbitwuzlabv.so'. m-14 -DBITWUZLA_LIBRARIES=/usr/lib/x86_64-linux-gnu/libbitwuzla.so .. ```