change glue api to enable writing multiple files

This commit is contained in:
Brendan Hansknecht 2022-12-08 12:38:50 -08:00
parent 424931459d
commit 2f9e1ad539
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
5 changed files with 59 additions and 33 deletions

View file

@ -64,7 +64,7 @@ pub const FLAG_CHECK: &str = "check";
pub const FLAG_WASM_STACK_SIZE_KB: &str = "wasm-stack-size-kb";
pub const ROC_FILE: &str = "ROC_FILE";
pub const ROC_DIR: &str = "ROC_DIR";
pub const GLUE_FILE: &str = "GLUE_FILE";
pub const GLUE_DIR: &str = "GLUE_DIR";
pub const DIRECTORY_OR_FILES: &str = "DIRECTORY_OR_FILES";
pub const ARGS_FOR_APP: &str = "ARGS_FOR_APP";
@ -285,8 +285,8 @@ pub fn build_app<'a>() -> Command<'a> {
.required(true)
)
.arg(
Arg::new(GLUE_FILE)
.help("The filename for the generated glue code\n(Currently, this must be a .rs file because only Rust glue generation is supported so far.)")
Arg::new(GLUE_DIR)
.help("The directory for the generated glue code.\nNote: The implementation can write to any file in the directory.")
.allow_invalid_utf8(true)
.required(true)
)