[MacPorts] #69345: lean: Update to Lean 4 (was: Lean: Update to Lean 4)

[MacPorts]

#69345: lean: Update to Lean 4
-----------------------+----------------------
  Reporter:  szhorvat  |      Owner:  kakuhen
      Type:  update    |     Status:  assigned
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:
Resolution:            |   Keywords:
      Port:  lean      |
-----------------------+----------------------
Changes (by ryandesign):

 * status:  new => assigned
 * owner:  (none) => kakuhen
 * cc: kakuhen (removed)


Comment:

 Looks like their shell script installs Homebrew, configures it to add a
 non-standard collection of formulas, uses that to install Microsoft Visual
 Studio Code, and then uses VS Code to install lean 4. Obviously a MacPorts
 port won't be doing any of those things. We build from source.

 The lean port is currently downloading from https://github.com/leanprover-
 community/lean at which the latest version is 3.51.1. The port could
 probably be updated to that version easily.

 The README there says:

 > Lean 3 is no longer actively maintained. It is strongly recommended that
 you use Lean 4 instead.

 where "Lean 4" is a link to the main lean web site which, if you look for
 a source download link, leads to https://github.com/leanprover/lean4 at
 which the latest version is 4.5.0. So your request to update to version 4
 is a request to switch from the community edition to the official version.
 I don't know how much effort is involved in doing that or what the
 differences between the editions are or why this port has always used the
 community edition instead of the official version but presumably there was
 a reason.

-- 
Ticket URL: <https://trac.macports.org/ticket/69345#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS