Return C compiler flags for including Lean's headers.
Equations
- Lean.Compiler.FFI.getCFlags leanSysroot = #["-I", (leanSysroot / { toString := "include" }).toString] ++ String.splitOn (String.trim (Lean.Compiler.FFI.getLeancExtraFlags ()))
def
Lean.Compiler.FFI.getLinkerFlags
(leanSysroot : System.FilePath)
(linkStatic : optParam Bool true)
:
Return linker flags for linking against Lean's libraries.
Equations
- One or more equations did not get rendered due to their size.