معرفی شرکت ها

ocaml-cil-1.7.3-77.fc38.src.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

CIL - Infrastructure for C Program Analysis and Transformation
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته ocaml-cil
نام فایل بسته ocaml-cil-1.7.3-77.fc38.src.rpm
نسخه بسته 1.7.3
انتشار بسته 77.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 12
هاست سازنده buildvm-x86-19.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/cil-project/cil
مجوز BSD
حجم دانلود 1.9M
حجم نصب 1.834M
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.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-cil-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything
ocaml-cil-cilly-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-cilly-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything
ocaml-cil-devel-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-devel-1.7.3-77.fc38.i686.rpm 1.7.3 i686 Fedora Everything
ocaml-cil-devel-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything
ocaml-cil-doc-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-doc-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
- hevea
- make
- ocaml
- ocaml-findlib-devel
- ocaml-num-devel
- ocaml-ocamlbuild
- ocaml-ocamldoc
- perl(Carp)
- perl(Data::Dumper)
- perl(ExtUtils::MakeMaker)
- perl(File::Basename)
- perl(File::Copy)
- perl(File::Spec)
- perl(File::Temp)
- perl(FindBin)
- perl(Getopt::Long)
- perl(Text::ParseWords)
- perl(lib)
- perl(strict)
- perl-generators
- tex(latex)


ارائه دهنده

مقدار نام
= 1.7.3-77.fc38 ocaml-cil
= 1.7.3-77.fc38 ocaml-cil-devel
= 1.7.3-77.fc38 ocaml-cil-doc
= 1.7.3-77.fc38 ocaml-cil-cilly


نحوه نصب


نصب پکیج rpm ocaml-cil:

    dnf install ocaml-cil-1.7.3-77.fc38.src.rpm


فایل ها

مسیرها
0001-Fix-testsuite-on-32-bit-machines.patch
0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch
cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch
cil-1.7.3-add-package-cilconfig.patch
cil-1.7.3-bytecode-compilation.patch
cil-1.7.3-enable-ocamlopt-g.patch
cil-1.7.3-gcc-7.patch
cil-1.7.3-safe-string.patch
cil-1.7.3.tar.gz
ocaml-4.02.0.patch


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-06-18

OCaml 4.14.0 rebuild

2022-06-01

Perl 5.36 rebuild

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-04

OCaml 4.13.1 build

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-05-22

Perl 5.34 rebuild

2021-03-01

OCaml 4.12.0 build

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild