diff options
| author | netchild <netchild@FreeBSD.org> | 2003-10-20 23:02:18 +0800 |
|---|---|---|
| committer | netchild <netchild@FreeBSD.org> | 2003-10-20 23:02:18 +0800 |
| commit | f8a33f2a184fa8e5b5155f14f3edee70ffbb5218 (patch) | |
| tree | 82ccae45e8a8964289a972b3553abe045d9abf56 /devel/cil | |
| parent | 6f66cdf7218fdafc8089cb5845357f0c0cf371ed (diff) | |
| download | freebsd-ports-gnome-f8a33f2a184fa8e5b5155f14f3edee70ffbb5218.tar.gz freebsd-ports-gnome-f8a33f2a184fa8e5b5155f14f3edee70ffbb5218.tar.zst freebsd-ports-gnome-f8a33f2a184fa8e5b5155f14f3edee70ffbb5218.zip | |
Only for i386.
Noticed by: kris/bento
Diffstat (limited to 'devel/cil')
| -rw-r--r-- | devel/cil/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devel/cil/Makefile b/devel/cil/Makefile index d895e673a60e..9ca90a6afdbe 100644 --- a/devel/cil/Makefile +++ b/devel/cil/Makefile @@ -7,6 +7,7 @@ PORTNAME= cil PORTVERSION= 1.2.1 +PORTREVISION= 1 CATEGORIES= devel lang MASTER_SITES= http://manju.cs.berkeley.edu/cil/distrib/ @@ -15,6 +16,9 @@ COMMENT= Infrastructure for C Program Analysis and Transformation BUILD_DEPENDS= ${LOCALBASE}/bin/ocamlopt:${PORTSDIR}/lang/ocaml +CONFLICTS= ccured-* + +ONLY_FOR_ARCHS= i386 USE_PERL5= yes USE_GMAKE= yes WRKSRC= ${WRKDIR}/${PORTNAME} |