diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-16 16:32:07 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-16 16:32:07 +0000 |
| commit | e4343d70fd4006cdded06afba566cf5ac81c1042 (patch) | |
| tree | 2b1105fda751368f91c2495b29c8d7ed7603adbd /math/stp | |
| parent | 778e2d35510d4f8fa6bbae934b313771189e4268 (diff) | |
Notes
Diffstat (limited to 'math/stp')
| -rw-r--r-- | math/stp/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 35377a839c57..1ad7841da00e 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -12,10 +12,9 @@ COMMENT= A Decision Procedure for Bitvectors and Arrays LICENSE= MIT -USES= bison +USES= bison gmake perl5 USE_BZIP2= yes -USE_GMAKE= yes -USE_PERL5_BUILD= yes +USE_PERL5= build CONFIGURE_SCRIPT= scripts/configure CONFIGURE_ARGS= --with-prefix=${PREFIX} \ |