does not compile under ubuntu 19.10

[FelipeLema]

I just spinned an Ubuntu fresh 19.10 virtualbox, complying all requirements with default packages (without adding third party PPAs/repos) and following instructions in the readme. The cmake --build step fails.

Tried both using g++ and clang++-7 as compiler.

On this matter, I can help with the diagnose by adding a travis CI integration, but I dunno if it will be accepted/is part of the scope of this project.

[Superbelko]

Sorry for late response. For some reason I haven't received any notifications.

I will update Linux guide soon. But in any way please don't expect too much from this tool just yet. It can only reliably handle some basic libraries like 'dearimgui' and likely will hit assertion issue on REAL codebases.

[Superbelko]

I've updated build instructions, could you try again and see if it works? If it still fails can you post the build log please?

[FelipeLema]

I got the following error

make[2]: *** No rule to make target '/usr/local/lib/libz3.so', needed by 'gentool'.  Stop.                                                       
make[1]: *** [CMakeFiles/Makefile2:73: CMakeFiles/gentool.dir/all] Error 2
make: *** [Makefile:84: all] Error 2 

Even with libz-dev installed. One thing is that if I edit build/CMakeFiles/gentool.dir/build.make and change the location of libz3.so to the correct one, it compiles.

[Superbelko]

It's not zlib, it is Z3, a graph solver IIRC. It is the dependency of LLVM itself.

What packages do you use? llvm-##-dev and clang-##-dev? If that's the case then the problem could possibly be with that specific version.

[FelipeLema]

I'm using clang+llvm-9.0.0 from the official releases page

[FelipeLema]

Oh, my bad: I meant libz3-dev was installed, not libz-dev. Even so, I don't know why CMake resolves to a wrong location.