You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In file included from /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/init_module.cpp:54:
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/parray.h:592:20: error: no member named 'm_ptr' in 'parray<T, ThreadSafe>'
592 | m_cell = s.m_ptr;
| ~ ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/parray.h:593:11: error: no member named 'm_ptr' in 'parray<T, ThreadSafe>'
593 | s.m_ptr = nullptr;
| ~ ^
2 errors generated.
Prerequisites
Please put an X between the brackets as you perform the following steps:
https://github.com/leanprover/lean4/issues
Avoid dependencies to Mathlib or Batteries.
https://live.lean-lang.org/#project=lean-nightly
(You can also use the settings there to switch to “Lean nightly”)
Description
log
Context
The failure occurs during the build of the FreeBSD port.
Versions
3.51.1
clang-18
FreeBSD 14.1
The text was updated successfully, but these errors were encountered: