Closed strogdon closed 1 year ago
I patched sage-9999 to use the latest singular, but it did not make into vanilla. So vanilla cannot use your system singular-4.3.1_p3.
I thought maybe that was the issue.
It appears that vanilla does not have an appropriate check for whether to use system singular
.
configure:44348: $PKG_CONFIG --exists --print-errors "Singular >= 4.2.1"
configure:44351: $? = 0
configure:44365: $PKG_CONFIG --exists --print-errors "Singular >= 4.2.1"
configure:44368: $? = 0
configure:44410: result: yes
Forgot the next line
configure:44559: will use system package and not install SPKG singular
The relevant upgrade ticket is positive, so hopefully with next rc
. Off topic, are you able to login to trac?
Cannot login to trac. That's not unexpected, there was an announcement that it would be offline during migration work to github. May take some more time before it is open again.
This is s-o-g specific and will probably not impact anyone. Vanilla can be built with ./configure --with-system-singular=no
This must be due to a system component. I was having issues so I did a
make distclean && make doc-clean
beforemake doc-pdf
.Any ideas? Is something up with the system
singular
which is being used here?