search

ncsro / crest

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

Cannot build cil for crest on Ubuntu 9.10 #3

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
1. I try to use crest (version 0.1.1) on my Ubuntu 9.10 (x86 cpu), gcc
version 4.3.4
2. It says on the webpage that CIL is required.
3. I run crest/cil/./configure
4. It complains about ocaml not being installed
5. I install ocaml via sudo apt-get install ocaml, this gets me version 3.11.1
6. I run configure again, it works.
7. I run make, I get the error:
....
obj/x86_LINUX/availexpslv.cmx obj/x86_LINUX/predabst.cmx
obj/x86_LINUX/testcil.cmx obj/x86_LINUX/crestInstrument.cmx
obj/x86_LINUX/ciloptions.cmx obj/x86_LINUX/feature_config.cmx
The extension of the output file must be .o or .so
make[1]: *** [obj/x86_LINUX/libcil.a] Error 2
make[1]: Leaving directory `/home/amine/Downloads/crest-0.1.1/cil'
make: *** [setup] Error 2

Original issue reported on code.google.com by AmineMar...@gmail.com on 21 Mar 2010 at 5:55

GoogleCodeExporter commented 8 years ago 

I have confirmed this issue.  CIL 1.3.6 does not appear to build under the most 
recent version of OCaml (3.11.2) on x86 Linux (or Mac OS X).  Thus, neither 
does the 
modified version of CIL 1.3.6 distributed with CREST.

CIL 1.3.7 appears to build correctly.  I will upgrade the version of
 CIL distributed with CREST to 1.3.7.

(In the meantime, you may be able to use an older version of OCaml as a 
workaround.  OCaml 3.10.2 works on my system.)

Thanks for the bug report!

Original comment by jbur...@gmail.com on 23 Mar 2010 at 3:29

GoogleCodeExporter commented 8 years ago 
I have installed OCaml version 3.10.2 from [1], then re-attempted steps 6 and 7 
--
which reproduced exactly the same error.
I have installed OCaml version 3.10.0 from [1], I got the same error as well.
[1] http://caml.inria.fr/pub/distrib/ocaml-3.10/

Original comment by AmineMar...@gmail.com on 23 Mar 2010 at 9:57

GoogleCodeExporter commented 8 years ago 
I have installed OCaml version 3.08.4 from [2]. I get same errors.
[2] http://caml.inria.fr/pub/distrib/ocaml-3.08/

Original comment by AmineMar...@gmail.com on 23 Mar 2010 at 10:10

GoogleCodeExporter commented 8 years ago 

Are you able to build a clean copy of CIL 1.3.7 from 
http://sourceforge.net/projects/cil/files/cil/cil-1.3.7/cil-1.3.7.tar.gz/downloa
d ?

In any case, I have checked in a modified version of CIL 1.3.7 for CREST.  Can 
you try 
the latest version of CREST from the SVN repository 
(http://code.google.com/p/crest/source/checkout)?

Thanks,
Jacob

Original comment by jbur...@gmail.com on 23 Mar 2010 at 6:08

GoogleCodeExporter commented 8 years ago 
I have downloaded crest-0.1.1, yices-1.0.29, ocaml-3.08.0 and i m using 
ubantu(linux)
afterword i have pasted yices-1.0.29 and ocaml-3.08.0 in the crest-0.1.1 folder.
i m getting problem in crest make step.. pls tell me the proper step.

Original comment by sanghu1...@gmail.com on 1 Oct 2012 at 8:34

GoogleCodeExporter commented 8 years ago 
Did you first configure and build CREST's copy of CIL?

Please try checking out the latest version of CREST from the SVN repo: 
http://code.google.com/p/crest/source/checkout .  Does this build for you?

(If you encounter any further issues, please include the log of the commands 
you used and the full output / error messages that were produced.)

Original comment by jbur...@gmail.com on 1 Oct 2012 at 5:06