diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2013-03-12 00:11:18 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2013-03-12 00:11:18 +0000 |
| commit | db3f8b0596d500f301be003b7dd382f93319b1e4 (patch) | |
| tree | db1eee3fed5988ef26360a9e9ce1a7876c30b7ea | |
| parent | 7235708121fe37dff55c38e849d5b670e47ba2ef (diff) | |
| download | mpfr-db3f8b0596d500f301be003b7dd382f93319b1e4.tar.gz | |
[INSTALL] Improved information on patches.
(merged changeset r8475 from the trunk, after temporarily reverted
to 3.2.0-dev with tools/update-version for the merge)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8476 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | INSTALL | 15 |
1 files changed, 12 insertions, 3 deletions
@@ -33,15 +33,24 @@ MPFR). 1. Extract the files from the archive. -2. It is strongly advised to apply the latest patches (if this has - not been done yet), e.g. +2. It is strongly advised to apply the latest patches if this has + not been done yet and if patches are available. You can check + on the release page: + + http://www.mpfr.org/mpfr-3.1.2/ + + which may have additional information. The patches can be applied + with commands like: + wget http://www.mpfr.org/mpfr-3.1.2/allpatches patch -N -Z -p1 < allpatches + or + curl http://www.mpfr.org/mpfr-3.1.2/allpatches | patch -N -Z -p1 (Those instructions are for the GNU patch command, for example - /usr/bin/gpatch on Solaris.) + /usr/bin/gpatch on Solaris.) 3. In the MPFR directory, to detect your system, type: ./configure |