Ticket #138: scripts_1437eaaa5a5b.patch

new file scripts/check-sources.sh

@@ +1 @@
+#!/bin/bash
+
+# Add to your .hg/hgrc the following section.
+# [hooks]
+# pretxncommit.checksources = scripts/check-sources.sh
+
+YEAR=`date +2003-%Y`
+HGROOT=`hg root`
+
+TAB=`echo -e '\t'`
+
+function check_header() {
+    HEADER=\
+"/* -*- mode: C++; indent-tabs-mode: nil; -*-
+ *
+ * This file is a part of LEMON, a generic C++ optimization library.
+ *
+ * Copyright (C) "$YEAR"
+ * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
+ * (Egervary Research Group on Combinatorial Optimization, EGRES).
+ *
+ * Permission to use, modify and distribute this software is granted
+ * provided that this copyright notice appears in all copies. For
+ * precise terms see the accompanying LICENSE file.
+ *
+ * This software is provided \"AS IS\" with no warranty of any kind,
+ * express or implied, and with no claim as to its suitability for any
+ * purpose.
+ *
+ */"
+
+    HEADER_LENGTH=$(echo "$HEADER" | wc -l)
+    FILE_HEADER=$(cat $1 | head -n $HEADER_LENGTH)
+
+    [[ "$FILE_HEADER" != "$HEADER" ]]
+}
+
+function check_file() {
+    echo 'check' $1 ...
+
+    FILE_FAILED=NO
+    if check_header $1
+    then
+        echo "header failed"
+        FILE_FAILED=YES
+        GLOBAL_FAILED=YES
+    fi
+
+    if grep -q -E "$TAB" $1
+    then
+        echo "tabs failed:"
+        grep -n -E "$TAB" $1
+        FILE_FAILED=YES
+        GLOBAL_FAILED=YES
+    fi
+
+    if grep -q -E ' $' $1
+    then
+        echo "trailing spaces failed:"
+        grep -n -E ' $' $1
+        FILE_FAILED=YES
+        GLOBAL_FAILED=YES
+    fi
+
+    if grep -q -E '.{81,}' $1
+    then
+        echo "long lines failed:"
+        grep -n -E '.{81,}' $1
+        if [ $GLOBAL_FAILED != YES ]
+        then
+            echo -n "Abort commit? (yes/no) "
+            read RESULT
+            if [ "$RESULT" != "no" ]
+            then
+                FILE_FAILED=YES
+                GLOBAL_FAILED=YES
+            fi
+        fi
+    fi
+
+    if [[ $FILE_FAILED = YES ]];
+    then
+        ((FAILED_FILES++))
+    fi
+}
+
+FAILED_FILES=0
+TOTAL_FILES=0
+GLOBAL_FAILED=NO
+
+function changed_files() {
+    {
+        if [ -n "$HG_PARENT1" ]
+        then
+            hg status --rev $HG_PARENT1:$HG_NODE -a -m
+        fi
+        if [ -n "$HG_PARENT2" ]
+        then
+            hg status --rev $HG_PARENT2:$HG_NODE -a -m
+        fi
+    } | cut -d ' ' -f 2 | grep -E  '\.(cc|h|dox)$' | sort | uniq
+}
+
+if [ $# == 0 ]; then
+    echo Check all modified files...
+
+    while read FILENAME
+    do
+        check_file "$HGROOT/$FILENAME"
+        ((TOTAL_FILES++))
+    done < <(changed_files)
+    echo '  done.'
+else
+    for i in $@
+    do
+        check_file $i
+        ((TOTAL_FILES++))
+    done
+fi
+
+echo $FAILED_FILES out of $TOTAL_FILES files has failed.
+
+[[ $GLOBAL_FAILED == NO ]]

scripts/unify-sources.sh

@@ -25 +25 @@
  *
  */
 "
-        awk 'BEGIN { pm=0; }
+    awk 'BEGIN { pm=0; }
      pm==3 { print }
      /\/\* / && pm==0 { pm=1;}
      /[^:blank:]/ && (pm==0 || pm==2) { pm=3; print;}
      /\*\// && pm==1 { pm=2;}
     ' $1
-        ) >$TMP_FILE
+        ) >$TMP_FILE
 
     HEADER_CH=`diff -q $TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES`
 
@@ -79 +79 @@
     CHANGED=NO;
     if [[ $HEADER_CH = YES ]];
     then
-        echo -n '  [header updated]'
-        CHANGED=YES;
+        echo -n '  [header updated]'
+        CHANGED=YES;
     fi
     if [[ $TABS_CH = YES ]];
     then
-        echo -n ' [tabs removed]'
-        CHANGED=YES;
+        echo -n ' [tabs removed]'
+        CHANGED=YES;
     fi
     if [[ $SPACES_CH = YES ]];
     then
-        echo -n ' [trailing spaces removed]'
-        CHANGED=YES;
+        echo -n ' [trailing spaces removed]'
+        CHANGED=YES;
     fi
     if long_line_test $1 ;
     then
-        echo -n ' [LONG LINES]'
-        ((LONG_LINE_FILES++))
+        echo -n ' [LONG LINES]'
+        ((LONG_LINE_FILES++))
     fi
     echo
     if [[ $CHANGED = YES ]];
     then
-        ((CHANGED_FILES++))
+        ((CHANGED_FILES++))
     fi
+}
+
+function list_files() {
+    hg status -a -m -c |
+    cut -d ' ' -f 2 | grep -E  '\.(cc|h|dox)$' | sort | uniq
 }
 
 CHANGED_FILES=0
@@ -109 +114 @@
 LONG_LINE_FILES=0
 if [ $# == 0 ]; then
     echo Update all source files...
-    for i in `hg manifest|grep -E  '\.(cc|h|dox)$'`
+    while read i
     do
-        update_file $HGROOT/$i
-        ((TOTAL_FILES++))
-    done
+        update_file $HGROOT/$i
+        ((TOTAL_FILES++))
+    done < <(list_files)
     echo '  done.'
 else
-    for i in $*
+    for i in $@
     do
-        update_file $i
-        ((TOTAL_FILES++))
+        update_file $i
+        ((TOTAL_FILES++))
     done
 fi
 echo $CHANGED_FILES out of $TOTAL_FILES files has been changed.
 if [[ $LONG_LINE_FILES -gt 1 ]]; then
     echo
-    echo WARNING: $LONG_LINE_FILES files contains long lines!    
+    echo WARNING: $LONG_LINE_FILES files contains long lines!
     echo
 elif [[ $LONG_LINE_FILES -gt 0 ]]; then
     echo