diff options
Diffstat (limited to 'math/yices2')
-rw-r--r-- | math/yices2/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/math/yices2/Makefile b/math/yices2/Makefile index 68dc445525c..8424932d6b2 100644 --- a/math/yices2/Makefile +++ b/math/yices2/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $ +# $NetBSD: Makefile,v 1.2 2019/08/26 21:11:28 alnsn Exp $ PKGNAME= yices2-2.6.1 DISTNAME= Yices-${PKGVERSION} @@ -13,10 +13,13 @@ LICENSE= gnu-gpl-v3 BUILD_DEPENDS+= gperf-[0-9]*:../../devel/gperf -USE_TOOLS+= autoconf gmake +USE_TOOLS+= autoconf bash gmake USE_LANGUAGES= c GNU_CONFIGURE= yes USE_GNU_CONFIGURE_HOST= no +TEST_TARGET= check + +REPLACE_BASH+= tests/regress/check.sh WRKSRC= ${WRKDIR}/yices2-${DISTNAME} |