New .bootstrap script and a README.HG file

1 files changed, 25 insertions, 0 deletions

diff --git a/README.HG b/README.HG
new file mode 100644
index 000000000..8c7ebd832
--- /dev/null
+++ b/README.HG
@@ -0,0 +1,25 @@
+When you have checked out a fresh copy of GMP from the repository, the
+usual ./configure && make is not sufficient to build the sources. You
+need to have the following extra tools installed:
+
+* autoconf-2.59
+
+* automake-1.8.4
+
+* libtool-1.5.24
+
+Later versions of these tools may work as well. Then the following
+steps are needed:
+
+* Run the .bootstrap script, in the top source directory. This
+  creates various automatically generated files such as configure and
+  Makefile.in.
+
+    ./.bootstrap
+
+* Run the configure script, either in the source directory or in a
+  separate build directory. Use the --enable-maintainer-mode option.
+
+    ./configure --enable-maintainer-mode
+
+Then you should be able to build the sources.