Mon, 02 Dec 2024 22:44:09 UTC | login

Information for build ocaml-cil-1.7.3-40.fc29

ID32620
Package Nameocaml-cil
Version1.7.3
Release40.fc29
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 bydavidlt
State complete
Volume DEFAULT
StartedSat, 30 Jun 2018 23:07:49 UTC
CompletedSun, 01 Jul 2018 04:56:39 UTC
Taskbuild (f29-candidate, ocaml-cil-1.7.3-40.fc29.src.rpm)
Tags
f29
RPMs
src
ocaml-cil-1.7.3-40.fc29.src.rpm (info) (download)
riscv64
ocaml-cil-1.7.3-40.fc29.riscv64.rpm (info) (download)
ocaml-cil-cilly-1.7.3-40.fc29.riscv64.rpm (info) (download)
ocaml-cil-devel-1.7.3-40.fc29.riscv64.rpm (info) (download)
ocaml-cil-doc-1.7.3-40.fc29.riscv64.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-40.fc29.riscv64.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-40.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-40 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Nov 22 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-39 - OCaml 4.06.0 rebuild. - Fixes for -safe-string. - Stop using opt macro. - Enable debuginfo on all architectures. * Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-38 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-36 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-35 - OCaml 4.04.2 rebuild. * Wed Jun 07 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-34 - Perl 5.26 re-rebuild of bootstrapped packages * Wed Jun 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-33 - Rebuild against ocamlfind 1.7.3. * Sun Jun 04 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-32 - Perl 5.26 rebuild * Mon May 22 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-31 - Fix unescaped left brace in regex * Sat May 13 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-30 - OCaml 4.04.1 rebuild. * Tue Feb 14 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-29 - Fix compilation with GCC 7. * Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-27 - Rebuild for OCaml 4.04.0. - Add explicit dependency on ocamlbuild. * Wed Oct 19 2016 Dan Horák <dan[at]danny.cz> - 1.7.3-26 - disable debuginfo subpackage on interpreted builds * Tue May 17 2016 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-25 - Perl 5.24 rebuild * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-23 - OCaml 4.02.3 rebuild. * Mon Jul 20 2015 Richard W.M. Jones <rjones@redhat.com> 1.7.3-22 - Add patch for bytecode compilation, and enable on all arches. * Mon Jun 29 2015 Peter Robinson <pbrobinson@fedoraproject.org> 1.7.3-21 - Build on ARMv7 (rhbz 994968) as it seems to now be fixed * Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-20 - ocaml-4.02.2 final rebuild. * Thu Jun 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-19 - ocaml-4.02.2 rebuild. * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7.3-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat Jun 06 2015 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-17 - Perl 5.22 rebuild * Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-16 - ocaml-4.02.1 rebuild. - Make test suite advisory. Even upstream it does not work fully. * Wed Sep 03 2014 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-14 - Perl 5.20 rebuild * Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-13 - ocaml-4.02.0 final rebuild. * Thu Aug 28 2014 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-12 - Perl 5.20 rebuild * Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-11 - ocaml-4.02.0+rc1 rebuild. * Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-9 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. * Mon Jul 21 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-8 - OCaml 4.02.0 beta rebuild. - Add patch from upstream to fix hang during build on 4.02.0. * Thu Jun 19 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-6 - Fix Perl broken dependencies. * Thu Jun 12 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-5 - Bump and rebuild to attempt to fix broken dependencies. * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sat Sep 14 2013 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-3 - Rebuild for OCaml 4.01.0. - Enable debuginfo. * Tue Sep 03 2013 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-2 - ExcludeArch armv7hl (RHBZ#994968). * Fri Aug 30 2013 Gabriel Kerneis <gabriel@kerneis.info> - 1.7.3-1 - New upstream version 1.7.3. - Use upstream make install target. - Build and install documentation. - Run test suite. - Fix perl-related Provides and Requires for -cilly. - Enable on arm and ppc (fixed by upstream ./configure). - Apply two upstream patches to test suite. * Sun Aug 04 2013 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-10 - Disable on arm (not supported by upstream ./configure). - Modernize the spec file. * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4.0-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed Jul 17 2013 Petr Pisar <ppisar@redhat.com> - 1.4.0-8 - Perl 5.18 rebuild * Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Sun Dec 02 2012 Bruno Wolff III <bruno@wolff.to> - 1.4.0-6 - Rebuild for ocaml 4.0.1. * Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Thu Jun 28 2012 Petr Pisar <ppisar@redhat.com> - 1.4.0-4 - Perl 5.16 rebuild * Sun Jun 10 2012 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-3 - Rebuild for OCaml 4.00.0. * Thu Jun 07 2012 Petr Pisar <ppisar@redhat.com> - 1.4.0-2 - Perl 5.16 rebuild - Specify all Perl dependencies * Fri Jan 06 2012 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-1 - New upstream version 1.4.0. - Rebuild for OCaml 3.12.1. * Mon Jun 20 2011 Marcela Mašláňová <mmaslano@redhat.com> - 1.3.7-10 - Perl mass rebuild * Thu Jun 09 2011 Marcela Mašláňová <mmaslano@redhat.com> - 1.3.7-9 - Perl 5.14 mass rebuild * 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.