cil-crest make

[GoogleCodeExporter]

What steps will reproduce the problem?
1. cil make
1. crest make

What is the expected output? What do you see instead?

What version of the product are you using? On what operating system?
crest 0.1.1

Please provide any additional information below.
0. No error in ocaml, yices, nor cil ./configure

1. In the cil make:
The extension of the output file must be .o or .so
make[1]: *** [obj/x86_LINUX/libcil.a] Erreur 2
make[1]: quittant le répertoire « /usr/src/crest-0.1.1/cil »
make: *** [setup] Erreur 2

2. In crest make:
g++ -I. -I/usr/include -Wall -O2   -c -o base/symbolic_expression.o 
base/symbolic_expression.cc
base/symbolic_expression.cc: In member function ‘void 
crest::SymbolicExpr::AppendToString(std::string*) const’:
base/symbolic_expression.cc:59: error: ‘sprintf’ was not declared in this 
scope
make: *** [base/symbolic_expression.o] Erreur 1

Original issue reported on code.google.com by thereal...@gmail.com on 5 Mar 2011 at 11:00

[GoogleCodeExporter]

Hi All,
I am getting the following error whenever I am trying to make 

g++ -I. -I/home/avijit/Documents/project/tools/yices-1.0.29/include -Wall -O2   
-c -o libcrest/crest.o libcrest/crest.cc
make: g++: Command not found
make: *** [libcrest/crest.o] Error 127

Can anyone suggest what is the problem ?

Avijit

Original comment by avijit.n...@gmail.com on 22 Aug 2011 at 5:24

[GoogleCodeExporter]

It would appear you don't have the gcc c++ compiler installed.  If you're on a 
fedora system the command to install is:

sudo yum install gcc-c++

John

Original comment by johnmaji...@gmail.com on 24 Aug 2011 at 9:32

[GoogleCodeExporter]

Had the same error as thereal...@gmail.com, when trying to make crest.
Solution is to add
  #include "stdio.h"
in the files that give an error during make
(base/symbolic_expression.cc, run_crest/run_crest.cc)

Original comment by realtime...@gmail.com on 26 Jan 2014 at 7:50

[GoogleCodeExporter]

I believe this issue has been fixed in CREST 0.1.2, available at 
https://github.com/jburnim/crest/releases/tag/v0.1.2 .

Original comment by jbur...@gmail.com on 7 Feb 2014 at 5:26

• Changed state: Fixed