Documentation

Lake.Build.Executable

Lean Executable Build #

The build function definition for a Lean executable.

source
def Lake.LeanExe.recBuildExe (self : Lake.LeanExe) :
Lake.FetchM (Lake.BuildJob System.FilePath)
Instances For