Ticket #138: scripts_158ef3b71f5c.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 echo $1 | grep -q -v -E 'Makefile\.am$'
+    then
+        if check_header $1
+        then
+            echo "header failed"
+            FILE_FAILED=YES
+            GLOBAL_FAILED=YES
+        fi
+    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 list_files() {
+    hg status -a -m -c |
+    cut -d ' ' -f 2 | grep -E  '(\.(cc|h|dox)$|Makefile\.am$)' | sort | uniq
+}
+
+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)$|Makefile\.am$)' | 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.'
+elif [[ ($# == 1) && (($1 == "--all") || ($1 == "-a")) ]]; then
+    echo Check all source files...
+    while read FILENAME
+    do
+        check_file "$HGROOT/$FILENAME"
+        ((TOTAL_FILES++))
+    done < <(list_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

@@ -72 +72 @@
 function update_file() {
     echo -n '    update' $i ...
 
-    update_header $1
+    if echo $1 | grep -q -v -E 'Makefile\.am$'
+    then
+        update_header $1
+    fi
     update_tabs $1
     remove_trailing_space $1
 
@@ -104 +107 @@
     fi
 }
 
+function list_files() {
+    hg status -a -m -c |
+    cut -d ' ' -f 2 | grep -E  '(\.(cc|h|dox)$|Makefile\.am$)' | 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++))
@@ -125 +133 @@
 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