diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-05 15:59:29 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-05 15:59:29 +0000 |
commit | 0acb62dae97aa2082891be2c5d64810da6c58464 (patch) | |
tree | 21954b77880788e21780d9315a8259c5edf5bcd8 /tools | |
parent | 3505e491eb5c4ace65ec8efe732a15cc456292af (diff) | |
download | mpfr-0acb62dae97aa2082891be2c5d64810da6c58464.tar.gz |
[tools/mpfrlint] Check that __GMP_DECLSPEC is not used by MPFR.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12975 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/mpfrlint | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index d717fb6d3..7d4c7093b 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -173,6 +173,12 @@ err-if-output --msg="Use GMP_NUMB_BITS instead." \ grep GMP_RND $srctests | err-if-output -t "GMP_RND*" grep -v '#define GMP_RND' +# __MPFR_DECLSPEC (based on the __MPFR_WITHIN_MPFR status) must be used +# instead of __GMP_DECLSPEC (based on the __GMP_WITHIN_GMP status, always +# undefined in MPFR). +err-if-output --msg="Use __MPFR_DECLSPEC instead." -t "__GMP_DECLSPEC" \ + grep --exclude=src/mpfr.h __GMP_DECLSPEC $srctests + # Use mpfr_div_2ui/mpfr_mul_2ui instead of mpfr_div_2exp/mpfr_mul_2exp. grep 'mpfr_\(div\|mul\)_2exp' {src,tests}/*.{c,h} |\ grep -v '^src/\(\(div\|mul\)_2exp\.c:\|mpf2mpfr\.h:#define mpf_\)' | \ |