search

z3str / Z3-str

A Z3-Based String Constraint Solver
Other
87 stars 13 forks source link

Fata error during installation #19

Open tejas619 opened 7 years ago

tejas619 commented 7 years ago

Hi,

I am trying to install the Z3-str2 plugin on my Ubuntu16.04 machine. I was able to successfully install till step 4. In step 5, after the change in the Makefile, I am getting an error: fatal error: z3.h: No such file directory compilation terminated.

I checked the path again if I have patched the correct directory. It all looks good till step 4. Can you help me figure out this error?

Thanks, Tejas.

lpxz commented 7 years ago

set Z3_path to the folder that contains z3, rather than the path of z3.