Commit Graph

52 Commits

Author SHA1 Message Date
naddy
85229c97e7 drop RCS Ids 2022-03-11 18:49:30 +00:00
daniel
efd5a97f0a update ocaml to 4.12.1
The ocaml update requires ocaml-camlp4 to be updated in sync and all
dependant ports need a bump.

ok avsm@ (MAINTAINER)
2021-12-10 04:10:59 +00:00
daniel
68420eccff update ocaml to to 4.11.2 and bump all dependant ports
As usual camlp4 and camlp4 need to be updated in sync with ocaml. All
ocaml ports were successfully builds- tested on amd64. coccinelle remains
broken, but was built with the proposed diff floating on ports@

ok chrisz@
2021-12-02 03:59:19 +00:00
chrisz
8f34a2e806 Update lang/ocaml to 4.10.0
tested on sparc64, update to lang/camlp4 and ok by jca@
ok daniel@
thanks.
2020-06-09 17:34:13 +00:00
chrisz
2dd0fda6b6 Update OCaml to 4.09
reviewed ports wise and help with @pkgpath, ok by sthen@
reviewed and help with bytecode-only plists, minor nits and ok by jca@
tested on sparc 64 by @jca
tested on aarch64 by Kurt Miller
tested on amd64 by me

Thanks for reviews and testing!
2019-09-26 09:46:09 +00:00
chrisz
225ce4224b Upgrade lang/ocaml to 4.08.1
* net unison needed some patchign to avoid deprecated library functions.
* all ports depending on the exact version of OCaml need revision bumps.
* net/unison needed some help to avoid deprecated library functions.

ok krw@, testing on i386 and ok daniel@
2019-09-18 17:49:35 +00:00
naddy
00015d83d7 remove reference to /usr/bin/gcc that hasn't been used since 2012 2019-08-18 11:33:05 +00:00
sthen
9fe1e38b23 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes 2019-07-12 20:43:27 +00:00
jca
a7af6c85e7 Those files should have been removed in the ocaml-4.07.1+friends update
Noticed by krw@ and Adam Steen
2019-03-05 04:29:46 +00:00
chrisz
b438efbd00 Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
jca
4b7541a170 Honour CC 2017-03-03 20:26:41 +00:00
jca
2e0a32a427 regen patch 2017-03-03 20:26:32 +00:00
mmcc
8cb43db18a replace broken HOMEPAGE
from Daniel Jakots
2016-03-22 19:17:30 +00:00
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