Merge pull request #5 from chabulhwi:update-readme

Update README with an instruction
Anderssorby · Dec 9, 2023 · 818b862 · 818b862
2 parents 636d7a0 + 677f0c4
commit 818b862
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -31,3 +31,5 @@ or with lake
 ```bash
 lake exe Tests NAME_OF_TEST
 ```
+
+If your [SDL2 links against a newer version of glibc than Lean does](https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/SDL2.20library.20SDL.2Elean/near/375967370), run `export LEAN_CC=gcc` to make Lean use your system glibc.