On Thursday, February 2, 2023 at 6:31:21 PM UTC+1 John H Palmieri wrote:
Some people have had an issue with Singular: the system version is too new. 
Using "./configure --with-system-singular=no" (probably after "make 
distclean"?) would help, if that's the problem. There is an upgrade ticket 
for Singular that has had many isses, but last time I checked, it had a 
positive review and was marked a blocker.

Thanks for the reply.  Well, I am experiencing the issue on the old Ubuntu 
18.04 on which singular is not installed :

$ singular
singular : commande introuvable

I already tried "--with-system-singular=no" last week after reading the 
previous post, but I still have the same issue. I am currently trying again 
with rc0 and after make distclean just to make sure.

Sébastien


 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/097ef1f3-82ca-4c55-b04b-25a002f8fb52n%40googlegroups.com.

Reply via email to