Cannot find z3++.h

[axelvan22]

Hi,

I followed the steps to install SMTPlan (z3 and piranha) but once I arrive at the make command I have this error : SMTPlan/include/SMTPlan/z3++.h:27:9: fatal error: z3++.h: No such file or directory

My z3, piranha and mp++ root directories were once located at the same directory as the one of the KCL-Planning-SMTPlan-edda8a8 directory (extracted from the tar.gz file).

I tried to copy (I know it's dirty) these directories to the KCL-Planning-SMTPlan-edda8a8 directory but it did not fix the error.

Do I have to re-do all the steps of the installation from scratch for the SMTPlan to work?

Axel

[Brugix]

Hi, did you follow the instructions reported here https://github.com/Z3Prover/z3/blob/master/README-CMake.md (under section Unix Makefiles) ?

If so, then you just need to type sudo make install inside the z3/build/ folder. And then inside /usr/local/include/ you should find z3++.h file.

I know it may sound stupid...but I had the same error and this solved my problem (I'm not an expert, so it may have been my fault for not following properly the instructions the firts time).