feat(build): Add shared facet for lean_lib

2024-03-06 15:27:22 -08:00 · 2024-03-06 15:27:22 -08:00 · 267d635c05
parent 93b7d8b67d
commit 267d635c05
1 changed files with 1 additions and 0 deletions
--- a/lakefile.lean
+++ b/lakefile.lean
@ -4,6 +4,7 @@ open Lake DSL
 package pantograph

 lean_lib Pantograph {
+  defaultFacets := #[LeanLib.sharedFacet]
 }

@[default_target]