[LLVMdev] Z3 and loadable optimization

[Giacomo Tagliabue]

I created a loadable optimization following the tutorial at
http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3 library,
installed in my system, in my optimization. When I include z3++.h (the name
of the library) in the code and use its classes, it compiles well, but when
I try to run it it says:

> opt: symbol lookup error: /home/giacomo/llvm/Debug+Asserts/lib/Acsl.so:
> undefined symbol: Z3_mk_config
>
What's the issue?
Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130405/bdb9cbee/attachment.html>