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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
