search

ncsro / crest

Automatically exported from code.google.com/p/crest
0 stars 0 forks source link

yices_c.cc can't be compiled #22

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Hi, there is an error for compilation

I tried to compile crest in ~/crest/src using 'make'
Then, yices_solver.cc error as follows 
   -> fatal error: yices_c.h: No such file or directory

What version of the product are you using? On what operating system?
-> ubuntu 14.04  version 0.1.1 for crest

Please provide any additional information below.

Original issue reported on code.google.com by nix3...@gmail.com on 21 May 2014 at 2:40

GoogleCodeExporter commented 8 years ago 
I am facing the same problem using Ubuntu 14.04 with Crest 0.1.2 and Yices 
2.2.2.

Original comment by brenoafm...@gmail.com on 18 Nov 2014 at 2:38

GoogleCodeExporter commented 8 years ago 
I downloaded the yices_c.h from this link 
https://lost-contact.mit.edu/afs/cs.wisc.edu/i386_rh62/site/unsup/yices-1.0.28/i
nclude/yices_c.h

Original comment by riwamou...@gmail.com on 2 Dec 2014 at 10:46