tools/swglint.sh

   1 #!/bin/sh
   2
   3 ORIGINAL_DIR=`pwd`
   4 #LINT_OPTIONS="-u -p +vmf"
   5 LINT_OPTIONS="-u"
   6
   7 for SOURCE_FILE in $* ; do
   8 {
   9     SOURCE_FILE_DIR=`dirname $SOURCE_FILE`
  10     cd "$SOURCE_FILE_DIR"
  11     PROJECT_DIR=
  12     while [ ! -f ${PROJECT_DIR}/project.lnt ] ; do
  13         {
  14             TEMP=../${PROJECT_DIR}
  15             PROJECT_DIR=$TEMP
  16
  17             cd $PROJECT_DIR;
  18
  19             if [ "`pwd`" = "/" ] ; then
  20                 {
  21                     echo "$SOURCE_FILE : Cannot find project.lnt!"
  22                     exit -1
  23                 };
  24             fi
  25
  26             cd $SOURCE_FILE_DIR
  27         };
  28     done
  29
  30     cd $PROJECT_DIR
  31
  32     TOOLS_DIR=tools
  33     while [ ! -d $TOOLS_DIR ] ; do
  34         {
  35             TEMP=../${TOOLS_DIR}
  36             TOOLS_DIR=$TEMP;
  37         };
  38     done
  39
  40     ${TOOLS_DIR}/flint ${LINT_OPTIONS} -i${HOME}/lint -i${TOOLS_DIR}/lint project.lnt ${SOURCE_FILE_DIR}/`basename $SOURCE_FILE`
  41 }; done