how is z3 used as a c++ repository in ubuntu?

[chunyanhou]

I installed z3 in ubuntu, and then made examples. But it failed to run cpp_example, and it shows "symbol lookup error: ./cpp_example: undefined sysmbol: Z3_get_string_contents".

When I use Z3 repository in my C++ program, it runs to show the same "undefined symbol" errors.

There are no problems to use z3 as a c++ repository in Windows. But in ubuntu I can't use it in C++ programming. I wonder whether I didn't configure it correctly in ubuntu.