#!/usr/bin/env execlineb
# SPDX-FileCopyrightText: Peter Pentchev <roam@ringlet.net>
# SPDX-License-Identifier: BSD-2-Clause

elgetopt "c:"
importas -D "cargo" default_cargo CARGO
importas -D $default_cargo CARGO ELGETOPT_c
if {
  $CARGO fmt --check
}
if {
  $CARGO fc build
} if {
  $CARGO doc --no-deps --all-features
} if {
  $CARGO fc nextest run
} if {
  rust/tools/el-run-clippy -c $CARGO -n
} if {
  env TIMELIMIT=target/debug/timelimit-cli prove -v t
} echo "Seems fine"
