Add-version-flag-and-embed-build-metadata-in-the-CLI-binary

.github/workflows/ci.yml

@@ -25,6 +25,7 @@ jobs:
         uses: dtolnay/rust-toolchain@stable
         with:
           components: rustfmt, clippy
+          targets: wasm32-unknown-unknown
 
       - name: Cache cargo registry & build artifacts
         uses: actions/cache@v4
@@ -58,8 +59,17 @@ jobs:
         if: runner.os == 'Windows'
         run: |
           choco install z3 -y
-          echo "Z3_SYS_Z3_HEADER=C:\ProgramData\chocolatey\lib\z3\tools\include\z3.h" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
-          echo "LIB=C:\ProgramData\chocolatey\lib\z3\tools\lib;$env:LIB" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
+          $z3_h = (Get-ChildItem -Path C:\ProgramData\chocolatey\lib\z3 -Filter z3.h -Recurse | Select-Object -First 1).FullName
+          if ($z3_h) {
+            $z3_root = Split-Path (Split-Path $z3_h)
+            echo "Z3_SYS_Z3_HEADER=$z3_h" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
+            echo "LIB=$z3_root\lib;$env:LIB" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
+            Write-Host "Found Z3 header at: $z3_h"
+            Write-Host "Found Z3 lib dir at: $z3_root\lib"
+          } else {
+            Write-Error "Could not find z3.h in Chocolatey package directory"
+            exit 1
+          }
 
       - name: Install system dependencies (Linux only)
         if: runner.os == 'Linux'