blob: 80af3cb64cda0e3795f5a09019901d9ec0d17641 [file] [log] [blame] [edit]
#!/usr/bin/env just --justfile
# Adapted from the excellent justfile of HASH
# <https://github.com/hashintel/hash/blob/0bff2d6f6bd55825400967efd541ab3d155cc8ad/.justfile>
set dotenv-load := true
repo := `git rev-parse --show-toplevel`
profile := env_var_or_default('PROFILE', "dev")
######################################################################
## Helper to print a message when calling `just`
######################################################################
[private]
default:
@echo "Usage: just <recipe>"
@just list-recipes
@echo "For further information, run 'just --help'"
# List recipes in this file and from the calling directory
[private]
usage:
@echo "Usage: just <recipe>"
@just list-recipes
@echo "For further information, run 'just --help'"
[private]
list-recipes:
@echo "\nRepository recipes:"
@just --list --unsorted --list-heading ''
######################################################################
## Helper to run a command on an environmental condition
######################################################################
# Runs the provided command if `PROFILE` starts with `"dev"`
[private]
in-dev +command:
#!/usr/bin/env bash
set -euo pipefail
if [[ {{ profile }} =~ dev.* ]]; then
echo "{{command}}" >&2
{{command}}
fi
######################################################################
## Install scripts
######################################################################
[private]
install-cargo-tool tool install version:
@`{{tool}} --version | grep -q "{{version}}" || cargo install "{{install}}" --version "{{version}}" --locked --force`
[private]
install-cargo-hack:
@just install-cargo-tool 'cargo hack' cargo-hack 0.5.28
[private]
install-cargo-nextest:
@just install-cargo-tool 'cargo nextest' cargo-nextest 0.9.57
[private]
install-llvm-cov:
@just install-cargo-tool 'cargo llvm-cov' cargo-llvm-cov 0.5.19
######################################################################
## Predefined commands
######################################################################
generate-svg:
dot -Tsvg < "{{repo}}/doc/graph-example.dot" > "{{repo}}/doc/graph-example.svg"
svgo "{{repo}}/doc/graph-example.svg"
# Runs all linting commands and fails if the CI would fail
lint:
@just format --check
@just clippy -- -D warnings
@RUSTDOCFLAGS='-Z unstable-options --check' just doc
@RUSTDOCFLAGS='-Z unstable-options --check' just doc --document-private-items
# Format the code using `rustfmt`
format *arguments:
cargo fmt --all {{arguments}}
# Lint the code using `clippy`
clippy *arguments: install-cargo-hack
cargo hack --workspace --optional-deps --feature-powerset clippy --profile {{profile}} --all-targets --no-deps {{arguments}}
# Creates the documentation for the crate
doc *arguments:
RUSTDOCFLAGS="--extend-css {{repo}}/doc/custom.css" cargo doc --workspace --all-features --no-deps -Zunstable-options -Zrustdoc-scrape-examples {{arguments}}
# Builds the crate
build *arguments:
cargo build --profile {{profile}} {{arguments}}
# Run the test suite
test *arguments: install-cargo-nextest install-cargo-hack
#!/usr/bin/env bash
set -euo pipefail
# Credit to: https://stackoverflow.com/a/61299548/9077988
# we cannot use --workspace because we want to exclude the `petgraph` crate, it has a tonne of features which means ~2.4k permutations.
# instead we use `cargo metadata` to get the list of workspace members and run the tests for each of them (excluding `petgraph`).
members=($(cargo metadata --format-version 1 | jq -r '.workspace_members | .[] | split(" ") | select(.[0] != "petgraph") | .[2] | sub("^\\(path\\+file://"; "") | sub("\\)$"; "") | @sh' | tr -d \'))
for member in "${members[@]}"; do
echo "Running tests for $member"
cargo hack --manifest-path "$member/Cargo.toml" --optional-deps --feature-powerset nextest run --cargo-profile {{profile}} {{arguments}}
done
just in-dev cargo test --profile {{profile}} --workspace --all-features --doc
# Run the test suite with `miri`
miri *arguments:
cargo miri test --workspace --all-features --bins --examples --tests {{arguments}}
# Runs the benchmarks
bench *arguments:
cargo bench --workspace --all-features --all-targets {{arguments}}
# Run the test suite and generate a coverage report
coverage *arguments: install-llvm-cov
cargo llvm-cov nextest --workspace --all-features --all-targets {{arguments}}
######################################################################
## Utilities
######################################################################
[private]
clone-or-pull url path:
git clone "{{url}}" "{{path}}" 2>/dev/null || git -C "{{path}}" pull
[private]
generate-problem category name:
@echo "Generating problem {{name}}"
@cd "{{repo}}/crates/algorithms/tests/cases/problems" && ./venv/bin/python generate.py -p {{name}}
@echo "Copying files of problem {{name}}"
@mkdir -p "{{repo}}/crates/algorithms/tests/cases/{{name}}"
@rm -rf "{{repo}}/crates/algorithms/tests/cases/{{name}}/*"
@cp -r "{{repo}}/crates/algorithms/tests/cases/problems/{{category}}/{{name}}/in/" "{{repo}}/crates/algorithms/tests/cases/{{name}}/"
@cp -r "{{repo}}/crates/algorithms/tests/cases/problems/{{category}}/{{name}}/out/" "{{repo}}/crates/algorithms/tests/cases/{{name}}/"
generate-problems:
# pull or clone repository
@just clone-or-pull https://github.com/yosupo06/library-checker-problems "{{repo}}/crates/algorithms/tests/cases/problems"
# create python virtual environment
@python3 -m venv crates/algorithms/tests/cases/problems/venv
# install dependencies
@crates/algorithms/tests/cases/problems/venv/bin/pip install -r crates/algorithms/tests/cases/problems/requirements.txt
# generate problems
@just generate-problem graph shortest_path
download-benchmarks:
# create output directory if it does not exist
mkdir -p crates/algorithms/benches/cases/shortest_path
wget http://www.diag.uniroma1.it/challenge9/data/USA-road-d/USA-road-d.FLA.gr.gz -O crates/algorithms/benches/cases/shortest_path/USA-road-d.FLA.gr.gz
wget http://www.diag.uniroma1.it/challenge9/data/USA-road-d/USA-road-d.FLA.co.gz -O crates/algorithms/benches/cases/shortest_path/USA-road-d.FLA.co.gz
# uncompress the files
gunzip crates/algorithms/benches/cases/shortest_path/USA-road-d.FLA.gr.gz
gunzip crates/algorithms/benches/cases/shortest_path/USA-road-d.FLA.co.gz