On Sat, Aug 31, 2013 at 09:42:38PM +0100, Gabriel Kerneis wrote: > I'll clean the build process as much as possible in the next few days and then > submit patches for Fedora
Thanks to Richard Jones, the package will be available in Fedora 20 and Rawhide: https://apps.fedoraproject.org/packages/ocaml-cil/overview/ Fedora 18 and 19 users should probably upgrade, but can otherwise use packages from http://build.opensuse.org mentionned previously. Best, -- Gabriel ------------------------------------------------------------------------------ Learn the latest--Visual Studio 2012, SharePoint 2013, SQL 2012, more! Discover the easy way to master current and previous Microsoft technologies and advance your career. Get an incredible 1,500+ hours of step-by-step tutorial videos with LearnDevNow. Subscribe today and save! http://pubads.g.doubleclick.net/gampad/clk?id=58040911&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
