Closed ghost closed 1 year ago
@abenedic Make sure to use the vcpkg from cxx-common, using llvm-16. PASTA relies on custom patches to Clang in order to collect more precise information, especially about macros. Some of the errors are related to not using LLVM 16. Some warnings are in auto-generated code, and some are in (modified) code copied from Clang (decl/stmt/type printers). Generally for the latter we don't try to fix them.
I would recommend consulting the CI process for how to build PASTA.
Hello, sorry to bother you if this is a known issue. I am using arch linux and following the instructions. I installed vcpkg from github following their instructions, and I needed to install Z3 with vcpkg on my system at least.
Also in the section with
teh
should likely bethe
.After adding Z3 with vcpkg I get
for which I do
After that running
make install
gives:Plus a whole lot more pages of errors.
I am not intending this to be mean, but currently this isn't able to work for me, and I would be super nice if it did since it seems like a very useful library that would solve a big problem for me.