11 lines
205 B
TOML
11 lines
205 B
TOML
--- tests/lakefile.toml.orig 2026-01-20 14:00:20 UTC
|
|
+++ tests/lakefile.toml
|
|
@@ -1,5 +1,7 @@ name = "tests"
|
|
name = "tests"
|
|
|
|
+weakLeancArgs = ["-fPIC"]
|
|
+
|
|
[[lean_lib]]
|
|
name = "Tests"
|
|
globs = ["lean.*"]
|