$Date: 2005/11/08 17:24:22 $
$Name:  $ 
$Revision: 1.1.1.1 $ 

To install MPFI library :

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

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

