Mon, 26 Jan 2015 20:29:45 UTC | login

Information for build ocaml-cil-1.3.7-8.fc15

ID213148
Package Nameocaml-cil
Version1.3.7
Release8.fc15
Epoch
SummaryCIL - Infrastructure for C Program Analysis and Transformation
DescriptionCIL (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.
Built byrjones
State complete
StartedFri, 07 Jan 2011 15:34:07 UTC
CompletedFri, 07 Jan 2011 15:36:37 UTC
Taskbuild (dist-rawhide, /ocaml-cil:580a710b997cf45cb655f2de04bee0a3c882b0a0)
Tags
dist-f15
dist-f15-eol
RPMs
src
ocaml-cil-1.3.7-8.fc15.src.rpm (info) (download)
i686 (build logs)
ocaml-cil-1.3.7-8.fc15.i686.rpm (info) (download)
ocaml-cil-cilly-1.3.7-8.fc15.i686.rpm (info) (download)
ocaml-cil-devel-1.3.7-8.fc15.i686.rpm (info) (download)
ocaml-cil-doc-1.3.7-8.fc15.i686.rpm (info) (download)
x86_64 (build logs)
ocaml-cil-1.3.7-8.fc15.x86_64.rpm (info) (download)
ocaml-cil-cilly-1.3.7-8.fc15.x86_64.rpm (info) (download)
ocaml-cil-devel-1.3.7-8.fc15.x86_64.rpm (info) (download)
ocaml-cil-doc-1.3.7-8.fc15.x86_64.rpm (info) (download)
Changelog * Fri Jan 07 2011 Richard W.M. Jones <rjones@redhat.com> - 1.3.7-8 - Rebuild for OCaml 3.12 (http://fedoraproject.org/wiki/Features/OCaml3.12). - Patch: Remove '-lstr' option. - Move configure into %build section. * Tue Jun 01 2010 Marcela Maslanova <mmaslano@redhat.com> - 1.3.7-6 - Mass rebuild with perl-5.12.0 * Wed Dec 30 2009 Richard W.M. Jones <rjones@redhat.com> - 1.3.7-5 - Rebuild for OCaml 3.11.2. * Mon Dec 07 2009 Stepan Kasal <skasal@redhat.com> - 1.3.7-4 - rebuild against perl 5.10.1 * Fri Oct 23 2009 Richard W.M. Jones <rjones@redhat.com> - 1.3.7-3 - Include natively compiled files and *.mli files (RHBZ#521324). * Sat Jul 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Tue May 26 2009 Richard W.M. Jones <rjones@redhat.com> - 1.3.7-1 - New upstream version 1.3.7. - Rebuild for OCaml 3.11.1. * Thu Apr 16 2009 S390x secondary arch maintainer <fedora-s390x@lists.fedoraproject.org> - ExcludeArch sparc64, s390, s390x as we don't have OCaml on those archs (added sparc64 per request from the sparc maintainer) * Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3.6-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Wed Jan 21 2009 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-10 - Fix prelink configuration file. * Fri Dec 05 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-9 - Patch to fix stricter -output-obj checks in OCaml 3.11.0. * Wed Nov 19 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-8 - Rebuild for OCaml 3.11.0 * Tue Sep 02 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-7 - Prevent unwanted bytecode stripping by RPM and prelink. - Place *.ml files into the -devel subpackage. * Mon Jul 07 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-6 - Fix Perl paths (rhbz#453759). * Wed Apr 23 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-5 - Rebuild for OCaml 3.10.2 * Wed Nov 07 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-4 - ExcludeArch ppc - CIL doesn't build on PPC as it turns out. * Wed Nov 07 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-3 - Change upstream URL. - perl(CilConfig) set to package version - Split out documentation into a separate -doc package. * Mon Aug 20 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-2 - Initial RPM release.