Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects
dekker.one
1default: build check
2
3# Build packages and header files
4build:
5 cargo build
6 cbindgen --config cbindgen_types.toml --crate fznso-types --output c/fznso_types.h
7 cbindgen --config cbindgen_template.toml --crate fznso-solver-template --output c/fznso_solver_template.c
8
9# Check the codebase using all CI linters
10check:
11 cargo clippy --tests -- -D warnings
12 cargo +nightly fmt --check
13 just --unstable --fmt --check
14
15# Format all the files in the project
16format:
17 cargo +nightly fmt
18 just --unstable --fmt