From 1943bb5097dee4d455863504851140f4161d9653 Mon Sep 17 00:00:00 2001
From: thorimur <68410468+thorimur@users.noreply.github.com>
Date: Thu, 1 Oct 2026 14:52:58 -0400
Subject: [PATCH] feat: precompileLibrary

---
 lakefile.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.toml b/lakefile.toml
index abcda7d..66738b0 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -13,6 +13,7 @@ rev = "v4.35.0-rc3"
 
 [[lean_lib]]
 name = "ImportGraph"
+precompileLibrary = true
 
 # `lake exe graph` constructs import graphs in `.dot` or graphical formats.
 [[lean_exe]]