diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-03-08 11:32:11 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-03-08 11:32:11 +0000 |
commit | 9250d94365048cf854570d93b5196aa250eba8f0 (patch) | |
tree | 9c130b083139cc77280c7e96cc9cea75a84d2d4c /math/cvc3 | |
parent | Update to 0.48.4. (diff) |
Convert USE_BISON to USES= bison
It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build
it brings bison as a run dependency in case it is set the following way:
USES= bison:run
it brings bison both as a run and build dependency in case it the set the following way:
USES= bison:both
While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
Notes
Notes:
svn path=/head/; revision=313635
Diffstat (limited to 'math/cvc3')
-rw-r--r-- | math/cvc3/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 5983d9972d4f..2b4dd659a13f 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: cvc3 -# Date created: Mar. 24, 2007 -# Whom: Li-Wen Hsu <lwhsu@lwhsu.org> -# +# Created by: Li-Wen Hsu <lwhsu@lwhsu.org> # $FreeBSD$ -# PORTNAME= cvc3 PORTVERSION= 2.4.1 @@ -22,7 +18,7 @@ CONFIGURE_ARGS= --enable-dynamic \ --with-extra-libs=${LOCALBASE}/lib CXXFLAGS+= -fPIC GNU_CONFIGURE= yes -USE_BISON= build +USES= bison USE_GMAKE= yes USE_LDCONFIG= yes USE_PERL5= yes |