Port details on branch 2022Q2 |
- cil Infrastructure for C Program Analysis and Transformation
- 1.7.3_3 devel
=2 1.7.3_3Version of this port present on the latest quarterly branch.
- DEPRECATED: Unmaintained upstream due to lack of time
This port expired on: 2024-03-31
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2003-10-11 19:38:02
- Last Update: 2024-04-01 11:43:17
- Commit Hash: 242ed96
- People watching this port, also watch:: zip, libao
- Also Listed In: lang
- License: BSD3CLAUSE
- WWW:
- http://kerneis.github.com/cil/
- Description:
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- Conflicts:
- CONFLICTS:
- Conflicts Matches:
-
There are no Conflicts Matches for this port. This is usually an error.
- No installation instructions:
- This port has been deleted.
- PKGNAME: cil
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: amd64 armv7 i386 powerpc powerpc64 powerpc64le
- distinfo:
- SHA256 (cil-1.7.3.tar.gz) = 69b7f290d2b15dd44e2b837d3de0922245be841f79ab56a7e9ba8205544be314
SIZE (cil-1.7.3.tar.gz) = 1893257
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocamlbuild : devel/ocaml-ocamlbuild
- META : math/ocaml-num
- ocamlc : lang/ocaml
- ocamlfind : devel/ocaml-findlib
- gmake>=4.3 : devel/gmake
- perl5>=5.36<5.37 : lang/perl5.36
- Runtime dependencies:
-
- ocamlc : lang/ocaml
- ocamlfind : devel/ocaml-findlib
- perl5>=5.36<5.37 : lang/perl5.36
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for cil-1.7.3_3:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- devel_cil
- USES:
- gmake perl5
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|