singular build option --disable-polymake

[videlec]

Singular configure script checks for the presence of polymake. Let it not care about polymake by specifying --disable-polymake otherwise the build might fail without notice.

CC: @mkoeppe

Component: packages: standard

Author: Vincent Delecroix

Branch/Commit: 0318086

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/22606

[videlec]

Branch: u/vdelecroix/22606

[videlec]

Commit: 0318086

[videlec]

New commits:

0318086

disable polymake in singular build

[mkoeppe]

Reviewer: Matthias Koeppe

[vbraun]

Changed branch from u/vdelecroix/22606 to 0318086