pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/math/yices2 Add TEST_TARGET.
details: https://anonhg.NetBSD.org/pkgsrc/rev/a9fc05516ad2
branches: trunk
changeset: 338535:a9fc05516ad2
user: alnsn <alnsn%pkgsrc.org@localhost>
date: Mon Aug 26 21:11:28 2019 +0000
description:
Add TEST_TARGET.
Current score on -current amd64: Pass: 861, Fail: 171.
diffstat:
math/yices2/Makefile | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
diffs (24 lines):
diff -r 5e4b7ed18679 -r a9fc05516ad2 math/yices2/Makefile
--- a/math/yices2/Makefile Mon Aug 26 19:05:02 2019 +0000
+++ b/math/yices2/Makefile Mon Aug 26 21:11:28 2019 +0000
@@ -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 @@
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}
Home |
Main Index |
Thread Index |
Old Index