Singular/Sources — pull request #167 by YueRen (2012-08-15 09:43:40+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