The binary distribution is nothing else as a full source distribution with precompiled client programs. Run

make install

and choose the installation location when asked for.

If you are going to develop new client programs, you should add install-devel to the make arguments. You must also meet all the requirements concerning the C++ compiler. If your standard C++ compiler does not fit, you will need an explicit configuration step

make configure

The GMP library is included in source form only. It will be compiled if make configure fails to find a working installation of it on your system. It usually takes not that long than the compilation of the entire polymake sources, and can profit enormously from the processor-specific tuning procedures implemented in the GMP configuration script.

Notes