| 1 | 1 |
#!/bin/bash |
| 2 | 2 |
|
| 3 |
YEAR=`date + |
|
| 3 |
YEAR=`date +%Y` |
|
| 4 | 4 |
HGROOT=`hg root` |
| 5 | 5 |
|
| 6 |
function hg_year() {
|
|
| 7 |
if [ -n "$(hg st $1)" ]; then |
|
| 8 |
echo $YEAR |
|
| 9 |
} |
|
| 10 |
|
|
| 6 | 11 |
# file enumaration modes |
| 7 | 12 |
|
| 8 | 13 |
function all_files() {
|
| 9 | 14 |
hg status -a -m -c | |
| 10 | 15 |
cut -d ' ' -f 2 | grep -E '(\.(cc|h|dox)$|Makefile\.am$)' | |
| 11 | 16 |
while read file; do echo $HGROOT/$file; done |
| 12 | 17 |
} |
| 13 | 18 |
|
| 14 | 19 |
function modified_files() {
|
| 15 | 20 |
hg status -a -m | |
| 16 | 21 |
cut -d ' ' -f 2 | grep -E '(\.(cc|h|dox)$|Makefile\.am$)' | |
| 17 | 22 |
while read file; do echo $HGROOT/$file; done |
| 18 | 23 |
} |
| 19 | 24 |
|
| 20 | 25 |
function changed_files() {
|
| 21 | 26 |
{
|
| 22 | 27 |
if [ -n "$HG_PARENT1" ] |
| 23 | 28 |
then |
| 24 | 29 |
hg status --rev $HG_PARENT1:$HG_NODE -a -m |
| 25 | 30 |
fi |
| 26 | 31 |
if [ -n "$HG_PARENT2" ] |
| 27 | 32 |
then |
| 28 | 33 |
hg status --rev $HG_PARENT2:$HG_NODE -a -m |
| 29 | 34 |
fi |
| 30 | 35 |
} | cut -d ' ' -f 2 | grep -E '(\.(cc|h|dox)$|Makefile\.am$)' | |
| 31 | 36 |
sort | uniq | |
| 32 | 37 |
while read file; do echo $HGROOT/$file; done |
| 33 | 38 |
} |
| 34 | 39 |
|
| 35 | 40 |
function given_files() {
|
| 36 | 41 |
for file in $GIVEN_FILES |
| 37 | 42 |
do |
| 38 | 43 |
echo $file |
| 39 | 44 |
done |
| 40 | 45 |
} |
| 41 | 46 |
|
| 42 | 47 |
# actions |
| 43 | 48 |
|
| 44 | 49 |
function update_action() {
|
| 45 | 50 |
if ! diff -q $1 $2 >/dev/null |
| 46 | 51 |
then |
| 47 | 52 |
echo -n " [$3 updated]" |
| 48 | 53 |
rm $2 |
| 49 | 54 |
mv $1 $2 |
| 50 | 55 |
CHANGED=YES |
| 51 | 56 |
fi |
| 52 | 57 |
} |
| 53 | 58 |
|
| 54 | 59 |
function update_warning() {
|
| 55 | 60 |
echo -n " [$2 warning]" |
| 56 | 61 |
WARNED=YES |
| 57 | 62 |
} |
| 58 | 63 |
|
| 59 | 64 |
function update_init() {
|
| 60 | 65 |
echo Update source files... |
| 61 | 66 |
TOTAL_FILES=0 |
| 62 | 67 |
CHANGED_FILES=0 |
| 63 | 68 |
WARNED_FILES=0 |
| 64 | 69 |
} |
| 65 | 70 |
|
| 66 | 71 |
function update_done() {
|
| 67 | 72 |
echo $CHANGED_FILES out of $TOTAL_FILES files has been changed. |
| 68 | 73 |
echo $WARNED_FILES out of $TOTAL_FILES files triggered warnings. |
| 69 | 74 |
} |
| ... | ... |
@@ -130,129 +135,129 @@ |
| 130 | 135 |
WARNED_FILES=0 |
| 131 | 136 |
TOTAL_FILES=0 |
| 132 | 137 |
} |
| 133 | 138 |
|
| 134 | 139 |
function check_done() {
|
| 135 | 140 |
echo $FAILED_FILES out of $TOTAL_FILES files has been failed. |
| 136 | 141 |
echo $WARNED_FILES out of $TOTAL_FILES files triggered warnings. |
| 137 | 142 |
|
| 138 | 143 |
if [ $WARNED_FILES -gt 0 -o $FAILED_FILES -gt 0 ] |
| 139 | 144 |
then |
| 140 | 145 |
if [ "$WARNING" == 'INTERACTIVE' ] |
| 141 | 146 |
then |
| 142 | 147 |
echo -n "Are the files with errors/warnings acceptable? (yes/no) " |
| 143 | 148 |
while read answer |
| 144 | 149 |
do |
| 145 | 150 |
if [ "$answer" == 'yes' ] |
| 146 | 151 |
then |
| 147 | 152 |
return 0 |
| 148 | 153 |
elif [ "$answer" == 'no' ] |
| 149 | 154 |
then |
| 150 | 155 |
return 1 |
| 151 | 156 |
fi |
| 152 | 157 |
echo -n "Are the files with errors/warnings acceptable? (yes/no) " |
| 153 | 158 |
done |
| 154 | 159 |
elif [ "$WARNING" == 'WERROR' ] |
| 155 | 160 |
then |
| 156 | 161 |
return 1 |
| 157 | 162 |
fi |
| 158 | 163 |
fi |
| 159 | 164 |
} |
| 160 | 165 |
|
| 161 | 166 |
function check_begin() {
|
| 162 | 167 |
((TOTAL_FILES++)) |
| 163 | 168 |
FAILED=NO |
| 164 | 169 |
WARNED=NO |
| 165 | 170 |
} |
| 166 | 171 |
|
| 167 | 172 |
function check_end() {
|
| 168 | 173 |
if [ $FAILED == YES ] |
| 169 | 174 |
then |
| 170 | 175 |
((++FAILED_FILES)) |
| 171 | 176 |
fi |
| 172 | 177 |
if [ $WARNED == YES ] |
| 173 | 178 |
then |
| 174 | 179 |
((++WARNED_FILES)) |
| 175 | 180 |
fi |
| 176 | 181 |
} |
| 177 | 182 |
|
| 178 | 183 |
|
| 179 | 184 |
|
| 180 | 185 |
# checks |
| 181 | 186 |
|
| 182 | 187 |
function header_check() {
|
| 183 | 188 |
if echo $1 | grep -q -E 'Makefile\.am$' |
| 184 | 189 |
then |
| 185 | 190 |
return |
| 186 | 191 |
fi |
| 187 | 192 |
|
| 188 | 193 |
TMP_FILE=`mktemp` |
| 189 | 194 |
|
| 190 | 195 |
(echo "/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 191 | 196 |
* |
| 192 | 197 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 193 | 198 |
* |
| 194 |
* Copyright (C) "$ |
|
| 199 |
* Copyright (C) 2003-"$(hg_year $1)" |
|
| 195 | 200 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 196 | 201 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 197 | 202 |
* |
| 198 | 203 |
* Permission to use, modify and distribute this software is granted |
| 199 | 204 |
* provided that this copyright notice appears in all copies. For |
| 200 | 205 |
* precise terms see the accompanying LICENSE file. |
| 201 | 206 |
* |
| 202 | 207 |
* This software is provided \"AS IS\" with no warranty of any kind, |
| 203 | 208 |
* express or implied, and with no claim as to its suitability for any |
| 204 | 209 |
* purpose. |
| 205 | 210 |
* |
| 206 | 211 |
*/ |
| 207 | 212 |
" |
| 208 | 213 |
awk 'BEGIN { pm=0; }
|
| 209 | 214 |
pm==3 { print }
|
| 210 | 215 |
/\/\* / && pm==0 { pm=1;}
|
| 211 | 216 |
/[^:blank:]/ && (pm==0 || pm==2) { pm=3; print;}
|
| 212 | 217 |
/\*\// && pm==1 { pm=2;}
|
| 213 | 218 |
' $1 |
| 214 | 219 |
) >$TMP_FILE |
| 215 | 220 |
|
| 216 | 221 |
"$ACTION"_action "$TMP_FILE" "$1" header |
| 217 | 222 |
} |
| 218 | 223 |
|
| 219 | 224 |
function tabs_check() {
|
| 220 | 225 |
if echo $1 | grep -q -v -E 'Makefile\.am$' |
| 221 | 226 |
then |
| 222 | 227 |
OLD_PATTERN=$(echo -e '\t') |
| 223 | 228 |
NEW_PATTERN=' ' |
| 224 | 229 |
else |
| 225 | 230 |
OLD_PATTERN=' ' |
| 226 | 231 |
NEW_PATTERN=$(echo -e '\t') |
| 227 | 232 |
fi |
| 228 | 233 |
TMP_FILE=`mktemp` |
| 229 | 234 |
cat $1 | sed -e "s/$OLD_PATTERN/$NEW_PATTERN/g" >$TMP_FILE |
| 230 | 235 |
|
| 231 | 236 |
"$ACTION"_action "$TMP_FILE" "$1" 'tabs' |
| 232 | 237 |
} |
| 233 | 238 |
|
| 234 | 239 |
function spaces_check() {
|
| 235 | 240 |
TMP_FILE=`mktemp` |
| 236 | 241 |
cat $1 | sed -e 's/ \+$//g' >$TMP_FILE |
| 237 | 242 |
|
| 238 | 243 |
"$ACTION"_action "$TMP_FILE" "$1" 'trailing spaces' |
| 239 | 244 |
} |
| 240 | 245 |
|
| 241 | 246 |
function long_lines_check() {
|
| 242 | 247 |
if cat $1 | grep -q -E '.{81,}'
|
| 243 | 248 |
then |
| 244 | 249 |
"$ACTION"_warning $1 'long lines' |
| 245 | 250 |
fi |
| 246 | 251 |
} |
| 247 | 252 |
|
| 248 | 253 |
# process the file |
| 249 | 254 |
|
| 250 | 255 |
function process_file() {
|
| 251 | 256 |
if [ "$ACTION" == 'update' ] |
| 252 | 257 |
then |
| 253 | 258 |
echo -n " $ACTION $1..." |
| 254 | 259 |
else |
| 255 | 260 |
echo " $ACTION $1..." |
| 256 | 261 |
fi |
| 257 | 262 |
|
| 258 | 263 |
CHECKING="header tabs spaces long_lines" |
0 comments (0 inline)