From nobody Mon May 6 08:44:47 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 4VXw2S08Fsz5JgpN; Mon, 06 May 2024 08:44:48 +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 4VXw2R5S9jz4xW9; Mon, 6 May 2024 08:44:47 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1714985087; 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=LEh0QrlIV8RvqDnAboG2jj9wD3XFmHZpWHwXs4fzybM=; b=WxE7ecDYFZXrI+D3qwDP+tsIlarg+L4EPK2w3ioHkpQNBdCBQAaDisa00IgFlx1zI46RIK W/IeWGwXAJTTSCYROQklaPuMBUrS+O+S524yPgJt3NRK+RLRWlAuvtDVTk813D28uvdwwf oLzywYgGtM5FUninXUwMryM12b8OTh5fHMjFF2t/iSS/BKqCP02pun8rBXTNPeWrgQb0Ax 7DCUOR20ImSOuCxGsaXNGvh6eLm/05npQ4iu4ep1vf55KrHrUFxFHge4So/trZuXliOP9K ns4WqHcv7vBphvgHQM+t3pnp/S0A5LnMyzRYNMmtJNX2QZeCeQuwyV4Y73PwxQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1714985087; a=rsa-sha256; cv=none; b=uaFoYG7o8A3as5Yp4G52LQkKpOnxmOf70UmVKpo9+4lDsEme6A81LUOj3rD5aCG7jTkFvF XytsAQMMF1K7UqBma0hPn6Kt3VTXREqPV1gi3R8ndvC9OQWZKX5TirM1NgCkLR10nd/EHd KfoYHEBgfeklmhVkz5ukJkpwqWUpigtJ7Mqa9eWOhoqvT5RKJqs1IxanGlBFUlZ/3d2z+u 6qnsuuclVzwmvBd1XhI7Mva5GuOGP1cAXQ4LNXx3veNC4k5ZZHGTqEI3HINHzLZ5NhuHOd 6I2gxr0jcBFj/hnM8jPmAP9HOpW4AuZkvVmZz83TwvJaMt3kDb6L37MlMp+gbg== 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=1714985087; 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=LEh0QrlIV8RvqDnAboG2jj9wD3XFmHZpWHwXs4fzybM=; b=LS2/N8uhdpGGy5pSz1y7CJ/5E8xzZYMXXsRzzLsMQM32rqedesnYCFWUkVdOvnn1h9sBY3 bpZ8TU2SGiEfYIpkhAdg6c/zwyLlRPUh29BgS3tGc1yMwksc8ntQSwowQiXPW+caYP6rL/ hgheQIST24UJViXC3Xkgw5wCnrT4YzKL1MUYUd6pkT4vEVDTG7pxZ8gX1quOC65k5y8w38 mGu27uyGshIq3sGAAI2iQm2HdOXyaLEIMxN4J3J+u1D+pySZZMv8tEsX4aXVXm+83KFcq0 HQiS/1bt5p6qrPi5sTkgtyQGK8FT/ob1mVrzwe9jaynAphiH8tSaoDxlmxHIAg== 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 4VXw2R3t3Tzr0T; Mon, 6 May 2024 08:44:47 +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 4468ild4058872; Mon, 6 May 2024 08:44:47 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 4468ilOn058869; Mon, 6 May 2024 08:44:47 GMT (envelope-from git) Date: Mon, 6 May 2024 08:44:47 GMT Message-Id: <202405060844.4468ilOn058869@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-branches@FreeBSD.org From: Yuri Victorovich Subject: git: 38ef1b22f32a - 2024Q2 - 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/2024Q2 X-Git-Reftype: branch X-Git-Commit: 38ef1b22f32aa49bfb1c5304348cc1d471f3fab1 Auto-Submitted: auto-generated The branch 2024Q2 has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=38ef1b22f32aa49bfb1c5304348cc1d471f3fab1 commit 38ef1b22f32aa49bfb1c5304348cc1d471f3fab1 Author: Yuri Victorovich AuthorDate: 2024-05-06 08:43:50 +0000 Commit: Yuri Victorovich CommitDate: 2024-05-06 08:44:40 +0000 math/lean4: Broken on armv7 Reported by: fallout (cherry picked from commit 39cc19929dda91e10fd0b92cc16b1f506cb57e2c) --- math/lean4/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index cfb76980d3a5..561c7ae4fb5f 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