miden-vm icon indicating copy to clipboard operation
miden-vm copied to clipboard

CLI `bundle` command: add `debug_mode` and `kernel` flags

Open plafer opened this issue 6 months ago • 1 comments

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

  1. creates a Library from a directory, and
  2. 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).

plafer avatar Aug 12 '24 19:08 plafer