[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Fedora 9 Update: ocaml-cil-1.3.6-5.fc9



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-6224
2008-07-30 18:12:15
--------------------------------------------------------------------------------

Name        : ocaml-cil
Product     : Fedora 9
Version     : 1.3.6
Release     : 5.fc9
URL         : http://cil.sourceforge.net/
Summary     : CIL - Infrastructure for C Program Analysis and Transformation
Description :
CIL (C Intermediate Language) is a high-level representation along
with a set of tools that permit easy analysis and source-to-source
transformation of C programs.

CIL is both lower-level than abstract-syntax trees, by clarifying
ambiguous constructs and removing redundant ones, and also
higher-level than typical intermediate languages designed for
compilation, by maintaining types and a close relationship with the
source program. The main advantage of CIL is that it compiles all
valid C programs into a few core constructs with a very clean
semantics. Also CIL has a syntax-directed type system that makes it
easy to analyze and manipulate C programs. Furthermore, the CIL
front-end is able to process not only ANSI-C programs but also those
using Microsoft C or GNU C extensions. If you do not use CIL and want
instead to use just a C parser and analyze programs expressed as
abstract-syntax trees then your analysis will have to handle a lot of
ugly corners of the language (let alone the fact that parsing C itself
is not a trivial task).

In essence, CIL is a highly-structured, "clean" subset of C. CIL
features a reduced number of syntactic and conceptual forms. For
example, all looping constructs are reduced to a single form, all
function bodies are given explicit return statements, syntactic sugar
like "->" is eliminated and function arguments with array types become
pointers.

--------------------------------------------------------------------------------
Update Information:

The F-9 package of ocaml-cil-cilly has modules in "perl 5.8.8" paths,  which are
not found by F-9's perl 5.10.0. The package therefore needs rebuilding  for perl
5.10.0.    There was a mass rebuild of perl packages late in the F-9 development
period but  this package missed out on it, possibly because it is missing a perl
version  "module compat" dependency and hence didn't have broken deps when perl
was  upgraded to 5.10.0.
--------------------------------------------------------------------------------
ChangeLog:

* Mon Jul  7 2008 Richard W.M. Jones <rjones redhat com> - 1.3.6-5
- Fix Perl paths (rhbz#453759).
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #453759 - ocaml-cil-cilly not built for perl 5.10.0
        https://bugzilla.redhat.com/show_bug.cgi?id=453759
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml-cil' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
http://fedoraproject.org/keys
--------------------------------------------------------------------------------


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]