diff options
| author | alnsn <alnsn@pkgsrc.org> | 2019-08-26 21:11:28 +0000 |
|---|---|---|
| committer | alnsn <alnsn@pkgsrc.org> | 2019-08-26 21:11:28 +0000 |
| commit | 8988c92e5706b3a9daa949bee2e3e55dbec49f34 (patch) | |
| tree | 605f49fd9ba6da7c6f9ecad16c0bb43ec873a232 /math/yices2 | |
| parent | 3c8ef20d3f7c0bda1bd2fd6760e30589d38caa45 (diff) | |
| download | pkgsrc-8988c92e5706b3a9daa949bee2e3e55dbec49f34.tar.gz | |
Add TEST_TARGET.
Current score on -current amd64: Pass: 861, Fail: 171.
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} |