update readme

bin/datatool/README.md

@@ -48,3 +48,9 @@ Because building the guest code in Docker can be time-consuming, you can generat
 ```bash
 cargo build --bin strata-datatool -F "sp1" --release
 ```
+
+Additionally, the generated ELF can be exported after building the datatool as specified above:
+
+```bash
+strata-datatool genparams --elf-path <ELF-PATH>
+```

bin/datatool/src/args.rs

@@ -187,7 +187,7 @@ pub(crate) struct SubcParams {
     pub(crate) proof_timeout: Option<u32>,
 
     #[argh(option, description = "directory to export the generated ELF")]
-    pub(crate) elf_path: Option<PathBuf>,
+    pub(crate) elf_dir: Option<PathBuf>,
 }
 
 pub(crate) struct CmdContext {

bin/datatool/src/util.rs

@@ -298,7 +298,7 @@ fn exec_genparams(cmd: SubcParams, ctx: &mut CmdContext) -> anyhow::Result<()> {
         println!("{params_buf}");
     }
 
-    if let Some(elf_path) = &cmd.elf_path {
+    if let Some(elf_path) = &cmd.elf_dir {
         export_elf(elf_path)?;
     }
 

provers/sp1/build.rs

@@ -1,7 +1,6 @@
 use std::{
     collections::{HashMap, HashSet},
-    env,
-    fs::{self},
+    env, fs,
     path::{Path, PathBuf},
 };