Opened 10 years ago

Closed 10 years ago

#47306 closed defect (invalid)

lean: could not build Microsoft Lean theorem proover

Reported by: josef_frydl@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.3.3
Keywords: Cc:
Port: lean

Description (last modified by ryandesign (Ryan Carsten Schmidt))

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

Attachments (1)

main.log (28.9 KB) - added by josef_frydl@… 10 years ago.

Download all attachments as: .zip

Change History (2)

Changed 10 years ago by josef_frydl@…

Attachment: main.log added

comment:1 Changed 10 years ago by ryandesign (Ryan Carsten Schmidt)

Description: modified (diff)
Keywords: macport failure removed
Milestone: MacPorts Future
Port: lean added
Resolution: invalid
Status: newclosed
Summary: could not build Microsoft Lean theorem prooverlean: could not build Microsoft Lean theorem proover

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.

Note: See TracTickets for help on using tickets.