$Date: 2003/05/25 09:33:09 $
$Name:  $ 
$Revision: 1.1.1.1 $ 

To install MPFI library :

./configure extra options (read INSTALL for general options)

--with-gmp-dir=<gmp installation directory>

