Ticket #138: 00e953d56f15.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

@@ -104 +104 @@
     fi
 }
 
+function list_files() {
+    hg status -a -m -c | 
+    cut -d ' ' -f 2 | grep -E  '\.(cc|h|dox)$' | sort | uniq
+}
+
 CHANGED_FILES=0
 TOTAL_FILES=0
 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
+    done < <(list_files)
     echo '  done.'
 else
-    for i in $*
+    for i in $@
     do
         update_file $i
         ((TOTAL_FILES++))