1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
#!/bin/sh
# Copyright 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
# This script is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
# PARTICULAR PURPOSE.
# ck-copyright-notice can be run from the tools directory
dir=`pwd`
[ -d src ] || [ "`basename "$dir"`" != tools ] || cd ..
# Note: if paragraphs are reformatted, this may need to be updated.
lgpl="`sed -n '/version [0-9.]* or any later version/ {
s/.*version //
s/ or.*//
p
q
}' doc/mpfr.texi`"
# Do not use "find ... | while read file do ... done" because the "do"
# part needs to be run in the current shell, and some shells behave in
# a different way.
srctests=`find src tests -name '*.[ch]'`
err=0
for file in $srctests
do
y=""
case $file in
tests/RRTest.c)
# This file doesn't have a copyright notice, but isn't distributed.
continue ;;
src/mpfr-longlong.h)
# This file (which comes from GMP) has a specific copyright notice.
continue ;;
src/get_patches.c)
file="tools/get_patches.sh" ;;
*/mparam.h)
y="2005," ;;
esac
grep -q "Copyright $y.* Free Software Foundation" "$file" && \
grep -q "GNU MPFR Library" "$file" && \
grep -q "either version $lgpl of the License" "$file" && continue
echo "Possibly missing or incorrect copyright notice in $file"
err=1
done
exit $err
|
