fix: LEAN_EXPORT in sharecommon (#4893)

leanprover · Aug 1, 2024 · 0ed1cf7 · 0ed1cf7
1 parent e83f78d
commit 0ed1cf7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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<object_ref> 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