summaryrefslogtreecommitdiff
path: root/doc/README.dev
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-11-30 13:57:29 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-11-30 13:57:29 +0000
commit3f46936cccc023fd014d909ef0b9f80789733ee9 (patch)
tree9c822117d6f197eb5d11906945f230aa6f32af90 /doc/README.dev
parenta75cc30d2e32ed25bf8898a6e9da2ccf4ebe10bf (diff)
downloadmpfr-3f46936cccc023fd014d909ef0b9f80789733ee9.tar.gz
[doc/README.dev] Detailed the note about the list of GMP symbols.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11864 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/README.dev')
-rw-r--r--doc/README.dev7
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/README.dev b/doc/README.dev
index 2599ef289..05abc5ef6 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -1493,11 +1493,14 @@ Subversion, and these files need to be removed manually.
===========================================================================
-After a MPFR build, the list of GMP symbols used by MPFR can be obtained
-as follows:
+After a MPFR build, the list of GMP symbols used by this particular MPFR
+build can be obtained as follows:
nm -u src/.libs/libmpfr.so | sed -n 's/^ *U \(__gmp.*\)/\1/p'
+Note that this list may depend on various parameters, such as the
+architecture and the compilation options.
+
GMP internal symbols used by MPFR can be detected with the following
shell command (just replace /path/to/gmp.h by the actual pathname):