diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-04-25 10:53:38 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-04-25 10:53:38 +0000 |
commit | 212c0f26a7d95007ee2a723f31db095ed5f3e367 (patch) | |
tree | 976c30f842bf7a79d73a66fc34f55ccda2a38ad8 /tools | |
parent | 7ac296dff8b46de04785ab6e28de87d6f9e18c56 (diff) | |
download | mpfr-212c0f26a7d95007ee2a723f31db095ed5f3e367.tar.gz |
[tools/mpfrlint] Lists of rounding modes: also check with the
"Rounding Modes" section in "MPFR Basics".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13474 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/mpfrlint | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 0b68b769a..bd3fbf961 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -424,10 +424,13 @@ err-if-output --dir=doc "check-typography" ./check-typography rndmodes1=(${(o)$(perl -ne '/return\s*"(MPFR_\S+)"/ and print "$1\n"' src/print_rnd_mode.c)}) rndmodes2=(${(o)$(sed -n '/deftypefun.*mpfr_print_rnd_mode/,/end deftypefun/{s/[^"]*"\(MPFR_[^"]*\)"[^"]*/\1\n/gp}' doc/mpfr.texi)}) -[[ "$rndmodes1" == "$rndmodes2" ]] || { cat <<EOF && err=1 } +rndmodes3=(${(o)$(sed -n '/The following rounding modes are supported:/,/end itemize/{s/.*@item @code{\(MPFR_[^}]*\)}.*/\1/p}' doc/mpfr.texi)}) +[[ "$rndmodes1" == "$rndmodes2" && "$rndmodes2" == "$rndmodes3" ]] || + { cat <<EOF && err=1 } The lists of rounding modes in src/print_rnd_mode.c and doc/mpfr.texi differ: - src/print_rnd_mode.c: $rndmodes1 - doc/mpfr.texi: $rndmodes2 + $rndmodes1 + $rndmodes2 + $rndmodes3 EOF fdlv1="`sed -n '/Version / { |