pre-commit

   1 #!/bin/sh
   2
   3 GNATROOT=/opt/gnat/2007
   4
   5 PATH=$GNATROOT/bin:$HOME/bin:$PATH
   6
   7 res=0
   8
   9 REP=/tmp/_$$
  10
  11 # Repository name
  12 GIT_INDEX_DIR=`dirname $GIT_INDEX_FILE`
  13 REPOSIT=`dirname $GIT_INDEX_DIR`
  14
  15 [ "$REPOSIT" == "" ] && echo No repository found && exit 1;
  16
  17 # Set Style_Checker options
  18
  19 OWEB="-H -cP -cY -l256"
  20
  21 case "$REPOSIT" in
  22    *) SC_OPTS="-ign out -ign tmplt -ign sed -ign txt \
  23         -lang Ada -cp -cy -sp -gnat05 -lang TXML $OWEB \
  24         -lang XML $OWEB -lang HTML $OWEB -lang XSD $OWEB -lang CSS $OWEB"
  25    ;;
  26 esac
  27
  28 # Process each file
  29
  30 function check() {
  31    id=$4
  32    file=`basename $6`
  33    mode=$5
  34    # skip deleted files
  35    if [ "$mode" = "D" ]; then
  36        return 0;
  37    fi
  38    git show $id > $REP/$file
  39    ( cd $REP; style_checker $SC_OPTS -n "$6" "$file"; )
  40    res=$(($res + $?))
  41    rm -f $REP/$file
  42 }
  43
  44 mkdir $REP
  45
  46 # Get files to be commited
  47 # <N1> <N2> <Id-OLD> <Id-NEW> <status> <Filename>
  48 git-diff-index -M --cached HEAD > $REP/files
  49
  50 while read list
  51 do
  52    check $list
  53 done < $REP/files
  54
  55 rm -fr $REP
  56
  57 exit $res