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

------------------------------------------------------------------------------
Write once. Port to many.
Get the SDK and tools to simplify cross-platform app development. Create 
new or port existing apps to sell to consumers worldwide. Explore the 
Intel AppUpSM program developer opportunity. appdeveloper.intel.com/join
http://p.sf.net/sfu/intel-appdev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to