From dab858e92dfa5705d1aef7259e03b25747372d95 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 10 Apr 2026 17:36:15 +0200 Subject: implement registry wrapper --- lakefile.lean | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lakefile.lean') diff --git a/lakefile.lean b/lakefile.lean index 271a216..512912d 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -53,6 +53,10 @@ lean_lib «Wayland» where roots := #[`Wayland] extraDepTargets := #[`WaylandProtocolsSources] +lean_lib «WayleanLib» where + srcDir := "src" + roots := #[`Waylean] + lean_exe «Waylean» where srcDir := "src" root := `Waylean -- cgit v1.3.1