Documentation
Lake
.
CLI
.
Actions
Search
return to top
source
Imports
Lake.Build.Common
Lake.Build.Run
Lake.Build.Targets
Lake.CLI.Build
Imported by
Lake
.
env
Lake
.
exe
Lake
.
Package
.
pack
Lake
.
Package
.
unpack
Lake
.
Package
.
uploadRelease
Lake
.
Package
.
resolveDriver
Lake
.
Package
.
test
Lake
.
Package
.
lint
source
def
Lake
.
env
(
cmd
:
String
)
(
args
:
Array
String
:=
#[
]
)
:
LakeT
IO
UInt32
Equations
Instances For
source
def
Lake
.
exe
(
name
:
Lean.Name
)
(
args
:
Array
String
:=
#[
]
)
(
buildConfig
:
BuildConfig
:=
{
}
)
:
LakeT
IO
UInt32
Equations
Instances For
source
def
Lake
.
Package
.
pack
(
pkg
:
Package
)
(
file
:
System.FilePath
:=
pkg
.
buildArchiveFile
)
:
LogIO
Unit
Equations
Instances For
source
def
Lake
.
Package
.
unpack
(
pkg
:
Package
)
(
file
:
System.FilePath
:=
pkg
.
buildArchiveFile
)
:
LogIO
Unit
Equations
Instances For
source
def
Lake
.
Package
.
uploadRelease
(
pkg
:
Package
)
(
tag
:
String
)
:
LogIO
Unit
Equations
Instances For
source
def
Lake
.
Package
.
resolveDriver
(
pkg
:
Package
)
(
kind
driver
:
String
)
:
LakeT
IO
(
Package
×
String
)
Equations
Instances For
source
def
Lake
.
Package
.
test
(
pkg
:
Package
)
(
args
:
List
String
:=
[
]
)
(
buildConfig
:
BuildConfig
:=
{
}
)
:
LakeT
IO
UInt32
Equations
Instances For
source
def
Lake
.
Package
.
lint
(
pkg
:
Package
)
(
args
:
List
String
:=
[
]
)
(
buildConfig
:
BuildConfig
:=
{
}
)
:
LakeT
IO
UInt32
Equations
Instances For