disable polymake in singular build

videlec · videlec · commit 03180867c3ad · 2017-03-15T14:52:43.000+01:00
diff --git a/build/pkgs/singular/spkg-install b/build/pkgs/singular/spkg-install
@@ -96,6 +96,7 @@ config()
                 --enable-Singular \
                 --enable-factory \
                 --disable-doc \
+                --disable-polymake \
                 $SINGULAR_CONFIGURE
 
     if [ $? -ne 0 ]; then
