miden-vm
miden-vm copied to clipboard
CLI `bundle` command: add `debug_mode` and `kernel` flags
Context: https://github.com/0xPolygonMiden/miden-vm/pull/1445#discussion_r1713748940 and https://github.com/0xPolygonMiden/miden-vm/pull/1445#discussion_r1713778654
Currently, the bundle
CLI command
- creates a
Library
from a directory, and - automatically includes debug symbols.
It would be great if both were configurable: a --kernel
flag would create a KernelLibrary
instead of a Library
, and a --debug
flag would specify to include debug symbols (otherwise they wouldn't be).