Error while installing CREST (yices_c.h: No such file or directory)

[brenomiranda]

Brief description: Fatal error message is displayed while installing CREST

Steps to reproduce:

1. Download and install Yices 2.2.2
2. Change YICES_DIR in src/Makefile to point to Yices location
3. Build CIL by running "configure" and "make" in the cil/ directory
4. Try to build CREST by running "make" in the src/ directory

Expected results:

• CREST should be properly build after step #4.

Actual result:

• A fatal error message is displayed stating that yices_c.h cannot be found (fatal error: yices_c.h: No such file or directory)
• This is the complete error message:

g++ -I. -I/home/user/Downloads/yices-2.2.2/include -Wall -O2   -c -o base/yices_solver.o base/yices_solver.cc
base/yices_solver.cc:17:21: fatal error: yices_c.h: No such file or directory
 #include <yices_c.h>
                     ^
compilation terminated.
make: *** [base/yices_solver.o] Error 1

Environment information:

• Ubuntu 14.04 (64-bit)
• Crest 0.1.2
• Yices 2.2.2

Additional information:

• It seems that this issue has been already reported at google code page for the CREST project (Issue 22) since May, 2014.

[endadul]

I faced the same problem. Later I downloaded Yices 1.0.40 from here (http://yices.csl.sri.com/download-yices1.shtml). It worked for me.

[MaxTracks]

The same issue occurred for me. Even modifying the includes to Yices headers did not resolve the problem. Using Yices 1.0.40 solved my problem. Here is an updated link to it: http://yices.csl.sri.com/cgi-bin/yices-newlicense.cgi?file=yices-1.0.40-x86_64-unknown-linux-gnu-static-gmp.tar.gz

[jburnim]

I updated the README to make it clear that version 1 of Yices must be used.

[charitha22]

Can someone share yices version 1. These links are broken.

[9iang22]

Yices 1 can be downloaded here: https://yices.csl.sri.com/old/download-yices1.html