[YICES-HELP] troubles compiling first example

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


Hi,
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

----
#include"yices_c.h"

int main() {
	yices_context ctx = yices_mk_context();
	
	yices_del_context(ctx);
	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?
thanks

Luca



More information about the YICES-HELP mailing list