Return C compiler flags for including Lean's headers.
Instances For
def
Lean.Compiler.FFI.getLinkerFlags
(leanSysroot : Lake.FilePath)
(linkStatic : optParam Bool true)
:
Return linker flags for linking against Lean's libraries.
Lean.Compiler.FFI
Return C compiler flags for including Lean's headers.
Return linker flags for linking against Lean's libraries.