diff options
Diffstat (limited to 'chapter05/mpfr.xml')
| -rw-r--r-- | chapter05/mpfr.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/chapter05/mpfr.xml b/chapter05/mpfr.xml index 004273828..fe37cae9d 100644 --- a/chapter05/mpfr.xml +++ b/chapter05/mpfr.xml @@ -43,6 +43,10 @@ <sect2 role="installation"> <title>Installation of MPFR</title> + <para>Apply a patch to fix a few bugs in MPFR:</para> + +<screen><userinput remap="pre">patch -Np1 -i ../&mpfr-fixes-patch;</userinput></screen> + <para>Prepare MPFR for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/tools --enable-thread-safe</userinput></screen> |