diff options
Diffstat (limited to 'check')
-rwxr-xr-x | check | 52 |
1 files changed, 52 insertions, 0 deletions
@@ -0,0 +1,52 @@ +#!/bin/sh + +set -eu + +verbose=false +if [ "$#" -gt 0 ] +then + case "$1" in + verbose | -v | --verbose) + verbose=true + ;; + esac +fi + +hideok= +if command -v chronic > /dev/null +then + hideok=chronic +fi +quiet=-q +if $verbose +then + quiet= + hideok= +fi + + +codegen() { + $hideok sp-codegen "$1" --output "$2" --run +} + +docgen() { + sp-docgen "$1" --output "$2" +} + +$hideok cargo build --all-targets +if cargo --list | awk '{ print $1 }' | grep 'clippy$' > /dev/null +then + cargo clippy $quiet +fi +$hideok cargo test $quiet + +for md in [^R]*.md +do + $hideok echo "$md =====================================" + codegen "$md" test.py + docgen "$md" "$(basename "$md" .md).pdf" + docgen "$md" "$(basename "$md" .md).html" + $hideok echo +done + +echo "Everything seems to be in order." |