pyk
Contents:
pyk
pyk package
Subpackages
pyk.cterm package
pyk.kast package
pyk.kbuild package
pyk.kcfg package
pyk.kdist package
pyk.kllvm package
pyk.konvert package
pyk.kore package
pyk.kore_exec_covr package
pyk.krepl package
pyk.ktool package
pyk.prelude package
pyk.proof package
pyk.testing package
Submodules
pyk
pyk
pyk package
pyk.kbuild package
pyk.kbuild.kbuild module
View page source
pyk.kbuild.kbuild module
final
class
KBuild
(
kdist_dir
:
'str
|
Path'
)
[source]
Bases:
object
definition_dir
(
project
:
Project
,
target_name
:
str
)
→
Path
[source]
property
k_version
:
str
kdist_dir
:
Path
kompile
(
project
:
Project
,
target_name
:
str
,
*
,
debug
:
bool
=
False
)
→
Path
[source]
up_to_date
(
project
:
Project
,
target_name
:
str
)
→
bool
[source]
final
class
KBuildEnv
(
project
:
'Project'
,
path
:
'str
|
Path'
)
[source]
Bases:
object
static
create_temp
(
project
:
Project
)
→
Iterator
[
KBuildEnv
]
[source]
kompile
(
target_name
:
str
,
output_dir
:
Path
,
*
,
debug
:
bool
=
False
)
→
None
[source]
path
:
Path
project
:
Project
sync
(
)
→
None
[source]