CODEWITHSUNDEEP
z3
James
James

Reputation: 1151

How to run Z3 using Xcode

Can someone tell me how to run z3 using Xcode on Mac? I tried to include all the files in the project but errors occurred saying that the symbols are undefined.

Upvotes: 0

Views: 115

Answers (1)

Christoph Wintersteiger
Christoph Wintersteiger

Reputation: 8393

If your linker says that symbols are missing, it is very likely that it didn't find libz3.dylib, or that it found it and didn't like it for some other reason. In your project settings you need to tell the linker what it should link against (-l options), and where those can be found (-L options).

Upvotes: 2

Related Questions