diff options
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"] |