aboutsummaryrefslogtreecommitdiff
path: root/devel/cil
Commit message (Collapse)AuthorAgeFilesLines
* Remove WWW entries from unmaintained ports that return 404 or where the domainEmanuel Haupt2011-08-021-2/+0
| | | | | | | disappeared. Notes: svn path=/head/; revision=278829
* -remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276999
* - Fix build with ocaml 3.12.Stanislav Sedov2011-04-041-0/+18
| | | | | | | Reported by: pav Notes: svn path=/head/; revision=272189
* - Switch SourceForge ports to the new File Release System: categories ↵Dmitry Marakasov2009-08-221-1/+2
| | | | | | | starting with D Notes: svn path=/head/; revision=240068
* - Update to 1.3.7Dennis Herrmann2009-06-014-41/+7
| | | | Notes: svn path=/head/; revision=234989
* - Update lang/ocaml to 3.11.0. [1]Stanislav Sedov2009-04-111-0/+25
| | | | | | | | | | | | | | | | | | | | | - 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] Notes: svn path=/head/; revision=232098
* Reset maintainership.Joseph Koshy2008-04-101-1/+1
| | | | Notes: svn path=/head/; revision=210992
* Welcome bsd.perl.mk. Add support for constructs such as USE_PERL5=5.8.0+.Mark Linimon2007-09-081-7/+1
| | | | | | | | | | | Drop support for antique perl. Work done by: gabor Sponsored by: Google Summer of Code 2007 Hat: portmgr Notes: svn path=/head/; revision=199069
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* Upgrade to v1.3.6. Upstream changes from the previous versionJoseph Koshy2007-02-065-40/+10
| | | | | | | | | | | | | 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. Notes: svn path=/head/; revision=184343
* - Fix Perl paths to allow "bin/cilly" to work. [1]Joseph Koshy2006-08-052-3/+30
| | | | | | | | | | - Enable this port on FreeBSD/amd64. PR: ports/101312 [1] Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org> Notes: svn path=/head/; revision=169742
* Upgrade to v1.3.5.Joseph Koshy2006-07-104-10/+39
| | | | | | | | | | | | | | | 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. Notes: svn path=/head/; revision=167337
* - Upgrade to v1.3.4. This release has:Joseph Koshy2006-05-053-133/+137
| | | | | | | | | | | | | | | - 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] Notes: svn path=/head/; revision=161431
* Remove USE_REINPLACE from all categories starting with DEdwin Groothuis2006-05-041-1/+0
| | | | Notes: svn path=/head/; revision=161363
* SHA256ifyEdwin Groothuis2006-01-221-0/+1
| | | | | | | Approved by: krion@ Notes: svn path=/head/; revision=154141
* Update to 1.3.3.Alexander Leidinger2005-06-253-3/+10
| | | | | | | Prodded by: jkoshy Notes: svn path=/head/; revision=138010
* Update to 1.3.1.Alexander Leidinger2005-01-093-8/+5
| | | | Notes: svn path=/head/; revision=125946
* BROKEN on 5.x: Does not buildKris Kennaway2004-09-181-0/+4
| | | | | | | Approved by: portmgr (self) Notes: svn path=/head/; revision=118220
* Add size data, approved by maintainers.Trevor Johnson2004-03-181-0/+1
| | | | Notes: svn path=/head/; revision=104520
* Mark IGNORE for perl < 5.6.1Kris Kennaway2004-02-231-1/+7
| | | | Notes: svn path=/head/; revision=101777
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.Joe Marcus Clarke2004-02-041-0/+1
| | | | | | | (Part 2) Notes: svn path=/head/; revision=99920
* - update to 1.2.3 (this fixes the configure error on bento [1])Alexander Leidinger2004-01-253-9/+9
| | | | | | | | | - fix SITE_PERL part of the plist in the PREFIX != LOCALBASE case Noticed by: kris Notes: svn path=/head/; revision=99038
* Use the CPIO macro defined in bsd.port.mk.Trevor Johnson2004-01-221-2/+0
| | | | Notes: svn path=/head/; revision=98793
* Only for i386.Alexander Leidinger2003-10-201-0/+4
| | | | | | | Noticed by: kris/bento Notes: svn path=/head/; revision=91739
* Infrastructure for C Program Analysis and TransformationAlexander Leidinger2003-10-114-0/+189
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. Notes: svn path=/head/; revision=90862
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 20:23:42 +0000