19 lines
403 B
Makefile
19 lines
403 B
Makefile
_default:
|
|
@just --list
|
|
|
|
|
|
[doc: "Build a Lean shared library with the \"shared\" facet"]
|
|
build-shared-lib:
|
|
#lake build LeanFfiExperiment:shared
|
|
lake build LeanFfiExperiment
|
|
|
|
|
|
[doc: "Build the rust executable"]
|
|
[working-directory: "lean-ffi-experiment-rust"]
|
|
run-rust: build-shared-lib
|
|
cargo run
|
|
|
|
# Run objdump on the output .so
|
|
objdump:
|
|
objdump -T .lake/build/lib/libffiexperiment.so
|