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 | 09fa4f371396ff884f3845939561bfc786faf491 (diff) | |
| download | ports-9250d94365048cf854570d93b5196aa250eba8f0.tar.gz ports-9250d94365048cf854570d93b5196aa250eba8f0.zip | |
Notes
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 |