Skip to content

feat(gateway,cli): windows compilation support - #2496

Open
araza008 wants to merge 44 commits into
NVIDIA:mainfrom
araza008:windows_compilation
Open

feat(gateway,cli): windows compilation support#2496
araza008 wants to merge 44 commits into
NVIDIA:mainfrom
araza008:windows_compilation

Conversation

@araza008

@araza008 araza008 commented Jul 27, 2026

Copy link
Copy Markdown

Summary

compile the OpenShell gateway and CLI natively on Windows MSVC for x86-64 and arm64. It is build support only. It does not add functional Windows support for MXC, the sandbox supervisor, or Windows services.

Related Issue

Changes

adds windows mise tasks
supports bundled-z3 with optional system z3
gates unix-only dependencies so the geteway and cli compile on windows
adds linting and pre-commit tasks

Testing

mise run --skip-tools windows:build:x64
mise run --skip-tools windows:build:arm64

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)
  • Architecture docs updated (if applicable)

@copy-pr-bot

copy-pr-bot Bot commented Jul 27, 2026

Copy link
Copy Markdown

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@github-actions

github-actions Bot commented Jul 27, 2026

Copy link
Copy Markdown

All contributors have signed the DCO ✍️ ✅
Posted by the DCO Assistant Lite bot.

@araza008

Copy link
Copy Markdown
Author

I have read the DCO document and I hereby sign the DCO.

1 similar comment
@jamieknvidia

Copy link
Copy Markdown

I have read the DCO document and I hereby sign the DCO.

@drew drew changed the title Windows compilation feat(gateway,cli): windows compilation support Jul 28, 2026
@drew

drew commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator

/ok to test d0bcaca

@gburachas

Copy link
Copy Markdown

I have read the DCO document and I hereby sign the DCO.

@araza008
araza008 force-pushed the windows_compilation branch from d0bcaca to 6d0f148 Compare July 29, 2026 14:56
@araza008

Copy link
Copy Markdown
Author

/ok to test 15c622a

@araza008

Copy link
Copy Markdown
Author

/ok to test 7c96e78

@drew

drew commented Jul 29, 2026

Copy link
Copy Markdown
Collaborator

/ok to test 7c96e78

@araza008

Copy link
Copy Markdown
Author

/ok to test 923ecf0

@araza008

Copy link
Copy Markdown
Author

/ok to test c1d5e98

@araza008

Copy link
Copy Markdown
Author

/ok to test d1fa290

1 similar comment
@pimlock

pimlock commented Jul 31, 2026

Copy link
Copy Markdown
Collaborator

/ok to test d1fa290

Comment thread .agents/skills/build-openshell-mxc-windows/SKILL.md Outdated
@pimlock

This comment was marked as outdated.

@araza008

This comment was marked as outdated.

@araza008

araza008 commented Aug 4, 2026

Copy link
Copy Markdown
Author

/ok to test 60c2340

@araza008
araza008 force-pushed the windows_compilation branch from 602d192 to 97ce1f3 Compare August 4, 2026 18:54
Comment thread crates/openshell-driver-docker/src/lib_entry.rs Outdated
Comment thread crates/openshell-sandbox/Cargo.toml Outdated
Comment thread crates/openshell-prover/src/lib.rs Outdated
Comment thread .github/workflows/windows-msvc.yml Outdated
Comment thread .github/workflows/windows-msvc.yml Outdated
Comment thread .github/workflows/windows-msvc.yml Outdated
Comment thread crates/openshell-sandbox/src/lib_win.rs Outdated
@pimlock

pimlock commented Aug 4, 2026

Copy link
Copy Markdown
Collaborator

/ok to test 97ce1f3

@araza008
araza008 force-pushed the windows_compilation branch from 17484be to 833d8eb Compare August 6, 2026 01:08
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
shailendra-nv and others added 28 commits August 5, 2026 20:16
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Shailendra Singh <shailendras@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>
Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
Signed-off-by: Akber Raza <akberr@nvidia.com>
@araza008
araza008 force-pushed the windows_compilation branch from 833d8eb to b2e23e0 Compare August 6, 2026 02:11
@araza008

araza008 commented Aug 6, 2026

Copy link
Copy Markdown
Author

/ok to test b2e23e0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants