Requested tools

To compile the C library, you need

• an ANSI C compiler (only GCC with `-ansi' option has been really tested);
• GNU Make
• GMP (Gnu Multi-Precision library) if you want the version of POLKA with multi-precision arithmetic.

In addition, if you want the OCaml interface, you need

• The OCaml system, version 3.00 or higher;
• The CamlIDL stub code generator, version 1.04 or higher; actually, only the runtime library is really required;
• Possibly, The SED Stream EDitor (GNU version available at http://www.gnu.org/software/software.html) if you want to regenerate the stub source files.

This documentation has been generated with the TEXINFO system, using the executables texi2dvi,makeinfo and texi2html.