Skip to content

chore(devenv): add Nix development shell#1445

Draft
elezar wants to merge 8 commits into
mainfrom
fix-local-dev
Draft

chore(devenv): add Nix development shell#1445
elezar wants to merge 8 commits into
mainfrom
fix-local-dev

Conversation

@elezar
Copy link
Copy Markdown
Member

@elezar elezar commented May 19, 2026

Summary

Add a checked-in Nix/devenv shell for OpenShell local development, including platform-specific build prerequisites for Linux and macOS. The branch also improves musl binary staging and local setup messaging so contributors get clearer behavior from the new shell.

Related Issue

None.

Changes

  • Add devenv.nix, devenv.yaml, and devenv.lock for an optional Nix/devenv development shell.
  • Configure Z3, pkg-config, libclang, e2fsprogs, Docker CLI, GitHub CLI, and VM build prerequisites through devenv.
  • Add Zig-backed musl toolchain wrappers for static supervisor builds and binary staging.
  • Improve shell entry messages for mise trust, missing tool installs, and open-file limits.
  • Update contributor, build, and VM driver docs for the devenv workflow.
  • Preserve Python wheel relinking before native maturin builds.

Testing

  • mise run pre-commit passes
  • Unit tests added/updated
  • E2E tests added/updated (if applicable)

No new tests were added; existing Python and Rust tests ran through mise run pre-commit.

Checklist

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

elezar added 8 commits May 19, 2026 11:41
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
Signed-off-by: Evan Lezar <elezar@nvidia.com>
@copy-pr-bot
Copy link
Copy Markdown

copy-pr-bot Bot commented May 19, 2026

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

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.

1 participant