On 21/12/2021 17.49, Lucas Nussbaum wrote:
[ /polytope/objects/Polytope/properties/Geometry/SLACK_IDEAL ] 1 ? cannot
open `standard.lib`
// ** Could not get 'Singular'.
// ** Either set environment variable 'SINGULAR_EXECUTABLE' to 'Singular',
// ** or make sure that 'Singular' is at "/usr/Singular"
// ** Could not get 'BinDir'.
// ** Either set environment variable 'SINGULAR_BIN_DIR' to 'BinDir',
// ** or make sure that 'BinDir' is at ""
// ** Could not get 'RootDir'.
// ** Either set environment variable 'SINGULAR_ROOT_DIR' to 'RootDir',
// ** or make sure that 'RootDir' is at "%b/.."
// ** Could not find dynamic library: p_Procs_FieldIndep.so (path )
// ** Singular will work properly, but much slower.
// ** See the INSTALL section in the Singular manual for details.
polymake: WARNING: rule GENERATORS, N_VARIABLES : NON_SATURATED.GENERATORS,
NON_SATURATED.N_VARIABLES failed: cannot open elim.lib at
/<<PKGBUILDDIR>>/bundled/singular/apps/ideal/rules/singular.rules line 210.
verifying: 1 FAILED
Thanks for the report, this seems to be caused by an incomplete singular
installation during testing, for building we only require
libsingular4-dev and at runtime libpolymake-dev-common does depend on
the full singular package.
For the tests to work at least singular-data (with dependency
singular-modules) should be installed in addition to libsingular4-dev.
Best
Benjamin
PS: In the previous builds the autoconfiguration of polymake did not
accept the singular installation for some reason.
But some other change (maybe in singular or some dependency) seems to
have fixed that and now we are seeing this error during the tests.
