From 21e4340ef1d0bee8fc8c7b58da0b51c13dd17c93 Mon Sep 17 00:00:00 2001
From: Kiran Gopinathan <kiran@basis.ai>
Date: Fri, 22 May 2026 12:02:54 -0400
Subject: [PATCH] Add Regex/Regex:static to managed project moreLinkObjs

Pantograph depends on lean-regex, which exports symbols that the
managed shared library needs at dlopen time. Without it, the dylib
loads fail with undefined symbol errors. Matches tests/lean/lakefile.toml.
---
 lean_py/project.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lean_py/project.py b/lean_py/project.py
index 696b260..aa15680 100644
--- a/lean_py/project.py
+++ b/lean_py/project.py
@@ -222,6 +222,7 @@ def _generate_lakefile(
         '"LeanPy/LeanPy:static"',
         '"LeanPy/leanPyNative:static"',
         '"Pantograph/Pantograph:static"',
+        '"Regex/Regex:static"',
     ]
     for dep in deps:
         if dep in _KNOWN_DEPS: