diff options
Diffstat (limited to 'devel/cil/Makefile')
| -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} |