From nobody Mon Aug 19 19:11:55 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Wnhzc06k9z5TKky; Mon, 19 Aug 2024 19:11:56 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Wnhzb5jpKz4bHj; Mon, 19 Aug 2024 19:11:55 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1724094715; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ZDaBD0mfOQEAzBEZZg5eVkATbrDTJcm1OpYGxdOS2sU=; b=AFTqSklBP8fcpLFNcTNwugo2J3rNZfR3eRY3FOgRgwGtxYmuPfEo5qFqFpm+MuVqpifWTh 4F2yXKuv3Mz4qzd4F1RnZo3AewPM8hoSmgziNiGJbQwn0zrQkGpCFaU5QS6J2JEYwIaLg7 n61t4bxRAdum1kSTdyyIA75LbX68RGUIcCMINUwwCH5y1CqCjlj7kN9oWqdZtQPUaII7mh GgE7XoxRofl+eAu/YOKUFaWiaOc+ohrzUnjXWYEoVHMykg2EMexM3RNsYn8X81pTPEQAPE 6/TlkdRkoe6+LSiP5fgJm4w3PsQhlTuHFjfsTs2Z6B5piKcm7jAhQ7ZAmJgChA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1724094715; a=rsa-sha256; cv=none; b=C5ZPafnyPU8+Cs5VLFqaln7OBe8Hku4Jahb6RpAd8A8UZ/7EcPTjWc57SqXtGM7BP9hEVo YXEx8BnOBCinX1Yh6tuWy09oY8gpsSW170fBcy8HDtLZCR89ozH/1+zj4A14Q5QhK9vent wTS1KjoXtuJjgH8sGUwwZoWOxyYXh/aSzxFuG53gIPKszsPtmS7ztfjvx8U6xd+pbXCd0t qB861Ic0YQs+8OaZ244jnwF6EVCctPOvHx5KVyX3eNunSk/Rz515d3sWWkw86hQLvorlwm D/Rztb0vBFVRVQfBjhGS9Of4+9fceobCuIMMGY4OCN0WmiLh6IJxG9wAuaencQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1724094715; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ZDaBD0mfOQEAzBEZZg5eVkATbrDTJcm1OpYGxdOS2sU=; b=owOs2qA4ytAsQzRlpy8u/apvxlzy6DlKwlJLLDvHP1coVmhZy+I+XA47jO623LTPiuVW6C 0jfcrvyFNZVCuJR6ejshCnXplBq0G+SAnoRBWUy4eB6d72yzfSCFP2/6/6oENOo5f8dAKS wk3Fz0mNabcQNWB6PoiU7Ao0ftVhSNp1H3Ged1oDvfW8jdf4rs3VQqfndB/xYjZ7CDJ6H8 S/xd2nAXKZipzDDiYfA0yr54kW7izv8o4xQOyOAsSQlPwTpoLnH2vkiYw+33HlqLqjTrFD x1gGx9po06/jOA+TbMyDZkXoqaC20yfBGNcg/B3xx+lcTfDaoEws8RAWoIbl/Q== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Wnhzb5BLSzT3V; Mon, 19 Aug 2024 19:11:55 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 47JJBtEU066655; Mon, 19 Aug 2024 19:11:55 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 47JJBtxZ066652; Mon, 19 Aug 2024 19:11:55 GMT (envelope-from git) Date: Mon, 19 Aug 2024 19:11:55 GMT Message-Id: <202408191911.47JJBtxZ066652@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 622269016cfb - main - math/yices: update 2.6.4 =?utf-8?Q?=E2=86=92?= 2.6.5 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 622269016cfb0dbca1f6fc72c3adb50ba4fa3435 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=622269016cfb0dbca1f6fc72c3adb50ba4fa3435 commit 622269016cfb0dbca1f6fc72c3adb50ba4fa3435 Author: Yuri Victorovich AuthorDate: 2024-08-19 19:07:51 +0000 Commit: Yuri Victorovich CommitDate: 2024-08-19 19:11:36 +0000 math/yices: update 2.6.4 → 2.6.5 Reported by: portscout --- math/yices/Makefile | 8 +++++--- math/yices/distinfo | 6 +++--- math/yices/pkg-plist | 1 - 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/math/yices/Makefile b/math/yices/Makefile index 6ddf4d053f73..9014014872e7 100644 --- a/math/yices/Makefile +++ b/math/yices/Makefile @@ -1,5 +1,5 @@ PORTNAME= yices -DISTVERSION= 2.6.4 +DISTVERSION= 2.6.5 CATEGORIES= math MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/ DISTNAME= ${PORTNAME}-${DISTVERSION}-src @@ -9,7 +9,7 @@ COMMENT= SMT solver WWW= https://yices.csl.sri.com/ LICENSE= GPLv3 -LICENSE_FILE= ${WRKSRC}/LICENSE.txt +LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= gperf:devel/gperf LIB_DEPENDS= libgmp.so:math/gmp @@ -23,7 +23,9 @@ CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET} CFLAGS+= -fPIC -WRKSRC= ${WRKDIR}/yices2-Yices-${DISTVERSION} +TEST_TARGET= test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523 + +WRKSRC= ${WRKDIR}/yices-${DISTVERSION} post-install: # strip binaries @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/* diff --git a/math/yices/distinfo b/math/yices/distinfo index b6a44230e350..fa5f5eebeed8 100644 --- a/math/yices/distinfo +++ b/math/yices/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1643217873 -SHA256 (yices-2.6.4-src.tar.gz) = 533a24e020ecb7d64c03a965d598430d193651e2887e6f46924dec5786db78cb -SIZE (yices-2.6.4-src.tar.gz) = 10186909 +TIMESTAMP = 1724046623 +SHA256 (yices-2.6.5-src.tar.gz) = b01aedb35af57c06006c147b2491162cc8974d6c5991914833dd6d827681399d +SIZE (yices-2.6.5-src.tar.gz) = 6149050 diff --git a/math/yices/pkg-plist b/math/yices/pkg-plist index fe8e6d0104c9..00c6178fd0c2 100644 --- a/math/yices/pkg-plist +++ b/math/yices/pkg-plist @@ -3,7 +3,6 @@ bin/yices_sat bin/yices_sat_new bin/yices_smt bin/yices_smt2 -bin/yices_smt2_mt bin/yices_smtcomp include/yices.h include/yices_exit_codes.h