fix Emscripten

leanprover · Nov 16, 2024 · 9c9b808 · 9c9b808
1 parent 0a1c5a5
commit 9c9b808
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/runtime/process.cpp b/src/runtime/process.cpp
@@ -328,6 +328,8 @@ extern "C" LEAN_EXPORT obj_res lean_io_get_tid(obj_arg) {
     uint64_t tid;
 #ifdef __APPLE__
     lean_always_assert(pthread_threadid_np(NULL, &tid) == 0);
+#elif defined(LEAN_EMSCRIPTEN)
+    tid = 0;
 #else
     // since Linux 2.4.11, our glibc 2.27 requires at least 3.2
     // glibc 2.30 would provide a wrapper