Hehehe... Fernando talks about CIL [1] while Larry is talking about CIL
[2]. These are two completely different things.
Larry, I would suggest to ask questions about CIL on the CIL users
mailinglist [3], not on the Eiffel users mailinglist. But the CIL
documentation is actually quite good, I guess it already explains how to
use CIL. But since you want to use C2Eif [4], maybe it's website already
explains how to use CIL. Well, ok, I know it does ;-) The manual section
says:
# 1. Preprocess your C project with CIL.
# This is usually as simple as
# configure; make CC="cilly --merge --save-temps"
# but sometimes you have to help CIL a little. Running make on a
# project foo should give you a foo binary (or foo.a library) and
# the merged C file foo.cil.c.
Cheers!
Marco
[1]
http://en.wikipedia.org/wiki/Common_Intermediate_Language
[2]
http://www.cs.berkeley.edu/~necula/cil/
[3]
https://lists.sourceforge.net/lists/listinfo/cil-users
[4]
http://se.inf.ethz.ch/research/c2eif/
On 08/23/2012 04:38 AM, LARRY RIX wrote:
>
> Hello Fernando!
> Thank you for responding. I think the following documentation agrees
> with you. There appears to be a step-by-step:
>
http://www.cs.berkeley.edu/~necula/cil/
> Specifically, look to the Section 2 - Installation. There is refers to
> building the cilly.exe using Visual Studio.
> However, I am now on Linux, but do not see any Linux instructions. I
> will keep looking. If nothing turns up, then I will complete the process
> in Windows first to ensure it at least works and I am able to get to the
> CIL for processing by the C2Eif from Marco Trudel.
> Thanks again!Larry Rix
>
> > To:
eiffel_...@yahoogroups.com
> <mailto:
eiffel_software%40yahoogroups.com>
> > From:
fpelli...@gmail.com <mailto:
fpelliccioni%40gmail.com>