diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-11-30 15:12:20 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-11-30 15:12:20 +0000 |
commit | 1e2428a7ae130910a2fb07125b44b74c0de9ca72 (patch) | |
tree | 29010f6c893288d1699f561852924b4bab5e7169 /Makefile.am | |
parent | 3f46936cccc023fd014d909ef0b9f80789733ee9 (diff) | |
download | mpfr-1e2428a7ae130910a2fb07125b44b74c0de9ca72.tar.gz |
Added check-gmp-symbols make rule to check that MPFR does not use
GMP internal symbols.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11865 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 4bd81e9f8..e48553e2c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -47,3 +47,8 @@ dist-hook: cd $(srcdir) && tools/ck-news cd $(srcdir) && tools/ck-clz_tab cd $(srcdir)/doc && ./check-typography + +check-gmp-symbols: + cd src && $(MAKE) check-gmp-symbols + +.PHONY: check-gmp-symbols |