From nobody Mon May 06 08:44:30 2024 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 4VXw264GYPz5JgXZ; Mon, 06 May 2024 08:44:30 +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 4VXw263Xtsz4xDK; Mon, 6 May 2024 08:44:30 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1714985070; 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=JgkKpTdAE4DUvpvF1zuMP14II+2Du6CWCWaKwSQFkws=; b=Vmlxm+pbqq2auaG6s6nMA5Z+efvceqYvxnjiCuhrLsIsvHrb/rdV5n4rzKK0sdHmfehUKr RIyMWW1g2dmTlO48s2b9vYeyxwXxGqAemTdeEOF4fMPddTlSLmoDBthti1+f/Nbc9H00vb L0mogV73PTM6pL6Z7zotxxzETzUlsLnqJ2LQ4G2wxefcR/0iPON+jdLHQ2P2Edhh8WVvm3 Hfa1jkL0wmdN9MXaWr75sG1KOyeI+QFuuQYWW0d/fzV28QNkoiHGPzY0A/Dic47i3Pe7Xd fgVVm0zaeetgKurDQ+izy76aoNaRVbujzmORQoJWmpF3/gVKNvkJq+eFLcTm6w== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1714985070; a=rsa-sha256; cv=none; b=D2+bxSJCqsnoGuOVanhK8UhBBQWl6oLdL5MFnlFw6DNkfImO+Y2gqi+d5v4xLI4bNgvmtq mhNrVTHSnU7tNAjYpkd9NwqFtskGw7B/u/SQ6LZ5tIA9XAmoWxrPeMTF1Cl/nS5980Sp+g SfH5MVwsIfPgBB47+hd3eB+R625sa02/AyfDiiDk16dxSUw0juM8YihxvDqXR+CS/+jr3H fUGdMWPSG6bhPWu2QrXvDRd+/aWn1dCBqDO3ik/q1lzlk2sPK53+2ISPhZ0YDbDVd9dknC Zlxc5A2LDerfTZc2vEBSVDJFCqPQSTsR5AZyGdxcjIlMiW/YGWDNA6uPQW8jkg== 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=1714985070; 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=JgkKpTdAE4DUvpvF1zuMP14II+2Du6CWCWaKwSQFkws=; b=JnfnYusnwQTRj5OPyFBjfdVTnQ38/acCJ28eUPq5E4jWnrSqw3kd3IUny5q0/HExmCvHqX omT+VmIm3zUG941pX91R4rA3qUvj8oUP3WV3d92l/q2CyYJ/jkif8V4bWeJGaqBunupD4d 2nyzJI1wiRuBDbh9BdSJKs0ijypCViTNLgCOab4ZIqo2lrrMf2VQC4f+/LAeiuToQ4H7qs DesXXOEJCI8ou8NJx+eTMApAg9Ig5knG5T6iXbQtRJVS+4AkNvSXNLhF9Qn/Z21GQGLg8o 01licQ8Y69+XdpmaJ2UOVNn2q/8tXhhJAN8BY9It5rbYQqgkWhxiebrGDZt1BQ== 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 4VXw26388szrB6; Mon, 6 May 2024 08:44:30 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 4468iU3s058549; Mon, 6 May 2024 08:44:30 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 4468iUjP058546; Mon, 6 May 2024 08:44:30 GMT (envelope-from git) Date: Mon, 6 May 2024 08:44:30 GMT Message-Id: <202405060844.4468iUjP058546@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: 39cc19929dda - main - math/lean4: Broken on armv7 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: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-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: 39cc19929dda91e10fd0b92cc16b1f506cb57e2c Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=39cc19929dda91e10fd0b92cc16b1f506cb57e2c commit 39cc19929dda91e10fd0b92cc16b1f506cb57e2c Author: Yuri Victorovich AuthorDate: 2024-05-06 08:43:50 +0000 Commit: Yuri Victorovich CommitDate: 2024-05-06 08:43:50 +0000 math/lean4: Broken on armv7 Reported by: fallout --- math/lean4/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 66c8a8cf5adc..cbc4e5280841 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -10,6 +10,7 @@ WWW= https://lean-lang.org/ LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/LICENSE +BROKEN_armv7= compilation fails: ../../.build/stage1/lib/temp/Init/Coe.depend: No such file or directory BROKEN_i386= linking fails: INTERNAL PANIC: out of memory (during: Linking runLinter) BUILD_DEPENDS= bash:shells/bash