Merge pull request #3 from eth-easl/dandelion-dev

Dandelion dev

Author: leon-thomm

src/main.rs

@@ -34,6 +34,10 @@ pub struct CmdLineOpts {
     /// Path to output directory
     #[clap(default_value = "./generated")]
     output_directory: std::path::PathBuf,
+    /// Customize the name of the generated Rust crate.
+    /// Default: sandboxed-<input-file-name-base>
+    #[clap(long)]
+    crate_name: Option<String>,
     /// Prevent reformatting, for debug purposes
     #[clap(short, long)]
     prevent_reformat: bool,
@@ -81,6 +85,11 @@ pub struct CmdLineOpts {
     /// Generate a `no_std` library, limiting usage to `core` and `alloc`
     #[clap(long)]
     no_std_library: bool,
+    /// Generate statically allocated, heapless code (implies --no-std-library,
+    /// requires --fixed-mem-size)
+    /// (Warning: experimental performance impact)
+    #[clap(long)]
+    no_alloc: bool,
 }
 
 fn main() -> Maybe<()> {
@@ -106,6 +115,12 @@ fn main() -> Maybe<()> {
     if opts.generate_as_wasi_library {
         opts.generate_wasi_executable = true;
     }
+    if opts.no_alloc {
+        if opts.fixed_mem_size.is_none() {
+            return Err(eyre!("Must use --fixed-mem-size when using --no-alloc"));
+        }
+        opts.no_std_library = true;
+    }
 
     let inp = std::fs::read(&opts.input_path)?;
     println!("Finished reading");