CIL 1.7.1 is available from
This release is focused on an improved build and installation system.
You can now install CIL without root permission (using FORCE_PERL_PREFIX,
As a result, an updated opam package should be available as soon as my
pull request is accepted by OCamlPro:
A few little bells and whistles: the API documentation now uses the
latest ocamldoc stylesheet.
The roadmap for the near future is:
- update and improve documentation (including stylesheet),
- allow extensions to be loaded dynamically,
- (hopefully) provide .deb and .rpm packages.
The goal, as you can guess, is to allow you to develop and use your CIL
extensions outside of CIL's tree. You should ideally be able to install
CIL from opam/apt-get/ yum/whatever, write your own extension, compile it
easily with ocamlbuild and ocamlfind, and run the installed version of
cilly using your module.
For more information about CIL:
June 18, 2013: Released version 1.7.1.
Improve build system, including:
Fix make uninstall.
Add a FORCE_PERL_PREFIX to ease installation in home directory.
Detect OCaml native compilers automatically.
Switch to ocamlbuild.
Infer files to install for ocamlfind, and generate missing interfaces
Cleanup autoconf scripts.