diff options
| author |   Maciej Barć <xgqt@riseup.net> | 2021-10-20 23:31:05 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@riseup.net> | 2021-10-20 23:35:14 +0200 |
| commit | a98873df4c825acc382e40752d25a28a1c440936 (patch) | |
| tree | 10983628a83f753333ab0dda8bdcaafc979dce73 /dev-lang | |
| parent | sci-mathematics/mathlib-tools: add version 1.1.0 (diff) | |
| download | guru-a98873df4c825acc382e40752d25a28a1c440936.tar.gz guru-a98873df4c825acc382e40752d25a28a1c440936.tar.bz2 guru-a98873df4c825acc382e40752d25a28a1c440936.zip | |
dev-lang/lean: add info about mathlib-tools
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/lean/lean-3.33.0.ebuild | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild index 120a2ac2e..ade8a9dae 100644 --- a/dev-lang/lean/lean-3.33.0.ebuild +++ b/dev-lang/lean/lean-3.33.0.ebuild @@ -5,7 +5,7 @@ EAPI=7 CMAKE_IN_SOURCE_BUILD="ON" -inherit cmake +inherit cmake optfeature DESCRIPTION="The Lean Theorem Prover" HOMEPAGE="https://leanprover-community.github.io/" @@ -40,6 +40,12 @@ src_configure() { } pkg_postinst() { - elog "You probably want to use lean with mathlib, to install it use leanpkg." - elog "For example: leanpkg install https://github.com/leanprover-community/mathlib" + elog "You probably want to use lean with mathlib, to install it you can either:" + elog " - Do not install mathlib globally and use local versions" + elog " - Use leanproject from sci-mathematics/mathlib-tools" + elog " $ leanproject global-install" + elog " - Use leanpkg and compile mathlib (which will take long time)" + elog " $ leanpkg install https://github.com/leanprover-community/mathlib" + + optfeature "project management with leanproject" sci-mathematics/mathlib-tools } |