Commit Graph

39 Commits

Author SHA1 Message Date
chrisz
e52c336b47 no support for bytecode, therefore don't try building on powerpc
for the time being.
2014-09-07 16:14:43 +00:00
kili
edea600f6e More bumps due to lang/ocaml pkgname change. 2014-08-22 22:49:07 +00:00
naddy
94e664469d remove empty patch files 2013-10-10 20:30:16 +00:00
espie
bcf3856632 PERMIT_* / REGRESS->TEST sweep 2013-03-11 10:50:00 +00:00
ajacoutot
114df9ce77 ARCH -> MACHINE_ARCH to unbreak. 2013-01-02 09:12:57 +00:00
ajacoutot
04254bc657 This is BROKEN on powerpc.
/usr/local/libexec/cil/obj/x86_OPENBSD/cilly.asm.exe does not exist
/usr/local/libexec/cil/obj/x86_OPENBSD/cilly.byte.exe does not exist
2013-01-02 08:34:32 +00:00
chrisz
4e6ef77f81 update HOMEPAGE
ok by @jasper and @avsm
2012-12-04 06:54:25 +00:00
chrisz
65055d41e1 Update lang/ocaml to 4.00.1.
Make all ocaml ports depend on the version of ocaml they were built with.
2012-11-30 19:08:05 +00:00
chrisz
b6be895832 unbreak for i386, amd64 and powerpc.
OK sthen@, jasper@

bsd.port.arch.mk is now needed again for .if ${ARCH} == ...
2012-11-27 22:28:53 +00:00
sthen
d71e1828c2 mark this as BROKEN for now; ok aja@ 2012-11-25 23:46:36 +00:00
sthen
42c6a55c0c don't .include <bsd.port.arch.mk> just to get definitions from arch-defines 2012-09-30 09:16:36 +00:00
avsm
fe0795a3b9 cil: add a missing BUILD_DEPENDS on findlib, bump REVISION
noticed by naddy@
2012-08-26 20:17:42 +00:00
avsm
65797c8320 unbreak devel/cil build by removing a straggling patch from the previous changeset
noticed by sthen@
2012-08-22 20:10:38 +00:00
avsm
db4ecc52b8 update to cil-1.5.1
* BROKEN on all non-native archs for now
* new MASTER_SITE
* clean up Makefile
* remove obsolete patch
* update PLIST
From: Christopher Zimmermann <madroach@gmerlin.de>
2012-08-18 22:00:56 +00:00
dcoppa
e15f6ce2fc Fix build with upcoming ocaml update.
OK landry@
2010-12-07 14:57:19 +00:00
dcoppa
51d1db0b82 HOMEPAGE has been changed long ago. 2010-11-12 17:17:27 +00:00
avsm
09774bdfe0 update to ocaml-3.11.1 and bump dependent package PKGNAMEs 2009-06-20 22:05:11 +00:00
sturm
78dcff8378 bump after ocaml update 2009-04-03 21:30:50 +00:00
avsm
1f8ea8affe update to cil-1.3.6 2009-03-11 21:20:27 +00:00
bernd
7e583caaf7 Build on powerpc and not just macppc now that we have socppc.
from brad@
2008-05-19 07:43:42 +00:00
merdely
376b75df06 Remove quotes surrounding COMMENT*/PERMIT_*/BROKEN 2007-09-16 02:52:56 +00:00
espie
470294650d base64 distinfo with SHA256 2007-04-05 15:37:40 +00:00
avsm
45a6e1fb7c bump PKGNAME on ocaml ports for recent ocaml-3.09.3 dependency change 2006-12-26 22:39:31 +00:00
avsm
c0ed955730 update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code 2006-05-28 15:44:14 +00:00
espie
14b8289bb7 needless use of pre-fake 2005-10-18 19:09:46 +00:00
pvalchev
49beac3f28 move #ifdef __i386__ to actually include the inline x86 asm too
so this compiles on other arches, no binary change; ok avsm
2005-10-16 21:55:15 +00:00
avsm
2ca7d14245 - remove patch that is duplicated in distro
- trim configure patch for dup
- bump PKGNAME
From <andreas@zzlevo.net>
2005-10-16 15:52:31 +00:00
pvalchev
a494bb763b sync patches (linenumbers) 2005-10-08 08:06:52 +00:00
avsm
ce05143106 update to cil-1.3.3 2005-09-22 12:53:15 +00:00
avsm
3409fdf14f Add in a --dorandomvars which sets local variables to values other than
0 to try and find bugs which depend on them being initalized to 0.

Also turn off the other transformations by default (use --dokerneltrace
or --donullint)

Go get em Chad.
2005-05-27 21:46:23 +00:00
avsm
a06c692333 Add a 'kernel function call tracer' to automatically insert a call to
log() to certain functions in the kernel to help debugging.

An example use when building a kernel would be:
$ make CC='/usr/local/bin/cilly --trace-regexp=^cache_ --trace-level=0'
to instrument all functions starting with cache_* to notify syslog at
emergency log level.  The output also includes the contents of any
char/int/long arguments (pointers and structs not followed yet, too
verbose).

A full kernel build doesnt quite work with CIL yet so use selectively.
2005-05-27 06:31:52 +00:00
avsm
651641fb5a update to cil-1.3.2 2005-05-09 13:52:38 +00:00
naddy
3f04f8f321 SIZE 2005-01-05 16:22:24 +00:00
espie
6bec6cc34b WANTLIB markers 2004-11-23 11:22:00 +00:00
espie
f28f2a833d switch to new plist, killing a few install scripts along the way. 2004-09-14 23:43:54 +00:00
xsa
8f584f432e more new-style MODULES. 2004-08-10 20:41:47 +00:00
avsm
fa45ecd6a6 CIL also works on macppc now, hurrah 2004-06-22 20:57:25 +00:00
avsm
f92a5cd283 add a simple NULL/int comparison checker to CIL 2004-06-21 18:53:12 +00:00
avsm
b613748f78 initial import of cil-1.2.5
--
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.
The main advantage of CIL is that it compiles all valid C programs
into a few core constructs with a very clean semantics. Also CIL
has a syntax-directed type system that makes it easy to analyze and
manipulate C programs. Furthermore, the CIL front-end is able to
process not only ANSI-C programs but also those using Microsoft C
or GNU C extensions.
2004-06-20 16:08:28 +00:00