Add version information to output for debugging

Change-Id: I394069317390d22ee92523cada842b00487c7c9e
project-oak · Mar 10, 2022 · ae9b50c · ae9b50c
1 parent 0c2cdc2
commit ae9b50c
Show file tree

Hide file tree

Showing 5 changed files with 225 additions and 4 deletions.
diff --git a/ibis/Cargo.lock b/ibis/Cargo.lock
diff --git a/ibis/Cargo.toml b/ibis/Cargo.toml
@@ -5,6 +5,7 @@ edition = "2021"
 description = "Ibis - a knowledge engine for type checking asynchronously communicating modules"
 repository = "https://github.com/project-oak/arcsjs-provable"
 license = "See LICENSE"
+build = "build.rs"
 
 [lib]
 name = "ibis"
@@ -20,6 +21,7 @@ dot = [] # Support the generation of dot graphs (for debugging)
 wasm = [ "wasm-bindgen", "console_error_panic_hook" ] # Support wasm-bindgen API
 
 [dependencies]
+shadow-rs = { version = "0.9", default-features = false }
 nom = "7.1.0"
 paste = "1.0.6"
 crepe = "0.1.6"
@@ -34,6 +36,9 @@ console_error_panic_hook = { version = "0.1.7", optional = true }
 pretty_assertions = "1.0.0"
 criterion = { version = "0.3", features = ["html_reports"] }
 
+[build-dependencies]
+shadow-rs = "0.9"
+
 [profile.release]
 opt-level = "z"
 lto = "fat"

diff --git a/ibis/build.rs b/ibis/build.rs
@@ -0,0 +1,3 @@
+fn main() -> shadow_rs::SdResult<()> {
+    shadow_rs::new()
+}
diff --git a/ibis/src/bin/main.rs b/ibis/src/bin/main.rs
@@ -10,6 +10,7 @@ use ibis::IbisError;
 use std::io::Read;
 
 fn main() -> Result<(), IbisError> {
+    ibis::print_info();
     let mut data = String::new();
     std::io::stdin()
         .read_to_string(&mut data)