diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-03 16:43:56 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-03 16:43:56 +0100 |
| commit | ac696809b0c62f7f062a0dc155a4bf4a995cc9cf (patch) | |
| tree | f66179841980d791a935e108c86a4cecf55144e3 /lakefile.lean | |
| parent | 651c32bad4f336eee9cf423eec5f7b1057a58adf (diff) | |
display connect/disconnect
Diffstat (limited to 'lakefile.lean')
| -rw-r--r-- | lakefile.lean | 2 |
1 files changed, 1 insertions, 1 deletions
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"] |