From nobody Wed Sep 25 08:33:38 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 4XD9425k8Rz5X9V4; Wed, 25 Sep 2024 08:33:38 +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 "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4XD94252pcz4QkG; Wed, 25 Sep 2024 08:33:38 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1727253218; 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=b5BMLSbLGPLK/5f3dP8GMWtWxyO1adZZ0YYH+9BnwB0=; b=bejUos0Wpa0g3Tx7XDN6jWSfCWfa/BGVRqED98lXVs4qhMRtv5tTd3Wc6uJQHN4RtxNVmU 08AMi7/RGUj0CXsHZZbLg0P3nVSpDJo4z9LSk/tVLi6mHifVI4NE4u8FKgvIiNUFGek363 818sDrNkd64bQgTydqKDlY0qCskoIsRbIK9i33fFEkC37OotPUz1HyOOCwO2GfjBeEw/76 /EUsF9HY25t+ilQ5OchLHv4Yy0Wuc2UxXGuxZqbnFjvk6KxLRo+fVEFm8pn1EXFuGhI1sQ 6B4CUXVx06a5+aqBkwf0rsmQqRx9uTEIEJDxCG/cbIAjIzXKDlIpd52T6fCjNg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1727253218; a=rsa-sha256; cv=none; b=Lnbqy+V07ARPvPeHXNRm3d1wkHU0Q3zvv4F5O1EnUPSC6du6VdXPOxapavHJiDGxZ+DSbe 7AcjoWJWAh+pfqtFcUTvh1VobP9JbuH3rpS5pCEd9GF3SucvNjY8VWb4N7wuH6y2QietVh VrklvTzko/ACcT9yHsiyJoJ0tcmanCJNAqnkl26DtofJbnm9Q1uTpf9bfHN70vsQSKOhgn 6XTKkUfBn0zCmmk929emTIWE8qPbGif3EU9Pw8TE019vyvUAVVJxJ/yTmPPSAmIZTANN9k CGDWPK+EhBOGb7wsthHsVfMnD4fjnBXSQGcp6xvp4eK/ooB6ehtXL84qFv779A== 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=1727253218; 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=b5BMLSbLGPLK/5f3dP8GMWtWxyO1adZZ0YYH+9BnwB0=; b=ezwkdicp7o/hZ8fN/v7e5xD1hNnoKDvmLq5cAnQRyscvmDQ47KKT+CRBis+fJIbnFvo/aF SV9uzsH7KvyH25qfFSAYV/K+iaWRaU7g/7p7XrLBMZ5ZBvC4CXXipWPz5h21t/TFC7LZL3 jzaUYDV11VhcXEzJsz2bu+K2AOnypJ9q2D0wVy1jknd5vuTD3bDWBR1yNHiuYkzE4cpjRd La4OPWLGCqVm/FGxaT9FGLdAU8WkooldbsBucpeCBy6wjS4zvP/04eWmZAJiBdBBQ7oITP OAsWwqGyb2H/i0bj+WrYYbxxBjUGfTTSNdxEr0FbYHXvmjAz8FXIlPE4SASG9Q== 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 4XD9424fFDz156h; Wed, 25 Sep 2024 08:33:38 +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 48P8Xcx0064179; Wed, 25 Sep 2024 08:33:38 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 48P8XcAu064176; Wed, 25 Sep 2024 08:33:38 GMT (envelope-from git) Date: Wed, 25 Sep 2024 08:33:38 GMT Message-Id: <202409250833.48P8XcAu064176@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: 8a1be59cb545 - main - math/lean4: Remove pkg-message since both recommendations there aren't relevant any more 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: 8a1be59cb545963889ca0d2ec7d6da14f5da6eed Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=8a1be59cb545963889ca0d2ec7d6da14f5da6eed commit 8a1be59cb545963889ca0d2ec7d6da14f5da6eed Author: wen heping AuthorDate: 2024-09-25 04:25:24 +0000 Commit: Yuri Victorovich CommitDate: 2024-09-25 08:33:27 +0000 math/lean4: Remove pkg-message since both recommendations there aren't relevant any more --- math/lean4/Makefile | 12 ++++++++++++ math/lean4/pkg-message | 22 ---------------------- 2 files changed, 12 insertions(+), 22 deletions(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index abfc3004d07b..aa4a44690ce8 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,6 +1,7 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v DISTVERSION= 4.11.0 +PORTREVISION= 1 CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment MAINTAINER= yuri@FreeBSD.org @@ -26,6 +27,17 @@ CXXFLAGS+= -fPIC BINARY_ALIAS= make=${GMAKE} python=${PYTHON_CMD} +pre-everything:: + @${ECHO_MSG} "" + @${ECHO_MSG} "Please note that build Lean requires /proc to be mounted." + @${ECHO_MSG} "" + @${ECHO_MSG} " The usual way to do this is to add this line to /etc/fstab:" + @${ECHO_MSG} " proc /proc procfs rw 0 0" + @${ECHO_MSG} "" + @${ECHO_MSG} " and then run this command as root:" + @${ECHO_MSG} " # mount /proc" + @${ECHO_MSG} "" + post-install: # remove empty dirs @${FIND} ${STAGEDIR}${DATADIR} -type d -empty -delete diff --git a/math/lean4/pkg-message b/math/lean4/pkg-message deleted file mode 100644 index e0c1a26dc720..000000000000 --- a/math/lean4/pkg-message +++ /dev/null @@ -1,22 +0,0 @@ -[ -{ type: install - message: <