Dear all, On Thu, Aug 29, 2013 at 12:08:03PM +0100, Gabriel Kerneis wrote: > I am aware that Fedora packages are outdated (1.4.0). This is the next bullet > on my TODO list.
RPM packages of CIL 1.7.3 are now available at the same url for CentOS 6, Fedora 18 and 19, and openSUSE Factory. https://build.opensuse.org/package/show/home:kerneis/ocaml-cil Download instructions: http://software.opensuse.org/download.html?project=home%3Akerneis&package=ocaml-cil These are still a bit rough, but any feedback would be very welcome. I'll clean the build process as much as possible in the next few days and then submit patches for Fedora: https://admin.fedoraproject.org/pkgdb/acls/bugs/ocaml-cil I don't plan to get them included into openSuse or CentOS because I don't the process for those distributions, but any contribution or advice of anybody using them is welcome. I'll keep the copy on build.opensuse.org up-to-date anyway. Best regards, -- 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
