summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2021-03-19 11:27:27 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2021-03-19 11:27:27 +0000
commit9fe3037c49fe0773cb3dc4033dd253a6c2a7e3c9 (patch)
tree4c49376175370424cabc7b02c4ea0860550ca07e /doc
parent2f4930851a92f9b4a8751193afad30377281284b (diff)
downloadmpfr-9fe3037c49fe0773cb3dc4033dd253a6c2a7e3c9.tar.gz
Added m4/ax_pthread.m4 file, and related updates.
Added m4/ax_pthread.m4 from https://github.com/autoconf-archive/autoconf-archive and updated: * acinclude.m4 (in particular, set CXX and CXXFLAGS) * doc/README.dev git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14482 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r--doc/README.dev13
1 files changed, 7 insertions, 6 deletions
diff --git a/doc/README.dev b/doc/README.dev
index f483aaa91..d833c477d 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -22,12 +22,13 @@ https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
Notes for the MPFR developers and Subversion users
==================================================
-To compile source code obtained from the Subversion repository, you
-need some GNU development utilities: aclocal, autoheader, automake,
-autoconf 2.60 (at least), libtoolize, and the AX_PTHREAD macro from
-<https://www.gnu.org/software/autoconf-archive/ax_pthread.html>
-(for the latter, under Debian/Ubuntu it suffices to install the
-autoconf-archive package).
+To compile the source code obtained from the repository or after applying
+some special patches, you need some additional GNU development utilities:
+aclocal, autoheader, automake, autoconf 2.60 (at least), and libtoolize.
+The AX_PTHREAD macro from autoconf-archive[*] is now included in the MPFR
+repository (m4/ax_pthread.m4).
+[*] https://www.gnu.org/software/autoconf-archive/ax_pthread.html
+
As some files like "configure" are not part of the Subversion
repository, you first need to run "autoreconf -i" (or ./autogen.sh,
which could be used later to update the config files). Then you can