Merge remote-tracking branch 'origin' into release-0.3.0

Cargo.toml

@@ -62,6 +62,7 @@ im-rc = "15.1.0"
 
 [build-dependencies]
 lalrpop = "0.20"
+chrono = { version = "0.4", default-features = false, features = ["now"] }
 
 [dev-dependencies]
 glob = "0.3.1"

build.rs

@@ -1,3 +1,19 @@
+use std::{env, process::Command};
+
+#[allow(clippy::disallowed_macros)] // for println!
 fn main() {
     lalrpop::process_root().unwrap();
+    let git_hash = Command::new("git2")
+        .args(["rev-parse", "--short", "HEAD"])
+        .output()
+        .map(|output| {
+            String::from_utf8(output.stdout)
+                .map(|s| "_".to_owned() + &s)
+                .unwrap_or_default()
+        })
+        .unwrap_or_default();
+    let build_date = chrono::Utc::now().format("%Y-%m-%d");
+    let version = env::var("CARGO_PKG_VERSION").unwrap();
+    let full_version = format!("{}_{}{}", version, build_date, git_hash);
+    println!("cargo:rustc-env=FULL_VERSION={}", full_version);
 }

src/main.rs

@@ -4,6 +4,7 @@ use std::io::{self, BufRead, BufReader};
 use std::path::PathBuf;
 
 #[derive(Debug, Parser)]
+#[command(version = env!("FULL_VERSION"), about = env!("CARGO_PKG_DESCRIPTION"))]
 struct Args {
     #[clap(short = 'F', long)]
     fact_directory: Option<PathBuf>,
@@ -126,7 +127,7 @@ fn main() {
 
     if args.inputs.is_empty() {
         let stdin = io::stdin();
-        log::info!("Welcome to Egglog!");
+        log::info!("Welcome to Egglog! (build: {})", env!("FULL_VERSION"));
         let mut egraph = mk_egraph();
 
         let mut cmd_buffer = String::new();