ghc/runtime/gmp/INSTALL

   1 Here is how to compile GNU MP.
   2
   3 You probably want to use the GNU C compiler to build this library.
   4 With other compilers the speed of the library will be 3-10 times
   5 slower for many CPU:s.  The reason for this is that the GNU C compiler
   6 will use inline assembler for some important operations, while other C
   7 compilers will have to stick to plain C code.
   8
   9 This is how to build the library:
  10
  11   Type "make" to build libgmp.a and libmp.a.  The former is the main
  12   GNU MP library.  The latter is the Berkeley MP compatible library.
  13
  14   If you don't have GCC, type "make CC=cc".  The compilation should, at
  15   least with GCC, proceed without any kind of warnings from the compiler
  16   programs.  On the DEC Alpha, you have to use GCC because of bugs in DEC's
  17   own compiler.  GCC 2.3.3 for x86, Alpha, and HP-PA has bugs that make
  18   several functions be mis-optimized.  Later version of GCC does not have
  19   this problem.
  20
  21   To build and run the tests, do "make check".
  22
  23 The documentation is an a texinfo file, gmp.texi.
  24
  25 To create the documentation from the texinfo source, type "make doc".
  26 This requires the "tex" and "makeinfo" commands to be available in
  27 your search path.  If you have only one of them, you can create the
  28 dvi file (for the paper manual) with "make gmp.dvi", and the info file
  29 (for the GNU online manual facility) with "make gmp.info".
  30
  31 You need version 2.06 or later of texinfo in order to build the
  32 documentation.
  33
  34 Please report problems to tege@gnu.ai.mit.edu.