From nobody Fri Feb 10 09:43:27 2023 X-Original-To: dev-commits-ports-all@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 4PCphH43bLz3pN4f; Fri, 10 Feb 2023 09:43:27 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4PCphH3Z45z3hlH; Fri, 10 Feb 2023 09:43:27 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1676022207; 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=xYG+mGP2ed+JoQXsqYc6MKMqlZXlMtFnf2QBbdPt7tk=; b=dgr9hv/MVPy05Q3+U8poN7VnA20IB3+jYXhEd5WKk7PruA99GOWtDr7HXQeHzRhVeQWNTq QvkKdSOlTaiklD5BEPLRvVTP3mB+vLWK5ssWlGcYi8tAljGvaNFCG9wuhwsdg16TwCZ6MJ XQOMq+xnmWBPIJh1u7bOVwGdVbeZmH7o6rhI3cZ2Zq/ecNZUCir2DJt7+iLDzZ3tyYsXn9 1CxYYZHs4byWDKUU7Ra3D+mn/FZsJ/XVebtWjQUE8GztOTZ1uxAUIrU2P0sGcHlACOYaEm g3lonsecMDkwTnh+E4XVFtovr4/p7ZWp2zkFTxm5bKuIZFM6tq3+IhoItzCKFQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1676022207; 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=xYG+mGP2ed+JoQXsqYc6MKMqlZXlMtFnf2QBbdPt7tk=; b=MY+XKd2ewxPMlGEcer7DULWe3QKOiuwgKWbRWliDxgv4YK7/4yd8Wz6KCyYW/rxrNLZVP8 glRlZOtGdHK2AEOKk3bjBfPRqINAQ+1oD9CO/wu5wc/PJSwTkR0ss3jjBVVw5Bc2pigTTQ R5eoIuboVhGF+Yq7YXmK8okIe6HZk0fwMCLjkjcJb/xrTvAwLCZ60IowcGe7BKaMCWifCh NId7PLwcjtpySSMfshqEUvt58b4vnIgvaDiDnFxXp0yYVW1Vtc/5wYwRS4NvcNvDzifQRS 7PqvLS6XujJIcbMtSlo+DBiqHoYjyFuVqkmyfj0IEc+AN64dJoHZhl4+/neQCw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1676022207; a=rsa-sha256; cv=none; b=oW4cRodYKPolLmqPS1tPzSJd0mDqVbI8bjo0O7iZtNr7l37+wZ1bvnd5mBl1jdDBfvYEeK iMDcwVCAe9KNVu7TfzQoLZZemr9rh+mFxvDnvU1stlMjgw7acP44gFMM5dKNiZTnyLQKoT BzmrafoQl5WbGXcd7PLw0PliixFpxaaz9HVxjOz86g01E0qyF/igjl6y6c5EyjLmNLmrhp HQ2qZJT6x4YXE+lelYnQf0NsB0KEnwBJd0VEGrh3PiFJSkjnEBzEdAG/5evhr6vLnWDWKp yEx6oK2N9Uzx1DUwmT7SCZ+ytnNaOffTDciqGkqGEjIP5dAl8GTol00NYK6o4g== 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 4PCphH2ftTz1CD7; Fri, 10 Feb 2023 09:43:27 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 31A9hRRF016484; Fri, 10 Feb 2023 09:43:27 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 31A9hRBs016483; Fri, 10 Feb 2023 09:43:27 GMT (envelope-from git) Date: Fri, 10 Feb 2023 09:43:27 GMT Message-Id: <202302100943.31A9hRBs016483@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: 56a4e7eaa848 - main - =?utf-8?Q?cad/yosys:=20Update=200.25=20=E2=86=92=200.26?= List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@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: 56a4e7eaa8482564e0430c1165e36b7bfd2fd675 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=56a4e7eaa8482564e0430c1165e36b7bfd2fd675 commit 56a4e7eaa8482564e0430c1165e36b7bfd2fd675 Author: Yuri Victorovich AuthorDate: 2023-02-10 08:17:29 +0000 Commit: Yuri Victorovich CommitDate: 2023-02-10 09:43:14 +0000 cad/yosys: Update 0.25 → 0.26 Reported by: portscout --- cad/yosys/Makefile | 4 ++-- cad/yosys/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile index 93b24e0cc50b..18c208669bde 100644 --- a/cad/yosys/Makefile +++ b/cad/yosys/Makefile @@ -1,6 +1,6 @@ PORTNAME= yosys DISTVERSIONPREFIX= yosys- -DISTVERSION= 0.25 +DISTVERSION= 0.26 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org @@ -32,7 +32,7 @@ BINARY_ALIAS= python3=${PYTHON_CMD} tclsh=${TCLSH} MAKE_ARGS= ABCEXTERNAL=abc MAKE_ENV= MAKE=${GMAKE} -TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3505 +TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3666 OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CVC5 YICES Z3 diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo index 8d1f7daaed54..3c7a868e78f8 100644 --- a/cad/yosys/distinfo +++ b/cad/yosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1672860519 -SHA256 (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 673e87eecb68fd5e889ac94b93dc9ae070f1a27d94dacbd738212cf09f39578c -SIZE (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 2465790 +TIMESTAMP = 1676004531 +SHA256 (YosysHQ-yosys-yosys-0.26_GH0.tar.gz) = e869e3770797f7edf352fd3033d5bba8606d40d6b32bae5051d917d120b9a177 +SIZE (YosysHQ-yosys-yosys-0.26_GH0.tar.gz) = 2501489