From 0ed1cf724445a859fa61c4297c291e33b3da46e3 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 1 Aug 2024 13:03:25 +0200 Subject: [PATCH] fix: `LEAN_EXPORT` in sharecommon (#4893) --- src/runtime/sharecommon.h | 4 ++-- stage0/src/runtime/sharecommon.h | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/runtime/sharecommon.h b/src/runtime/sharecommon.h index c88d632c9a0c..af3fc01a1a81 100644 --- a/src/runtime/sharecommon.h +++ b/src/runtime/sharecommon.h @@ -19,7 +19,7 @@ A faster version of `sharecommon_fn` which only uses a local state. It optimizes the number of RC operations, the strategy for caching results, and uses C++ hashmap. */ -class sharecommon_quick_fn { +class LEAN_EXPORT sharecommon_quick_fn { protected: struct set_hash { std::size_t operator()(lean_object * o) const { return lean_sharecommon_hash(o); } @@ -60,7 +60,7 @@ class sharecommon_quick_fn { Similar to `sharecommon_quick_fn`, but we save the entry points and result values to ensure they are not deleted. */ -class sharecommon_persistent_fn : private sharecommon_quick_fn { +class LEAN_EXPORT sharecommon_persistent_fn : private sharecommon_quick_fn { std::vector m_saved; public: sharecommon_persistent_fn(bool s = false):sharecommon_quick_fn(s) {} diff --git a/stage0/src/runtime/sharecommon.h b/stage0/src/runtime/sharecommon.h index c88d632c9a0c..af3fc01a1a81 100644 --- a/stage0/src/runtime/sharecommon.h +++ b/stage0/src/runtime/sharecommon.h @@ -19,7 +19,7 @@ A faster version of `sharecommon_fn` which only uses a local state. It optimizes the number of RC operations, the strategy for caching results, and uses C++ hashmap. */ -class sharecommon_quick_fn { +class LEAN_EXPORT sharecommon_quick_fn { protected: struct set_hash { std::size_t operator()(lean_object * o) const { return lean_sharecommon_hash(o); } @@ -60,7 +60,7 @@ class sharecommon_quick_fn { Similar to `sharecommon_quick_fn`, but we save the entry points and result values to ensure they are not deleted. */ -class sharecommon_persistent_fn : private sharecommon_quick_fn { +class LEAN_EXPORT sharecommon_persistent_fn : private sharecommon_quick_fn { std::vector m_saved; public: sharecommon_persistent_fn(bool s = false):sharecommon_quick_fn(s) {}