diff options
Diffstat (limited to 'README.HG')
| -rw-r--r-- | README.HG | 25 |
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. |