diff options
Diffstat (limited to 'math/lean4/files/patch-src_runtime_stack__overflow.cpp')
-rw-r--r-- | math/lean4/files/patch-src_runtime_stack__overflow.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/math/lean4/files/patch-src_runtime_stack__overflow.cpp b/math/lean4/files/patch-src_runtime_stack__overflow.cpp new file mode 100644 index 000000000000..06914304dbaa --- /dev/null +++ b/math/lean4/files/patch-src_runtime_stack__overflow.cpp @@ -0,0 +1,12 @@ +--- src/runtime/stack_overflow.cpp.orig 2023-12-21 22:11:33 UTC ++++ src/runtime/stack_overflow.cpp +@@ -20,6 +20,9 @@ Port of the corresponding Rust code (see links below). + #include <lean/lean.h> + #include "runtime/stack_overflow.h" + ++#include <pthread_np.h> ++#define pthread_getattr_np pthread_attr_get_np ++ + namespace lean { + // stack guard of the main thread + static stack_guard * g_stack_guard; |