diff --git a/lakefile.toml b/lakefile.toml
index 0fe8cbf..594333e 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -7,6 +7,7 @@ experimental.module = true
 
 [[lean_lib]]
 name = "Cli"
+defaultFacets = ["static"]
 
 [[lean_lib]]
 name = "CliTest"