From nobody Wed Oct 05 16:34:12 2022 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 4MjKsJ6ftSz4V8XQ; Wed, 5 Oct 2022 16:34:12 +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 4MjKsJ69rWz3qWQ; Wed, 5 Oct 2022 16:34:12 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1664987652; 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=f5KBzrlXqujFCIfNNsONYVxh8LK/Oll8fXdWadYfumE=; b=gVPxLIjqhnB1eCC05FNlQyYN4EuUzreUEs6uXOnQqBt5M84LHF18RliBDiZRGb2I5U6Gx0 Ik5r7dqmMdrp3kKh3hBAjymzYVrqrvCtuTDrBp4I7o/N1135qWaNScYtMPqblbL3Hv9/U3 /2huhz9KLCCEVNGkRv6xVva1evM0YTp+IXseK5jBavfn3t8yMw74yZo+jkeLiddC8yxRxd xCEKZsZLktaLV/cqzi25zXe/Pq0qUwVskbdPqCk5Aqx0HvB6i4qGCybjYUMKqmoDatZMEf fpojzl+cF3qgvxEDyqfr5v7uMR0JperremCHsIHjYG7LaDJgZcOpoK3r2Ril0w== 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 4MjKsJ5CsPzxrp; Wed, 5 Oct 2022 16:34:12 +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 295GYCgP053408; Wed, 5 Oct 2022 16:34:12 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 295GYC9r053407; Wed, 5 Oct 2022 16:34:12 GMT (envelope-from git) Date: Wed, 5 Oct 2022 16:34:12 GMT Message-Id: <202210051634.295GYC9r053407@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Daniel Engberg Subject: git: f3ed7c9f94da - main - math/cvc4: Mark BROKEN, doesn't build 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: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: diizzy X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: f3ed7c9f94dacceb527517733d31661743fc360d Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1664987652; 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=f5KBzrlXqujFCIfNNsONYVxh8LK/Oll8fXdWadYfumE=; b=ByAjf0YIb4l6eoKWkWWxje6niXDP7PFhCrDIFznjOtyKI6LpTIolEhwTjbOjqL+ahpGla2 +XDezYc8rptJtoC6vSez2hqQfwdPPYZgwARVnZ1sumorFAiULckzDUnFGDfjkNfJKGWKZR 7PuT0uVEBd3wBNt0nrqdBNBEDAR/HD2C4ge+TX7pNcLQ5LkBEnHcph7owqSBJX7xxk/U3E JreKD8lySQ0YNcnBFm99QxKvbkJDT2wSeHtfwEPwOTRqdqvo+1zsqmU49c90nlVRXwTHem Z2LdTk5i0obQH2ZCyU2oBk0h70P7Js9W1KlglDEHTwftz8s3nMwLuhkzFJNECw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1664987652; a=rsa-sha256; cv=none; b=NCGTyuFyFU+CO6hh8o4mA1yNv41krpRYd5LKaJzNysZ6GAtfRNMGTv/vpF1ZIfKMCqr4hH ZVJXpuxOUEVdCMSfXtZdjk7a4xehP6aeE5A6DcIJjm9PQp1Zjd38IYJexKK8kq8TATB1Jn ug8eS09QEsiWD7yH6eBuL5KUeaFX2DrYeQZSr5dp+0/2cNnwMePK2mZzW7M0tme3/hJukO gzOoUNnjFjrLdthMVbQHgQ/lbYg8hlcZztomzKatJmbbDGQPJsyhtX9HseKgUP0Ns8opx8 UoVH46ENPLNKi3aY8o8MlEYWbpCyxfBiS6urBxKzty3l/b2+XNKQ8VQH5fKHgw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by diizzy: URL: https://cgit.FreeBSD.org/ports/commit/?id=f3ed7c9f94dacceb527517733d31661743fc360d commit f3ed7c9f94dacceb527517733d31661743fc360d Author: Daniel Engberg AuthorDate: 2022-10-05 10:07:15 +0000 Commit: Daniel Engberg CommitDate: 2022-10-05 16:33:04 +0000 math/cvc4: Mark BROKEN, doesn't build Fails with src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations} on multiple platforms PR: 266721 Reported by: pkg-fallout --- math/cvc4/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 0e1a4ddfe07a..d556426dc339 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -16,6 +16,8 @@ WWW= https://cvc4.cs.stanford.edu/web/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYING +BROKEN= Doesn't build, src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations} + BUILD_DEPENDS= bash:shells/bash LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ libboost_system.so:devel/boost-libs