CVS commit: pkgsrc/math

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Aug 24 22:10:16 UTC 2019

Modified Files:
        pkgsrc/math: Makefile

Log Message:
Add yices2 to the build.


To generate a diff of this commit:
cvs rdiff -u -r1.433 -r1.434 pkgsrc/math/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/Makefile
diff -u pkgsrc/math/Makefile:1.433 pkgsrc/math/Makefile:1.434
--- pkgsrc/math/Makefile:1.433  Fri Aug  9 16:25:23 2019
+++ pkgsrc/math/Makefile        Sat Aug 24 22:10:16 2019
@@ -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+=    xlispstat
 SUBDIR+=       xmgr
 SUBDIR+=       xylib
 SUBDIR+=       yacas
+SUBDIR+=       yices2
 SUBDIR+=       yorick
 SUBDIR+=       z3