Zip and publish the windows artifact

Author: radare

.github/workflows/release.yml

@@ -66,15 +66,41 @@ jobs:
         path: target/release/radius2
 
   build-windows:
-    name: Check (Windows)
+    name: Build (Windows)
     runs-on: windows-latest
 
     steps:
     - uses: actions/checkout@v6
-    - name: Check
-      # boolector-sys needs an external boolector.lib on x86_64-pc-windows-msvc.
-      # Keep Windows compile coverage without requiring an unsupported final link.
-      run: cargo check --workspace --all-targets --verbose --release
+    - name: Setup MSYS2
+      uses: msys2/setup-msys2@v2
+      with:
+        msystem: MINGW64
+        path-type: inherit
+        update: true
+        install: >-
+          base-devel
+          curl
+          git
+          mingw-w64-x86_64-gcc
+          mingw-w64-x86_64-cmake
+          patch
+
+    - name: Add Rust GNU target
+      run: rustup target add x86_64-pc-windows-gnu
+
+    - name: Build
+      shell: msys2 {0}
+      run: cargo build --package radius2 --target x86_64-pc-windows-gnu --verbose --release
+
+    - name: Package
+      shell: powershell
+      run: Compress-Archive -Path target\x86_64-pc-windows-gnu\release\radius2.exe -DestinationPath target\x86_64-pc-windows-gnu\release\radius2-windows-x86_64.zip
+
+    - name: Upload artifact
+      uses: actions/upload-artifact@v7
+      with:
+        name: radius2-windows-x86_64
+        path: target/x86_64-pc-windows-gnu/release/radius2-windows-x86_64.zip
 
   release:
     name: Create Release
@@ -94,13 +120,15 @@ jobs:
         cp artifacts/radius2-linux-x86_64/radius2 release/radius2-linux-x86_64
         cp artifacts/radius2-linux-x86_64/*.deb release/
         cp artifacts/radius2-macos-x86_64/radius2 release/radius2-macos-x86_64
+        cp artifacts/radius2-windows-x86_64/radius2-windows-x86_64.zip release/
     - name: Create GitHub Release
       uses: softprops/action-gh-release@v2
       with:
         files: |
           release/radius2-linux-x86_64
           release/*.deb
           release/radius2-macos-x86_64
+          release/radius2-windows-x86_64.zip
         name: Release ${{ github.ref_name }}
         draft: false
         prerelease: false

.github/workflows/rust.yml

@@ -58,12 +58,38 @@ jobs:
         path: target/release/radius2
 
   build-windows:
-    name: Check (Windows)
+    name: Build (Windows)
     runs-on: windows-latest
 
     steps:
     - uses: actions/checkout@v6
-    - name: Check
-      # boolector-sys needs an external boolector.lib on x86_64-pc-windows-msvc.
-      # Keep Windows compile coverage without requiring an unsupported final link.
-      run: cargo check --workspace --all-targets --verbose --release
+    - name: Setup MSYS2
+      uses: msys2/setup-msys2@v2
+      with:
+        msystem: MINGW64
+        path-type: inherit
+        update: true
+        install: >-
+          base-devel
+          curl
+          git
+          mingw-w64-x86_64-gcc
+          mingw-w64-x86_64-cmake
+          patch
+
+    - name: Add Rust GNU target
+      run: rustup target add x86_64-pc-windows-gnu
+
+    - name: Build
+      shell: msys2 {0}
+      run: cargo build --package radius2 --target x86_64-pc-windows-gnu --verbose --release
+
+    - name: Package
+      shell: powershell
+      run: Compress-Archive -Path target\x86_64-pc-windows-gnu\release\radius2.exe -DestinationPath target\x86_64-pc-windows-gnu\release\radius2-windows-x86_64.zip
+
+    - name: Upload artifact
+      uses: actions/upload-artifact@v7
+      with:
+        name: radius2-windows-x86_64
+        path: target/x86_64-pc-windows-gnu/release/radius2-windows-x86_64.zip

Cargo.toml

@@ -19,7 +19,3 @@ exclude = ["vendor/boolector"]
 [profile.release]
 lto = true
 opt-level=3
-
-[patch.crates-io]
-# boolector 0.4.3 compares ftell() output against an i64 constant, which fails on Windows.
-boolector = { path = "vendor/boolector" }

radius/Cargo.toml

@@ -13,7 +13,7 @@ readme = "README.md"
 r2pipe = "0.8.0"
 serde_json = "1.0.59"
 serde = { version = "1.0.117", features = ["derive"] }
-boolector = "0.4.3"
+boolector = { path = "../vendor/boolector" }
 clap = "2.33.3"
 rand = "0.8.4"
 colored = "2.0.0"
@@ -22,10 +22,10 @@ colored = "2.0.0"
 default = []
 
 [target.'cfg(not(windows))'.dependencies]
-boolector = { version = "0.4.3", features = ["vendor-lgl"] }
+boolector = { path = "../vendor/boolector", features = ["vendor-lgl"] }
 
 [target.'cfg(windows)'.dependencies]
-boolector = "0.4.3"
+boolector = { path = "../vendor/boolector" }
 
 [package.metadata.docs.rs]
 no-default-features = true