Ivan Folgueira Bande 2f7fc614d2
include header
2025-10-15 19:47:48 +02:00
..
2025-10-15 19:47:48 +02:00

Usage

Shell

A development shell can be started using:

nix develop

Building

To build a Codex you can use:

nix build '.?submodules=1#default'

The ?submodules=1 part should eventually not be necessary. For more details see: https://github.com/NixOS/nix/issues/4423

It can be also done without even cloning the repo:

nix build 'git+https://github.com/waku-org/nim-sds?submodules=1#'

Running

nix run 'git+https://github.com/waku-org/nim-sds?submodules=1#''

Testing

nix flake check ".?submodules=1#"