[YICES-HELP] troubles compiling first example

Luca Zanetti zanetti.luca at gmail.com
Tue Apr 21 03:52:36 PDT 2009

I'm a new user of Yices, I've installed it on OSX Leopard on a PPC.

this is the example i want to run


int main() {
	yices_context ctx = yices_mk_context();
	return 0;

i compile it with the option
gcc -o test -I ~/include -L ~lib test.c -lyices -lgmp -lstdc++

and this is the output

ld: library not found for -lyices
collect2: ld returned 1 exit status

Can you help me to solve this problem?


More information about the YICES-HELP mailing list