diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-02-07 23:30:03 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-02-07 23:30:03 +0000 |
| commit | e644d5b3b2e23a95706533f48af032683851812f (patch) | |
| tree | 6d88221adec0cf20cbb8f5e29415d92655792b71 /tools/mpfrlint | |
| parent | c05dcd3b9cb915bbc64ce6c4b9911c4113db8d7d (diff) | |
| download | mpfr-e644d5b3b2e23a95706533f48af032683851812f.tar.gz | |
[doc/mpfr.texi] Corrected minimal GMP version.
[tools/mpfrlint] Updated test to detect minimal GMP version mismatch.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12208 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 03d94d598..5897398a7 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -414,11 +414,14 @@ EOF gmpv1=`sed -n 's/.*error "GMP \([0-9.]\+\) or .*/\1/p' configure.ac` gmpv2=`sed -n 's/.*AC_MSG_ERROR.*GMP \([0-9.]\+\) or .*/\1/p' configure.ac` gmpv3=`sed -n 's/.*MPFR requires GMP version \([0-9.]\+\) or .*/\1/p' INSTALL` -[[ $gmpv1 == $gmpv2 && $gmpv1 == $gmpv3 ]] || { cat <<EOF && err=1 } +gmpv4=`sed -n 's/.*GNU MP (version \([0-9.]\+\) or .*/\1/p' doc/mpfr.texi` +[[ $gmpv1 == $gmpv2 && $gmpv1 == $gmpv3 && $gmpv1 == $gmpv4 ]] || + { cat <<EOF && err=1 } Minimal GMP version mismatch: configure.ac 1: $gmpv1 configure.ac 2: $gmpv2 INSTALL: $gmpv3 + doc/mpfr.texi: $gmpv4 EOF # In case of problems, one can also skip files or use "grep -v"... |