CVS commit: pkgsrc/math/yices2

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Thu Sep 17 13:45:03 UTC 2026

Modified Files:
        pkgsrc/math/yices2: Makefile distinfo

Log Message:
yices2: update to 2.7.0.

To fix build on -current.

New Features

    Finite Fields support in the MCSat Solver
    Yices2 Portfolio Python script
    New cache mechanism in the MCSat Solver: Target cache and Best cache
    New decision heuristics in the MCSat Solver
    Partial restarts option in the MCSat solver
    Print models in the SMT2 format by default

And many bug fixes


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/math/yices2/Makefile
cvs rdiff -u -r1.4 -r1.5 pkgsrc/math/yices2/distinfo

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.7 pkgsrc/math/yices2/Makefile:1.8
--- pkgsrc/math/yices2/Makefile:1.7     Sat Feb 28 11:28:44 2026
+++ pkgsrc/math/yices2/Makefile Thu Sep 17 13:45:03 2026
@@ -1,10 +1,9 @@
-# $NetBSD: Makefile,v 1.7 2026/02/28 11:28:44 alnsn Exp $
+# $NetBSD: Makefile,v 1.8 2026/09/17 13:45:03 wiz Exp $
 
-DISTNAME=      Yices-${PKGVERSION}
-PKGNAME=       yices2-2.6.5
+DISTNAME=      yices2-2.7.0
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=SRI-CSL/}
-GITHUB_TAG=    ${DISTNAME}
+GITHUB_TAG=    yices-${PKGVERSION_NOREV}
 
 MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
 HOMEPAGE=      https://yices.csl.sri.com/
@@ -22,7 +21,7 @@ TEST_TARGET=          check
 
 REPLACE_BASH+= tests/regress/check.sh
 
-WRKSRC=                ${WRKDIR}/yices2-${DISTNAME}
+WRKSRC=                ${WRKDIR}/yices2-yices-${PKGVERSION_NOREV}
 
 pre-configure:
         cd ${WRKSRC} && autoconf

Index: pkgsrc/math/yices2/distinfo
diff -u pkgsrc/math/yices2/distinfo:1.4 pkgsrc/math/yices2/distinfo:1.5
--- pkgsrc/math/yices2/distinfo:1.4     Sat Feb 28 11:28:44 2026
+++ pkgsrc/math/yices2/distinfo Thu Sep 17 13:45:03 2026
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.4 2026/02/28 11:28:44 alnsn Exp $
+$NetBSD: distinfo,v 1.5 2026/09/17 13:45:03 wiz Exp $
 
-BLAKE2s (Yices-2.6.5.tar.gz) = 8d9cd5f06281d2cd3e01ffefdcbca35704369953b0bf111e5749bfcdda91d42d
-SHA512 (Yices-2.6.5.tar.gz) = 8f01c6d516f2aa901b30e9248c3df78930e670c8e1a795b1bb112561f4e338e6e11eadfc2e6cbfc089f6593561b5874fbe816be677dd09c0834a01829c5cf490
-Size (Yices-2.6.5.tar.gz) = 10389496 bytes
+BLAKE2s (yices2-2.7.0.tar.gz) = 31ca6fcee6b8d8669ed4ae8c226d674c3cca257e49b6d53660e34c7b70a4b146
+SHA512 (yices2-2.7.0.tar.gz) = 0ed9811bfc505793078aa87afd86177a79bb5b9a4ec579fa0c43076cc997ff432d66588e996c1303d91bfb2163110312f30f1fc75a4d2f60d5786499bdd26b92
+Size (yices2-2.7.0.tar.gz) = 10461165 bytes