[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Configuration

Configuration is performed by setting variables in the `Makefile.config' file. The requested paths give the prefix directories. For instance, the GMP header file will be found in `$(GMP_INSTALL)/include'.



This document was generated on October, 27 2006 using texi2html