Setup¶

How to set up the development environment.

Prerequisites¶

• Docker
• Dev Container CLI
• (Optional) An IDE with dev container support, e.g. VS Code with the Dev Containers extension

All other dependencies are installed in the dev container.

Dev container¶

We use dev containers for both local development and CI.

No separate setup is needed. The ./dev.sh script calls devcontainer up automatically, which builds the container image on first run.

First build and test¶

git clone https://github.com/qobilidop/z3wire.git
cd z3wire
./dev.sh bazel build //...
./dev.sh bazel test //...

If both commands succeed, your environment is ready.