polymake fails to build with --without-polydb specified

[Philipp]

polymake fails to build when --without-polydb is specified:

Code: Select all

[...] [556/579] if [ 'build.ninja' = build.ninja ]; then /usr/local/bin/perl -I/wrkdirs/usr/ports/math/polymake/work/polymake-4.15/perllib /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/support/configure.pl --builddir=/wrkdirs/usr/ports/math/polymake/work/polymake-4.15/build; else true; fi Unrecognized option --without-polydb Try ./configure --help for detailed information [575/579] : /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/build/cpperl/gen.ninja FAILED: [code=255] /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/build/config.ninja if [ 'build.ninja' = build.ninja ]; then /usr/local/bin/perl -I/wrkdirs/usr/ports/math/polymake/work/polymake-4.15/perllib /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/support/configure.pl --builddir=/wrkdirs/usr/ports/math/polymake/work/polymake-4.15/build; else true; fi [577/579] /usr/local/bin/perl /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/support/generate_ninja_targets.pl --source-list /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/build/sources.lst /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/common/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/fan/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/fulton/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/graph/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/group/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/ideal/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/matroid/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/polytope/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/topaz/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/apps/tropical/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/atint/apps/tropical/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/cdd/apps/polytope/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/flint/apps/common/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/flint/apps/matroid/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/flint/apps/polytope/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/flint/apps/topaz/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/libnormaliz/apps/polytope/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/lrs/apps/polytope/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/nauty/apps/graph/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/ppl/apps/polytope/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/bundled/singular/apps/ideal/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/lib/callable/src/perl /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/lib/core/src /wrkdirs/usr/ports/math/polymake/work/polymake-4.15/lib/core/src/perl ninja: error: rebuilding 'build.ninja': subcommand failed gmake: *** [Makefile:35: all] Error 1 [...]

The full log of the build in a FreeBSD 14.4-Release amd64 jail is attached.

./configure --help tells me: `--without-polydb disable the bundled extension polydb completely`. Calling configure without `--without-polydb` is working fine, it just fails to configure that bundled extension.

[gawrilow]

Indeed, it's a known bug, fixed already on our refactoring branch. For reasons explained in another reply to you, it wouldn't make much sense to publish an isolated patch just for this - the rest won't build successfully anyway.