diff options
| -rw-r--r-- | math/lean/Makefile | 1 | ||||
| -rw-r--r-- | math/lean/pkg-message | 16 |
2 files changed, 17 insertions, 0 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index 12f4015f8db9..b601fb505076 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -3,6 +3,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v DISTVERSION= 3.28.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/pkg-message b/math/lean/pkg-message new file mode 100644 index 000000000000..c3656195ef46 --- /dev/null +++ b/math/lean/pkg-message @@ -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 +} +] |