13 lines
405 B
C++
13 lines
405 B
C++
--- src/runtime/stack_overflow.cpp.orig 2025-05-06 09:12:17 UTC
|
|
+++ src/runtime/stack_overflow.cpp
|
|
@@ -21,6 +21,9 @@ Port of the corresponding Rust code (see links below).
|
|
#include <initializer_list>
|
|
#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;
|