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)
(gmp : optParam String "-lgmp")
:
Equations
- Lean.Compiler.FFI.getLinkerFlags leanSysroot linkStatic gmp = #["-L", (leanSysroot / { toString := "lib" } / { toString := "lean" }).toString] ++ String.splitOn (String.trim (Lean.Compiler.FFI.getBuiltinLinkerFlags linkStatic)) ++ [gmp]