add more to comment

T-Brick · Feb 28, 2024 · 83f5036 · 83f5036
1 parent b599417
commit 83f5036
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -1,8 +1,11 @@
 import Lake
 open Lake DSL
 
-/- copied from old eternity2 cadical impl
+/- Copied from our old eternity2 cadical linking struggles
   https://github.com/JamesGallicchio/eternity2/blob/c0e868a883aabb6b53b7bc8a86434cee5f295777/lean/lakefile.lean
+  https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/C.20FFI.20usage/near/316712266
+
+  Thanks james <333
 -/
 /-- Compute the path to `libstdc++.so.6` by running `whereis` -/
 elab "#get_libstdcpp" : command =>