CREST Testing

Hey guys,

I’m new here, but I’m trying to get help on setting up a validation programming called CREST if anyone has heard of it. I’m trying to compile it without any success if anyone has experience and is willing to help me that would be greatly appreciated.

Here’s the site if anyone is interested:


I have untar yikes and changed the makefile in the crest directory for the src folder to point to the directory path of yikes. When calling make, it seems as though there is a missing file, here’s the error of the make call:

/usr/bin/ld: skipping incompatible /nfs/rack/u5/o/onh/validation/yices-1.0.29/lib/libyices.a when searching for -lyices
/usr/bin/ld: cannot find -lyices
collect2: ld returned 1 exit status
make: *** [run_crest/run_crest] Error 1

Anyone have any ideas?