Dear all, CIL 1.7.1 is available from
http://sourceforge.net/projects/cil/files/cil/cil-1.7.1.tar.gz http://sourceforge.net/projects/cil/files/cil/cil-1.7.1.tar.gz.asc This release is focused on an improved build and installation system. You can now install CIL without root permission (using FORCE_PERL_PREFIX, see README.md). As a result, an updated opam package should be available as soon as my pull request is accepted by OCamlPro: https://github.com/OCamlPro/opam-repository/pull/808 A few little bells and whistles: the API documentation now uses the latest ocamldoc stylesheet. http://kerneis.github.io/cil/doc/html/cil/api/ 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: http://kerneis.github.com/cil/ Best regards, -- Gabriel 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 automatically. Cleanup autoconf scripts.
signature.asc
Description: Digital signature
------------------------------------------------------------------------------ This SF.net email is sponsored by Windows: Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
