From nobody Fri Dec 13 11:28:56 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 4Y8nCs0C8rz5gQtJ; Fri, 13 Dec 2024 11:28:57 +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 "R10" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Y8nCr6X7qz4MZk; Fri, 13 Dec 2024 11:28:56 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1734089336; 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=5AEeySWL+9tNAA6x+AW85XM8bPC7Pt4Lz4r7tVpcwzM=; b=amN3Cp2Yjo+6DS8w6Fj2IrZlfYToXmHe8uVALlbtEN4UvDW7k8RQrSjKoDiQk3DAaIsdT5 GrFd02vmRSVHrsobdb0SKGvQmuCRPvtqCykqW5qfe9JCkPru3Mv5rx49uYs+5iJYmp2LfG 0acXIo4Wm6CsD6oYFDQj1v6vH3/lFQcbYEPLLzrEiyYiEHKsdfGqE3ZJ1EZvCvqkbbhWsd jxwSIYgpmXYMA3tCiGx3uZ0WIyQuESzZcPG8Bj/UdZ9BOkKiXGv3EmSQagwN8lWGi28f1M X2h6hhepmzuBkH33DJli5yDZ91/BK0B96uJ3ENl6B0tNwmcB1KDaDwxG6oPV+Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1734089336; 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=5AEeySWL+9tNAA6x+AW85XM8bPC7Pt4Lz4r7tVpcwzM=; b=UJCedUk/uVWmj45Ba1motFIfdJ3B8k9DdbKfN/uIFAbvwSCidbA13fg/BmQ3WRk4mm7u6X DMaSdZ68pVgcNKxLYwAAGx6WMlxOr3h+sT5X/haOj5k02fv++xsmMx6CeKSSga+sLnR5Yt pbrP6cnalw3ePGefBX2wozFpustfzGJwmWqFWC9jaUisJ8v2A8QeLgTjn9wqyIy0abJ6gB r7a38xi3lj6fHh99hZIXEpe7Q/wAL5IrzbPuRN29gsRae6sv6K+Z/pkLWpLOImhBAFe4vi YXsUzwVEJiKAFqMIryI4HJiC5Jxcn2JG0p6K5bGa2lsGmPLldl/IWwRz+X3n9g== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1734089336; a=rsa-sha256; cv=none; b=nZquS/PnmONuHxusXJWzgLIUPgHGd8zGmQt5V10b3oB/AxM7uIH0hqV0fdUQHLRWPExWl9 N9oD7BwUf2k8bNXBtqu21s2RWHro8beiDr18FAdYk3jcmPEWQ9z0p7f8ucdOKGjMvrm00Y G0yTPSdZT/7o7quG+nPPoENxyFtjtxal2yqE2/16QLU+aCf0F7KszTtRUKa8RHx+JtJecm Kh8ONKlxpNSfNVUbzdNptTfoAERjbS8LbcYKsmKJUQsF+Iu7+xSQ/d0rvsKbeakGnXm8Bd viI4x80tInLeo8U+dCnBrNhQI+BSd2bmEvLCtrqmJ8gTAA+LqH9EllD7ToWQ/g== 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 4Y8nCr688CzbSR; Fri, 13 Dec 2024 11:28:56 +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 4BDBSuSA024398; Fri, 13 Dec 2024 11:28:56 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 4BDBSuUh024395; Fri, 13 Dec 2024 11:28:56 GMT (envelope-from git) Date: Fri, 13 Dec 2024 11:28:56 GMT Message-Id: <202412131128.4BDBSuUh024395@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: 1820542ed740 - main - math/bitwuzla: update 0.5.0 =?utf-8?Q?=E2=86=92?= 0.7.0 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: 1820542ed740b477f7c97156bd8b3078a99839f4 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=1820542ed740b477f7c97156bd8b3078a99839f4 commit 1820542ed740b477f7c97156bd8b3078a99839f4 Author: Yuri Victorovich AuthorDate: 2024-12-13 09:01:23 +0000 Commit: Yuri Victorovich CommitDate: 2024-12-13 11:28:45 +0000 math/bitwuzla: update 0.5.0 → 0.7.0 Reported by: portscout --- math/bitwuzla/Makefile | 4 +++- math/bitwuzla/distinfo | 8 +++----- math/bitwuzla/files/patch-src_meson.build | 14 +++++++------- 3 files changed, 13 insertions(+), 13 deletions(-) diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile index aecc4a302cd4..2a9354538866 100644 --- a/math/bitwuzla/Makefile +++ b/math/bitwuzla/Makefile @@ -1,5 +1,5 @@ PORTNAME= bitwuzla -DISTVERSION= 0.5.0 +DISTVERSION= 0.7.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -24,6 +24,8 @@ LDFLAGS+= -lcadical MESON_ARGS= -Ddefault_library=shared \ -Dtesting=disabled +BINARY_ALIAS= git=false + do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117 @cd ${WRKSRC} && \ ${SETENV} ${CONFIGURE_ENV} ${CONFIGURE_CMD} ${CONFIGURE_ARGS} -Dtesting=enabled && \ diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo index ea385f26ab87..0d2a29406740 100644 --- a/math/bitwuzla/distinfo +++ b/math/bitwuzla/distinfo @@ -1,5 +1,3 @@ -TIMESTAMP = 1717606902 -SHA256 (rel-1.7.4.tar.gz) = 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1 -SIZE (rel-1.7.4.tar.gz) = 647830 -SHA256 (bitwuzla-bitwuzla-0.5.0_GH0.tar.gz) = a477a5973883a8c174ffca8174cd7493a4aae6c95c72397628d395c32226392b -SIZE (bitwuzla-bitwuzla-0.5.0_GH0.tar.gz) = 2010240 +TIMESTAMP = 1734064151 +SHA256 (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 4a388aa935fab5fe3e61494f94c1110653ac11e07f1cf29593d6fdba30238afa +SIZE (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 2071988 diff --git a/math/bitwuzla/files/patch-src_meson.build b/math/bitwuzla/files/patch-src_meson.build index 43c57c11408e..0220847c7c2c 100644 --- a/math/bitwuzla/files/patch-src_meson.build +++ b/math/bitwuzla/files/patch-src_meson.build @@ -1,4 +1,4 @@ ---- src/meson.build.orig 2024-05-29 23:47:56 UTC +--- src/meson.build.orig 2024-12-13 03:01:05 UTC +++ src/meson.build @@ -15,13 +15,13 @@ gmp_dep = dependency('gmp', # Subproject dependencies @@ -19,17 +19,17 @@ +# cadical_dep = dependency('cadical', required: true) +#endif - # Kissat does not provide pkg-config to find dependency - kissat_dep = cpp_compiler.find_library('kissat', -@@ -34,9 +34,9 @@ endif + cms_dep = dependency('cryptominisat5', + version: '5.11.21', +@@ -39,9 +39,9 @@ endif # Using system include type suppresses compile warnings originating from the # symfpu headers -symfpu_dep = dependency('symfpu', include_type: 'system', required: true) +#symfpu_dep = dependency('symfpu', include_type: 'system', required: true) --dependencies = [symfpu_dep, cadical_dep, kissat_dep, gmp_dep] -+dependencies = [kissat_dep, gmp_dep] +-dependencies = [symfpu_dep, cadical_dep, cms_dep, kissat_dep, gmp_dep] ++dependencies = [cms_dep, kissat_dep, gmp_dep] cpp_args = [] - if kissat_dep.found() + if cms_dep.found()