diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-11-30 15:17:10 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-11-30 15:17:10 +0000 |
| commit | c4b0bdf77c5970ade0413b9f9e7371bf48c6ef2c (patch) | |
| tree | 180af43bd78d9ff02c7e1aebae76df5a47e159ff /Makefile.am | |
| parent | 1e2428a7ae130910a2fb07125b44b74c0de9ca72 (diff) | |
| download | mpfr-c4b0bdf77c5970ade0413b9f9e7371bf48c6ef2c.tar.gz | |
Added comment about the check-gmp-symbols make rule (added in r11865).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11866 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index e48553e2c..592891631 100644 --- a/Makefile.am +++ b/Makefile.am @@ -48,6 +48,8 @@ dist-hook: cd $(srcdir) && tools/ck-clz_tab cd $(srcdir)/doc && ./check-typography +# Check that MPFR does not use GMP internal symbols. Of course, do not run +# this rule if you use --with-gmp-build or --enable-gmp-internals. check-gmp-symbols: cd src && $(MAKE) check-gmp-symbols |