contrib/spellcheck

   1 #!/bin/bash
   2
   3 dir="$(dirname "$0")"
   4
   5 find src \( -name '*.cpp' -o -name '*.h' \) \! -path 'src/prop/minisat/*' \! -path 'src/prop/bvminisat/*' \! -path 'src/prop/cryptominisat/*' \! -path 'src/parser/*/generated/*' |
   6   while read f; do
   7     misspelled_words=`
   8     $dir/extract-strings-and-comments $f |
   9       ispell -a -W 3 2>/dev/null |
  10       tail -n +2 |
  11         while read s; do
  12           case "$s" in
  13             \**|\+*|-*) ;;
  14             \&*|\#*|\?*) echo "$s" | awk '{print$2}';;
  15 #           *) test -n "$s" && echo "UNKNOWN : $s";;
  16           esac
  17         done | sort -fu | sed 's,^,  ,'`
  18     if [ -n "$misspelled_words" ]; then
  19       echo "$f"
  20       echo "$misspelled_words"
  21     fi
  22   done