summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-01-20 13:11:23 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-01-20 13:11:23 +0000
commit9125f228501b83fc53659ee8627722f411c4561e (patch)
tree911d7438fe931b6818bd265c563f9f96e1d785ba /Makefile.am
parentd64163364efcd4be8d9536660a930ef7a9956d78 (diff)
downloadmpfr-9125f228501b83fc53659ee8627722f411c4561e.tar.gz
[Makefile.am] Updated comments.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12113 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am
index 701e62c07..5ce6d5049 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -49,11 +49,13 @@ dist-hook:
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. This
-# test does nothing if --disable-shared has been used.
+# this rule if you use --with-gmp-build or --enable-gmp-internals.
+# This test does nothing if no libmpfr.so is generated.
check-gmp-symbols:
cd src && $(MAKE) check-gmp-symbols
+# Check that MPFR does not define symbols with a GMP reserved prefix.
+# This test does nothing if no libmpfr.so is generated.
check-exported-symbols:
cd src && $(MAKE) check-exported-symbols