- Fix devel/cil build with 3.11.0 by using proper object file name
- Fix devel/deputy build with 3.11.0 by using proper object file name
- Fix lang/mtasc. Ocamlp4 syntax has changed and usage of ';' as delimiters
is not allowed now.
- Fix usage message in lang/mtasc.
- Implement a FreeBSD specific code for retriving the executable path in lang/mtasc.
- Update devel/omake to 0.9.8.5.
- Fix devel/omake compilation with 3.11 by dropping an unused reference from the code.
- Fix www/geneweb build with 3.11 by not emitting errors for warnings.
- Fix print/advi build. [2]
- Update lang/cduce to 0.5.3 (this fixes build with ocaml 3.11.0).
PR: ports/130845 [1] [2] (based on)
Submitted by: Hirohisa Yamaguchi <umq@ueo.co.jp> [1],
Tsurutani Naoki <turutani@scphys.kyoto-u.ac.jp> [2]
of the port include:
- A new 'descriptiveCilPrinter' class for friendlier messages.
- Bug fixes, esp. for 64-bit architectures.
A few APIs have also changed so 3rd-party code using the CIL toolkit
may need to be adapted.
Upstream changes include:
- A new module "Cfg" for computing control-flow graphs.
- Several new analyses: reaching definitions, liveness analysis,
available expressions, dead code elimination.
- New flag '--noInsertImplictCasts'.
- Support for C struct layouts used by microcontroller compilers.
- A rewrite of module ext/callgraph.
- Support for many GCC builtin functions.
- Many bug fixes.
- a new command line option --forceRLArgEval for forcing right to left
evaluation of function arguments,
- support for many more gcc builtins,
- numerous bug fixes.
- Make the port NOPORTDOCS clean.
- Remove a few portlint warnings.
- Take over as port maintainer.
Approved by: netchild [MAINTAINER]
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.
