summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2004-09-24 13:38:39 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2004-09-24 13:38:39 +0000
commit5f1352cbc12235100e4b9a3e5d11ef5267ad56d6 (patch)
tree865f752a921fa8d2998d60329c9e8217f9d007de
parent12651e7593d96f965a82ae5ce1e547731cdc565e (diff)
downloadmpfr-5f1352cbc12235100e4b9a3e5d11ef5267ad56d6.tar.gz
The standard autoreconf script should now be used instead of prepare.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@2990 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--README.dev17
1 files changed, 10 insertions, 7 deletions
diff --git a/README.dev b/README.dev
index db4d599d4..4b3ba37cd 100644
--- a/README.dev
+++ b/README.dev
@@ -2,13 +2,16 @@ Notes for the MPFR developers and CVS users
===========================================
To compile source code obtained from CVS, you need some GNU development
-utilities: aclocal, autoheader, automake, autoconf. As some files like
-"configure" are not part of the CVS repository, you first need to run
-the "prepare" script to generate these files and call "configure"; you
-must give the options that will be passed to "configure", for instance:
-
- ./prepare --with-gmp=/path/to/gmp
-
+utilities: aclocal, autoheader, automake, autoconf 2.50 (at least). As
+some files like "configure" are not part of the CVS repository, you
+first need to run "autoreconf"; if you have both autoconf 2.13 and 2.50
+installed, you may need to run "autoreconf" a second time. Then you can
+run "configure" in the usual way (see the INSTALL file).
+
+If for some reason, this doesn't work, there's still the old way: run
+the "prepare" script to generate these files; as the "prepare" script
+also runs "configure", you must give the options that will be passed
+to "configure", for instance: ./prepare --with-gmp=/path/to/gmp
Give "--help" if you don't know (./prepare --help). Then, you can
use the configure script as usual. Read the INSTALL file for more
information. If you use GNU tools, you can give "-dev" as the first