search

ncsro / crest

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

crest make error #6

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. make process

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.

Files 'run_crest/run_crest.cc' and 'base/symbolic_expression.cc' were missing 
an '#include <stdio.h>' declaration. Must fix for the make process to build 
successfully.

Original issue reported on code.google.com by nick.nac...@gmail.com on 28 Dec 2010 at 11:17

GoogleCodeExporter commented 8 years ago 
I think I was having, and may still be having, a similar problem. When running 
make within crest-0.1.1/src I was getting errors saw this issue and added the 
stdio includes. Doing so made the errors I was having go away but now I have a 
Malformed archive error:

ar rsv libcrest/libcrest.a libcrest/crest.o base/basic_types.o 
base/symbolic_execution.o base/symbolic_interpreter.o base/symbolic_path.o 
base/symbolic_predecate.o base/symbolic_expression.o base/yices_solver.0
ar: libcrest/libcrest.a: Malformed archive
make: *** [libcrest/libcrest.a] Error 1

I have crest-0.1.1, ocaml-3.12.0, yices-1.0.29, and am trying to run it through 
cygwin on win7 if that helps at all.

Thank you

Andrew

Original comment by andy.s...@gmail.com on 1 Mar 2011 at 10:52

GoogleCodeExporter commented 8 years ago 
Running make clean then make again fixed the malformed archive error. (I have 
other errors don't know if they are related)

Andrew

Original comment by andy.s...@gmail.com on 1 Mar 2011 at 11:08

GoogleCodeExporter commented 8 years ago 
Try getting the latest version from the subversion repository:

svn checkout http://crest.googlecode.com/svn/trunk/ crest-read-only

It has the whole CIL issue solved with a patched new version of it.
I haven't ever tried to use it on a windows platform though, only on linux 
(ubuntu).

Original comment by nick.nac...@gmail.com on 2 Mar 2011 at 10:14

GoogleCodeExporter commented 8 years ago 
me too, I want to get the full input during the execution, so I change the file 
in the src directory and want to reproduce files. then confront the make error!

Original comment by luzhengy...@gmail.com on 1 Jul 2013 at 2:07

GoogleCodeExporter commented 8 years ago 
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:25