Singular/Sources — pull request #168 by YueRen (2012-08-15 09:56:43+00:00)
Title: Gfanlib

changed building process:
added missing header protection
configure --enable-polymake now implies --enable-gfanlib
configure --enable-polymake now checks
whether polymake is installed and whether it is the right version