build_distro.sh: Fix Windows check.

Use github runner env variable `$RUNNER_OS` instead of `/proc/version`
to determine that we are running inside GitHub Windows runner.

Signed-off-by: Leonid Ryzhyk <[email protected]>

Author: ryzhyk

build_distro.sh

@@ -24,7 +24,7 @@ cp -r lib "$DIST_DIR/"
 
 # Step 3: Include Rust dependencies for offline build.
 # We don't have space for this on the Windows runner.
-if ! grep -q Microsoft /proc/version; then 
+if [ "$RUNNER_OS" != "Windows" ] ; then
     cd rust/template
 
     # In addition to dependencies specified in `Cargo.toml`, add dependencies from

rust/template/Cargo.toml

@@ -70,3 +70,31 @@ name = "datalog_example_ddlog"
 # Compiler will append the crate-type attribute here as well as the
 # build profile and workspace definition
 # crate-type = ["rlib", "staticlib"]
+[dependencies.base64]
+version = "0.13"
+[dependencies.im]
+git = "https://github.com/ddlog-dev/im-rs"
+branch = "ddlog-1"
+features = ["serde"]
+[dependencies.internment]
+version="0.5.4"
+features=["arc"]
+[dependencies.lasso]
+version = "0.4.0"
+features = ["multi-threaded"]
+
+[dependencies.fxhash]
+version = "0.2.1"
+[dependencies.regex]
+version = "1.4.2"
+[dependencies.chrono]
+version = "0.4"
+features = ["serde"]
+[dependencies.tinyset]
+version = "0.2.2"
+[dependencies.url]
+version = "2.1"
+features = ["serde"]
+[dependencies.uuid]
+version = "0.8"
+features = ["v5"]