aboutsummaryrefslogtreecommitdiffstats
path: root/devel/cil
Commit message (Collapse)AuthorAgeFilesLines
* Remove trailing whitespace from Makefiles, A-L.olgeni2015-10-081-1/+1
|
* Catch up abusive uses of ${SITE_PERL}.mat2014-12-231-1/+1
| | | | Sponsored by: Absolight
* Cleanup plistbapt2014-12-211-3/+0
|
* Cleanup plist of ocaml portsantoine2014-11-301-4/+2
| | | | With hat: portmgr
* Change the way Perl modules are installed, update the default Perl to 5.18.mat2014-11-261-6/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before, we had: site_perl : lib/perl5/site_perl/5.18 site_perl/perl_arch : lib/perl5/site_perl/5.18/mach perl_man3 : lib/perl5/5.18/man/man3 Now we have: site_perl : lib/perl5/site_perl site_arch : lib/perl5/site_perl/mach/5.18 perl_man3 : lib/perl5/site_perl/man/man3 Modules without any .so will be installed at the same place regardless of the Perl version, minimizing the upgrade when the major Perl version is changed. It uses a version dependent directory for modules with compiled bits. As PERL_ARCH is no longer needed in plists, it has been removed from PLIST_SUB. The USE_PERL5=fixpacklist keyword is removed, the .packlist file is now always removed, as is perllocal.pod. The old site_perl and site_perl/arch directories have been kept in the default Perl @INC for all Perl ports, and will be phased out as these old Perl versions expire. PR: 194969 Differential Revision: https://reviews.freebsd.org/D1019 Exp-run by: antoine Reviewed by: perl@ Approved by: portmgr
* Fix packagingantoine2014-09-031-0/+5
|
* - Add staging supportpawel2014-03-271-25/+23
| | | | | | - More precise LICENSE - Strip cilly.native binary - Don't install temporary binary files from WRKSRC/doc
* - Return ports to the poolak2013-10-241-1/+1
| | | | | PR: ports/183244 Submitted by: Chris Petrik <c.petrik.sosa@gmail.com> (former maintainer)
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵bapt2013-09-211-0/+1
| | | | devel part 1)
* - Update to 1.7.3madpilot2013-09-012-27/+40
| | | | | | | - While here convert to USES PR: ports/181494 Submitted by: chris petrik <c.petrik.sosa@gmail.com> (maintainer)
* - Update to 1.6.0bdrewery2013-03-242-4/+3
| | | | | PR: ports/177294 Submitted by: Chris Petrik <c.petrik.sosa@gmail.com> (maintainer)
* - Please welcome back Chris Petrik as maintainer ofbdrewery2013-03-071-6/+2
| | | | | | | | | | | these ports [1] - Trim headers - Remove indefinite article from COMMENT - Convert tab to space in WWW lines PR: ports/175415 [1] Submitted by: Chris Petrik <c.petrik.sosa@gmail.com> [1] Discussed with: bapt
* - Update to 1.5.1miwi2012-08-052-3/+3
| | | | | PR: 170140 Submitted by: Ports Fury
* - Update to version 1.5.0sperber2012-07-205-206/+54
| | | | | | | | | | - Add WWW: line - Switch to optionsng - Add LICENSE PR: ports/169407 Submitted by: KATO Tsuguru <tkato432 _at_ yahoo.com> Approved by: beat (mentor)
* - Update to 0.3.4miwi2011-11-145-165/+175
| | | | | | PR: 162551 Submitted by: Armin Pirkovitsch <armin@frozen-zone.org> Feature safe: yes
* Remove WWW entries from unmaintained ports that return 404 or where the domainehaupt2011-08-031-2/+0
| | | | disappeared.
* -remove MD5ohauer2011-07-031-1/+0
|
* - Fix build with ocaml 3.12.stas2011-04-041-0/+18
| | | | Reported by: pav
* - Switch SourceForge ports to the new File Release System: categories ↵amdmi32009-08-221-1/+2
| | | | starting with D
* - Update to 1.3.7dhn2009-06-024-41/+7
|
* - Update lang/ocaml to 3.11.0. [1]stas2009-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]
* Reset maintainership.jkoshy2008-04-101-1/+1
|
* Welcome bsd.perl.mk. Add support for constructs such as USE_PERL5=5.8.0+.linimon2007-09-081-7/+1
| | | | | | | | Drop support for antique perl. Work done by: gabor Sponsored by: Google Summer of Code 2007 Hat: portmgr
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
| | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.
* Upgrade to v1.3.6. Upstream changes from the previous versionjkoshy2007-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.
* - Fix Perl paths to allow "bin/cilly" to work. [1]jkoshy2006-08-052-3/+30
| | | | | | | - Enable this port on FreeBSD/amd64. PR: ports/101312 [1] Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org>
* Upgrade to v1.3.5.jkoshy2006-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.
* - Upgrade to v1.3.4. This release has:jkoshy2006-05-063-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]
* Remove USE_REINPLACE from all categories starting with Dedwin2006-05-051-1/+0
|
* SHA256ifyedwin2006-01-221-0/+1
| | | | Approved by: krion@
* Update to 1.3.3.netchild2005-06-253-3/+10
| | | | Prodded by: jkoshy
* Update to 1.3.1.netchild2005-01-093-8/+5
|
* BROKEN on 5.x: Does not buildkris2004-09-181-0/+4
| | | | Approved by: portmgr (self)
* Add size data, approved by maintainers.trevor2004-03-191-0/+1
|
* Mark IGNORE for perl < 5.6.1kris2004-02-231-1/+7
|
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.marcus2004-02-041-0/+1
| | | | (Part 2)
* - update to 1.2.3 (this fixes the configure error on bento [1])netchild2004-01-253-9/+9
| | | | | | - fix SITE_PERL part of the plist in the PREFIX != LOCALBASE case Noticed by: kris
* Use the CPIO macro defined in bsd.port.mk.trevor2004-01-221-2/+0
|
* Only for i386.netchild2003-10-201-0/+4
| | | | Noticed by: kris/bento
* Infrastructure for C Program Analysis and Transformationnetchild2003-10-124-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.