FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
cil 1.7.3_1 devel on this many watch lists=2 search for ports that depend on this port
Infrastructure for C Program Analysis and Transformation

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 search for ports maintained by this maintainer
Port Added: 11 Oct 2003 19:38:02
Also Listed In: lang
License: BSD3CLAUSE


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. 

WWW: http://kerneis.github.com/cil/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. lang/ocaml
  2. devel/ocaml-findlib
  3. devel/gmake
  4. lang/perl5.16
Required To Run:
  1. lang/ocaml
  2. devel/ocaml-findlib
  3. lang/perl5.16
There are no ports dependent upon this port

To install the port: cd /usr/ports/devel/cil/ && make install clean
To add the package: pkg install devel/cil


Configuration Options
===> The following configuration options are available for cil-1.7.3_1:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://downloads.sourceforge.net/project/cil/cil/

Number of commits found: 34

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
27 Mar 2014 13:23:10
Original commit files touched by this commit  1.7.3_1
Revision:349336
pawel search for other commits by this committer
- Add staging support
- More precise LICENSE
- Strip cilly.native binary
- Don't install temporary binary files from WRKSRC/doc
23 Oct 2013 20:45:10
Original commit files touched by this commit  1.7.3
Revision:331423
ak search for other commits by this committer
- Return ports to the pool

PR:	ports/183244
Submitted by:	Chris Petrik <c.petrik.sosa@gmail.com> (former maintainer)
20 Sep 2013 17:03:27
Refresh Original commit files touched by this commit
Revision:327722  Sanity Test Failure
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 1)
31 Aug 2013 16:07:19
Original commit files touched by this commit  1.7.3
Revision:325816
madpilot search for other commits by this committer
- Update to 1.7.3
- While here convert to USES

PR:		ports/181494
Submitted by:	chris petrik <c.petrik.sosa@gmail.com> (maintainer)
23 Mar 2013 17:27:39
Original commit files touched by this commit  1.6.0
Revision:315050
bdrewery search for other commits by this committer
- Update to 1.6.0

PR:		ports/177294
Submitted by:	Chris Petrik <c.petrik.sosa@gmail.com> (maintainer)
07 Mar 2013 03:25:11
Original commit files touched by this commit  1.5.1
Revision:313559
bdrewery search for other commits by this committer
- Please welcome back Chris Petrik as maintainer of
  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
05 Aug 2012 04:38:00
Original commit files touched by this commit  1.5.1
miwi search for other commits by this committer
- Update to 1.5.1

PR:		170140
Submitted by:	Ports Fury
19 Jul 2012 17:25:32
Original commit files touched by this commit  1.5.0
sperber search for other commits by this committer
- Update to version 1.5.0
- Add WWW: line
- Switch to optionsng
- Add LICENSE

PR:           ports/169407
Submitted by: KATO Tsuguru <tkato432 _at_ yahoo.com>
Approved by:  beat (mentor)
14 Nov 2011 14:23:35
Original commit files touched by this commit  1.4.0
miwi search for other commits by this committer
- Update to 0.3.4

PR:             162551
Submitted by:   Armin Pirkovitsch <armin@frozen-zone.org>
Feature safe:   yes
02 Aug 2011 20:58:23
Original commit files touched by this commit  1.3.7
ehaupt search for other commits by this committer
Remove WWW entries from unmaintained ports that return 404 or where the domain
disappeared.
03 Jul 2011 14:59:23
Original commit files touched by this commit  1.3.7
ohauer search for other commits by this committer
-remove MD5
04 Apr 2011 08:44:16
Original commit files touched by this commit  1.3.7
stas search for other commits by this committer
- Fix build with ocaml 3.12.

Reported by:    pav
22 Aug 2009 00:18:43
Original commit files touched by this commit  1.3.7
amdmi3 search for other commits by this committer
- Switch SourceForge ports to the new File Release System: categories starting
with D
01 Jun 2009 19:19:57
Original commit files touched by this commit  1.3.7
dhn search for other commits by this committer
- Update to 1.3.7
11 Apr 2009 13:23:05
Original commit files touched by this commit  1.3.6_1
stas search for other commits by this committer
- 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]
10 Apr 2008 09:12:53
Original commit files touched by this commit  1.3.6_1
jkoshy search for other commits by this committer
Reset maintainership.
08 Sep 2007 00:56:04
Original commit files touched by this commit  1.3.6_1
linimon search for other commits by this committer
Welcome bsd.perl.mk.  Add support for constructs such as USE_PERL5=5.8.0+.
Drop support for antique perl.

Work done by:   gabor
Sponsored by:   Google Summer of Code 2007
Hat:            portmgr
19 May 2007 20:32:57
Original commit files touched by this commit  1.3.6_1
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
06 Feb 2007 03:55:51
Original commit files touched by this commit  1.3.6
jkoshy search for other commits by this committer
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.
05 Aug 2006 13:00:16
Original commit files touched by this commit  1.3.5_1
jkoshy search for other commits by this committer
- 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>
10 Jul 2006 05:59:33
Original commit files touched by this commit  1.3.5
jkoshy search for other commits by this committer
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.
05 May 2006 16:44:34
Original commit files touched by this commit  1.3.4
jkoshy search for other commits by this committer
- Upgrade to v1.3.4.  This release has:
  - 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]
04 May 2006 21:41:12
Original commit files touched by this commit  1.3.3
edwin search for other commits by this committer
Remove USE_REINPLACE from all categories starting with D
22 Jan 2006 08:30:12
Original commit files touched by this commit  1.3.3
edwin search for other commits by this committer
SHA256ify

Approved by:    krion@
25 Jun 2005 12:34:48
Original commit files touched by this commit  1.3.3
netchild search for other commits by this committer
Update to 1.3.3.

Prodded by:     jkoshy
09 Jan 2005 12:25:49
Original commit files touched by this commit  1.3.1
netchild search for other commits by this committer
Update to 1.3.1.
18 Sep 2004 07:44:19
Original commit files touched by this commit  1.2.3_1
kris search for other commits by this committer
BROKEN on 5.x: Does not build

Approved by:    portmgr (self)
18 Mar 2004 18:01:13
Original commit files touched by this commit  1.2.3_1
trevor search for other commits by this committer
Add size data, approved by maintainers.
23 Feb 2004 00:19:59
Original commit files touched by this commit  1.2.3_1
kris search for other commits by this committer
Mark IGNORE for perl < 5.6.1
04 Feb 2004 05:21:48
Original commit files touched by this commit  1.2.3_1
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
25 Jan 2004 09:50:45
Original commit files touched by this commit  1.2.3
netchild search for other commits by this committer
- update to 1.2.3 (this fixes the configure error on bento [1])
- fix SITE_PERL part of the plist in the PREFIX != LOCALBASE case

Noticed by:     kris
22 Jan 2004 12:18:43
Original commit files touched by this commit  1.2.1_1
trevor search for other commits by this committer
Use the CPIO macro defined in bsd.port.mk.
20 Oct 2003 15:02:19
Original commit files touched by this commit  1.2.1_1
netchild search for other commits by this committer
Only for i386.

Noticed by:     kris/bento
11 Oct 2003 19:36:13
Original commit files touched by this commit  1.2.1
netchild search for other commits by this committer
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.

Number of commits found: 34

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
mingw32-opensslApr 23
opensslApr 23
py-djangoApr 23
py-django-develApr 23
py-django14Apr 23
py-django15Apr 23
bugzilla40*Apr 18
bugzilla40*Apr 18
bugzilla42*Apr 18
bugzilla42*Apr 18
bugzilla44*Apr 18
bugzilla44*Apr 18
curlApr 11
dbus-glibApr 11
libaudiofileApr 11

14 vulnerabilities affecting 20 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24372
Broken 178
Deprecated 91
Ignore 533
Forbidden 6
Restricted 263
No CDROM 108
Vulnerable 29
Expired 24
Set to expire 78
Interactive 22
new 24 hours 3
new 48 hours6
new 7 days15
new fortnight33
new month132

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.