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 Fix cilly stalling #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.