[pkgsrc/trunk]: pkgsrc/math Add yices2 to the build.

[alnsn <alnsn%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/a71d9ffaace6
branches:  trunk
changeset: 400221:a71d9ffaace6
user:      alnsn <alnsn%pkgsrc.org@localhost>
date:      Sat Aug 24 22:10:16 2019 +0000

description:
Add yices2 to the build.

diffstat:

 math/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r d574b780e4af -r a71d9ffaace6 math/Makefile
--- a/math/Makefile     Sat Aug 24 22:09:16 2019 +0000
+++ b/math/Makefile     Sat Aug 24 22:10:16 2019 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.433 2019/08/09 16:25:23 brook Exp $
+# $NetBSD: Makefile,v 1.434 2019/08/24 22:10:16 alnsn Exp $
 
 COMMENT=       Mathematics
 
@@ -405,6 +405,7 @@
 SUBDIR+=       xmgr
 SUBDIR+=       xylib
 SUBDIR+=       yacas
+SUBDIR+=       yices2
 SUBDIR+=       yorick
 SUBDIR+=       z3