From ac696809b0c62f7f062a0dc155a4bf4a995cc9cf Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Tue, 3 Mar 2026 16:43:56 +0100
Subject: display connect/disconnect

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lakefile.lean')

diff --git a/lakefile.lean b/lakefile.lean
index ecee22d..660403d 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -18,7 +18,7 @@ package «CWayland» {
 
 target «LibCWayland.o» pkg : System.FilePath := do
   let objectFile := pkg.buildDir / "LibCWayland.o"
-  let srcJob ← inputFile (text := .true) <| pkg.dir / "lib" / "CWayland" / "CWayland.c"
+  let srcJob ← inputFile (text := .true) <| pkg.dir / "lib" / "CWayland" / "CWayland.cc"
   let cFlags ← evalPkgConfig #["--cflags", "wayland-client"]
   buildFileAfterDep objectFile srcJob (fun srcFile ↦ do
     let cFlags := cFlags ++ #["-I", (← getLeanIncludeDir).toString, "-I", (← IO.getEnv "C_INCLUDE_PATH").getD "", "-fPIC"]
-- 
cgit v1.3.1