Changes between Initial Version and Version 1 of Ticket #47306
- Timestamp:
- Mar 29, 2015, 9:51:39 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #47306
-
Property
Status
changed from
new
toclosed
-
Property
Summary
changed from
could not build Microsoft Lean theorem proover
tolean: could not build Microsoft Lean theorem proover
-
Property
Milestone
changed from
MacPorts Future
to - Property Keywords macport failure removed
-
Property
Resolution
changed from
to
invalid
- Property Port lean added
-
Property
Status
changed from
-
Ticket #47306 – Description
initial v1 1 {{{ 1 2 Error: org.macports.configure for port lean returned: configure failure: command execution failed 2 3 Command is: 3 4 cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_leanprover.github.io_macports_ports_lang_lean/lean/work/lean-0cda3f7cbf873e765677a1e36a46c0d5538fdbae" 4 5 && /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 6 }}}