13 lines
239 B
TOML
13 lines
239 B
TOML
name = "lean-ffi-experiment"
|
|
version = "0.1.0"
|
|
defaultTargets = ["lean-ffi-experiment"]
|
|
|
|
[[lean_lib]]
|
|
name = "LeanFfiExperiment"
|
|
defaultFacets = ["shared"]
|
|
libName = "ffiexperiment"
|
|
|
|
[[lean_exe]]
|
|
name = "lean-ffi-experiment"
|
|
root = "Main"
|