Dear all, I've started working on Debian and Ubuntu packages for CIL. A preliminary package for CIL 1.7.3 is available on OBS (openSUSE Build Service):
https://build.opensuse.org/package/show/home:kerneis/ocaml-cil To install it, follow the instructions on: http://software.opensuse.org/download.html?project=home%3Akerneis&package=ocaml-cil It builds successfully for Debian 6 ("squeeze") and 7 ("wheezy"), as well as xUbuntu 12.04 (LTS), 12.10 and 13.04. It has only been tested on Debian 7, though: any feedback on other systems is welcome. This will hopefully land in official repositories at some point. You can reply or subscribe to the relevant Debian ITP (Intent To Package): http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615158 Note to RPM users: I am aware that Fedora packages are outdated (1.4.0). This is the next bullet on my TODO list. 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
