[MacPorts] #47306: lean: could not build Microsoft Lean theorem proover (was: could not build Microsoft Lean theorem proover)

[MacPorts]

#47306: lean: could not build Microsoft Lean theorem proover
----------------------------+--------------------------------
  Reporter:  josef_frydl@…  |      Owner:  macports-tickets@…
      Type:  defect         |     Status:  closed
  Priority:  Normal         |  Milestone:
 Component:  ports          |    Version:  2.3.3
Resolution:  invalid        |   Keywords:
      Port:  lean           |
----------------------------+--------------------------------
Changes (by ryandesign@…):

 * status:  new => closed
 * milestone:  MacPorts Future =>
 * keywords:  macport failure =>
 * resolution:   => invalid
 * port:   => lean


Old description:

> Error: org.macports.configure for port lean returned: configure failure:
> command execution failed
> Command is:
> cd
> "/opt/local/var/macports/build/_opt_local_var_macports_sources_leanprover.github.io_macports_ports_lang_lean/lean/work
> /lean-0cda3f7cbf873e765677a1e36a46c0d5538fdbae"
> && /opt/local/bin/cmake -DCMAKE_INSTALL_PREFIX=/opt/local
> -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_COLOR_MAKEFILE=ON
> -DCMAKE_BUILD_TYPE=Release -DCMAKE_BUILD_WITH_INSTALL_RPATH=ON
> -DCMAKE_INSTALL_RPATH=/opt/local/lib
> -DCMAKE_INSTALL_NAME_DIR=/opt/local/lib
> -DCMAKE_SYSTEM_PREFIX_PATH="/opt/local;/usr"
> -DCMAKE_MODULE_PATH=/opt/local/share/cmake/Modules
> -DCMAKE_FIND_FRAMEWORK=LAST -Wno-dev src/
> -DCMAKE_C_FLAGS_RELEASE="-DNDEBUG" -DCMAKE_CXX_FLAGS_RELEASE="-DNDEBUG"
> -DCMAKE_OSX_ARCHITECTURES="x86_64" -DCMAKE_OSX_DEPLOYMENT_TARGET="10.9"
> -DCMAKE_OSX_SYSROOT="/"
> /opt/local/var/macports/build/_opt_local_var_macports_sources_leanprover.github.io_macports_ports_lang_lean/lean/work
> /lean-0cda3f7cbf873e765677a1e36a46c0d5538fdbae

New description:

 {{{
 Error: org.macports.configure for port lean returned: configure failure:
 command execution failed
 Command is:
 cd
 "/opt/local/var/macports/build/_opt_local_var_macports_sources_leanprover.github.io_macports_ports_lang_lean/lean/work
 /lean-0cda3f7cbf873e765677a1e36a46c0d5538fdbae"
 && /opt/local/bin/cmake -DCMAKE_INSTALL_PREFIX=/opt/local
 -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_COLOR_MAKEFILE=ON
 -DCMAKE_BUILD_TYPE=Release -DCMAKE_BUILD_WITH_INSTALL_RPATH=ON
 -DCMAKE_INSTALL_RPATH=/opt/local/lib
 -DCMAKE_INSTALL_NAME_DIR=/opt/local/lib
 -DCMAKE_SYSTEM_PREFIX_PATH="/opt/local;/usr"
 -DCMAKE_MODULE_PATH=/opt/local/share/cmake/Modules
 -DCMAKE_FIND_FRAMEWORK=LAST -Wno-dev src/
 -DCMAKE_C_FLAGS_RELEASE="-DNDEBUG" -DCMAKE_CXX_FLAGS_RELEASE="-DNDEBUG"
 -DCMAKE_OSX_ARCHITECTURES="x86_64" -DCMAKE_OSX_DEPLOYMENT_TARGET="10.9"
 -DCMAKE_OSX_SYSROOT="/"
 /opt/local/var/macports/build/_opt_local_var_macports_sources_leanprover.github.io_macports_ports_lang_lean/lean/work
 /lean-0cda3f7cbf873e765677a1e36a46c0d5538fdbae
 }}}

--

Comment:

 You appear to be having a problem with the port "lean", but we have no
 such port in our repository. It looks like you have configured a secondary
 port repository, leanprover.github.io. Please file the bug report with
 them.

-- 
Ticket URL: <https://trac.macports.org/ticket/47306#comment:1>
MacPorts <https://www.macports.org/>
Ports system for OS X