Re: [CIL users] [cil-users] Using CIL standalone

[Mihai T. L. <mt...@gm...>]

On Wed, Dec 28, 2011 at 03:16:46AM -0800, Jonathan Kotker wrote:

> I am basically looking for a way to provide the executable without having
> to include all of the CIL source code, when distributing the tool. If it's
> not possible, I wouldn't mind having the user configure and make the source
> code, but I was wondering if it was possible to avoid this extra step for
> the user.

I see that Fedora distributes a binary package for CIL
(ocaml-cil) and one for Cilly (ocaml-cil-cilly).

The packages install the usual way, with no sources
or compilation.  The contents is mostly object files for
ocaml-cil RPM and the executables and a few Perl modules for
ocaml-cil-cilly RPM.

If the end result suits your usage needs you can have a look at
the build in the .spec file from the source packages to figure
out how to reproduce the install for other package formats or
no package at all. :-)

Mihai