To install GiNaC on your system, simply type
$ make install
As described in the section about configuration the files will be installed in the following directories (the directories will be created if they don't already exist):
For the sake of completeness we will list some other useful make targets: make clean deletes all files generated by make, i.e. all the object files. In addition make distclean removes all files generated by the configuration and make maintainer-clean goes one step further and deletes files that may require special tools to rebuild (like the libtool for instance). Finally make uninstall removes the installed library, header files and documentation1.
[1] Uninstallation does not work after you have called make distclean since the Makefile is itself generated by the configuration from Makefile.in and hence deleted by make distclean. There are two obvious ways out of this dilemma. First, you can run the configuration again with the same PREFIX thus creating a Makefile with a working ‘uninstall’ target. Second, you can do it by hand since you now know where all the files went during installation.