fix: cache lib dir (adaption for lean4#7001)

tydeu · tydeu · commit 59e4c3e93117 · 2025-02-16T17:51:54.000-05:00
diff --git a/Cache/IO.lean b/Cache/IO.lean
@@ -16,7 +16,7 @@ open System (FilePath)
 
 /-- Target directory for build files -/
 def LIBDIR : FilePath :=
-  ".lake" / "build" / "lib"
+  ".lake" / "build" / "lib" / "lean"
 
 /-- Target directory for IR files -/
 def IRDIR : FilePath :=
