cil-1.7.3_2.txz


Advertisement

Description

cil - Infrastructure for C Program Analysis and Transformation

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Latest amd64
Package name cil
Package version 1.7.3
Package release 2
Package architecture amd64
Package type txz
Installed size 4.56 MB
Download size 1.26 MB
Official Mirror pkg.freebsd.org
Infrastructure for C Program Analysis and Transformation
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.
WWW: http://kerneis.github.com/cil/
Categories: devel, lang
Maintainer: ports@FreeBSD.org
Options:
- DOCS: on
===>   NOTICE:
The cil port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port

Alternatives

Package Version Architecture Repository
cil-1.7.3_2.txz 1.7.3 i386 FreeBSD Ports Latest
cil-1.7.3_2.txz 1.7.3 amd64 FreeBSD Ports Quarterly
cil-1.7.3_2.txz 1.7.3 i386 FreeBSD Ports Quarterly
cil - - -

Requires

Name Value
ocaml = 4.02.3
ocaml-findlib = 1.7.1
perl5 = 5.26.2

Download

Type URL
Binary Package cil-1.7.3_2.txz
Source Package devel/cil

Install Howto

Install cil txz package:

# pkg install cil

See Also

Package Description
cilkplus-rtl-20160603_4.txz Intel Cilk Runtime
cim-3.37_1.txz Compiler for the SIMULA programming language
cimg-2.4.0,3.txz C++ Template Image Processing Library
cinc-2.1.3_1.txz Bell Laboratories cardiac computer emulator
cinelerra-gg-5.1.20180714_3.txz Professional video editing and compositing environment
cinepaint-1.0.4_14.txz Editing tool used for painting and retouching of movies
cingb-0.31.txz Yet another Nintendo GameBoy(tm) emulator
cinnamon-2.4.6_9.txz Fork of GNOME Shell with layout similar to GNOME 2
cinnamon-control-center-2.4.2_7.txz Control center for Cinnamon
cinnamon-desktop-2.4.2_3.txz Additional UI API for cinnamon
cinnamon-menus-2.4.1_1.txz Additional UI API for cinnamon
cinnamon-screensaver-2.4.1.txz GNOME screen saver and locker
cinnamon-session-2.4.3_3.txz Session component for the cinnamon desktop
cinnamon-settings-daemon-2.4.3_3.txz GNOME 3 settings daemon
cinnamon-translations-2.4.2.txz Translations for the cinnamon desktop
Advertisement
Advertisement