CVS commit: pkgsrc/math/yices2

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Mon Aug 26 21:11:28 UTC 2019

Modified Files:
        pkgsrc/math/yices2: Makefile

Log Message:
Add TEST_TARGET.

Current score on -current amd64: Pass: 861, Fail: 171.


To generate a diff of this commit:
cvs rdiff -u -r1.1.1.1 -r1.2 pkgsrc/math/yices2/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/yices2/Makefile
diff -u pkgsrc/math/yices2/Makefile:1.1.1.1 pkgsrc/math/yices2/Makefile:1.2
--- pkgsrc/math/yices2/Makefile:1.1.1.1 Sat Aug 24 22:09:16 2019
+++ pkgsrc/math/yices2/Makefile Mon Aug 26 21:11:28 2019
@@ -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}