diff options
| author | bapt <bapt@FreeBSD.org> | 2013-03-08 19:32:11 +0800 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2013-03-08 19:32:11 +0800 |
| commit | 385eac9654e9de3b90ce25e1efffa8c08a547655 (patch) | |
| tree | 9c130b083139cc77280c7e96cc9cea75a84d2d4c /math/stp | |
| parent | f2d169546a0f3c0e7fb3d21a855ac4b44aae5036 (diff) | |
| download | freebsd-ports-gnome-385eac9654e9de3b90ce25e1efffa8c08a547655.tar.gz freebsd-ports-gnome-385eac9654e9de3b90ce25e1efffa8c08a547655.tar.zst freebsd-ports-gnome-385eac9654e9de3b90ce25e1efffa8c08a547655.zip | |
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
Diffstat (limited to 'math/stp')
| -rw-r--r-- | math/stp/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 5132b2c7248d..35377a839c57 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: stp -# Date created: 2008-06-18 -# Whom: Li-Wen Hsu <lwhsu@FreeBSD.org> -# +# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> # $FreeBSD$ -# PORTNAME= stp PORTVERSION= 1407 @@ -16,7 +12,7 @@ COMMENT= A Decision Procedure for Bitvectors and Arrays LICENSE= MIT -USE_BISON= build +USES= bison USE_BZIP2= yes USE_GMAKE= yes USE_PERL5_BUILD= yes |