svn commit: r569374 - head/math/lean

[Yuri Victorovich]

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 at 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 at 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
+}
+]