Dear all, CIL 1.7.3 is available from
http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz.asc This release fixes an installation issues which broke compilation of programs using the CIL library (again, thanks to Zachary Anderson for the report), as well as handling of -fPIC by cilly. As usual, it will also be available on opam shortly: http://opam.ocamlpro.com/pkg/cil.1.7.3.html For more information about CIL: http://kerneis.github.com/cil/ Best regards, -- Gabriel 24 July 2013: cil-1.7.3 * Fix installation of CIL library. * Fix machine-independant flags in cilly (eg. -fPIC).
signature.asc
Description: Digital signature
------------------------------------------------------------------------------ See everything from the browser to the database with AppDynamics Get end-to-end visibility with application monitoring from AppDynamics Isolate bottlenecks and diagnose root cause in seconds. Start your free trial of AppDynamics Pro today! http://pubads.g.doubleclick.net/gampad/clk?id=48808831&iu=/4140/ostg.clktrk
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
