Commit graph

6 commits

Author SHA1 Message Date
Stanislav Sedov
e8cf9a17c8 - Fix build with ocaml 3.12.
Reported by:	pav
2011-04-04 08:44:16 +00:00
Dennis Herrmann
7bbce31590 - Update to 1.3.7 2009-06-01 19:19:57 +00:00
Stanislav Sedov
c6762e8051 - Update lang/ocaml to 3.11.0. [1]
- 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]
2009-04-11 13:23:05 +00:00
Joseph Koshy
6835fb53d6 Upgrade to v1.3.6. Upstream changes from the previous version
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.
2007-02-06 03:55:51 +00:00
Joseph Koshy
c00baaf5b0 - Fix Perl paths to allow "bin/cilly" to work. [1]
- Enable this port on FreeBSD/amd64.

PR:		ports/101312	[1]
Submitted by:	Li-Wen Hsu <lwhsu at lwhsu.org>
2006-08-05 13:00:16 +00:00
Joseph Koshy
4f978e6349 Upgrade to v1.3.5.
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.
2006-07-10 05:59:33 +00:00