Typing make install will copy all the required header files in prefix/include/mpfq and libmpfq_gfp.a, libmpfq_gfpe.a and libmpfq_gf2n.a into prefix/lib. The default value for prefix is /usr/local.

Compiling options, including this prefix parameter can be changed using the mechanism provided by CMake, namely typing ccmake . to call a GUI, or calling CMake with the command cmake path_to_mpfq/src -DCMAKE_INSTALL_PREFIX=your_prefix

Furthermore, CMake allows for the typicall ``staged install'' mechanism, by accepting a DESTDIR= argument to the make install command.

Note that once the files are installed, your applications can use them in a classical way, without using CMake.