Date: Sun, 28 Mar 2021 05:01:13 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r569374 - head/math/lean Message-ID: <202103280501.12S51DoH017145@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Sun Mar 28 05:01:13 2021 New Revision: 569374 URL: https://svnweb.freebsd.org/changeset/ports/569374 Log: math/lean: Add pkg-message with warning about /proc being required to be mounted Reported by: BRANDON BOCANEGRA <kakuhen@g.ucla.edu> Added: head/math/lean/pkg-message (contents, props changed) Modified: head/math/lean/Makefile Modified: head/math/lean/Makefile ============================================================================== --- head/math/lean/Makefile Sun Mar 28 04:43:28 2021 (r569373) +++ head/math/lean/Makefile Sun Mar 28 05:01:13 2021 (r569374) @@ -3,6 +3,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v DISTVERSION= 3.28.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org Added: head/math/lean/pkg-message ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/lean/pkg-message Sun Mar 28 05:01:13 2021 (r569374) @@ -0,0 +1,16 @@ +[ +{ type: install + message: <<EOM +You installed lean: The Theorem Prover. + +Please note that lean requires /proc to be mounted. + +The usual way to do this is to add this line to /etc/fstab: +proc /proc procfs rw 0 0 + +and then run this command as root: +# mount /proc + +EOM +} +]
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202103280501.12S51DoH017145>