Le mardi 15 octobre 2024 à 17:18:08 UTC+2, dim...@gmail.com a écrit :
Sure. However,here the problem is probably related to most WSL users sticking to the default for WSL Ubuntu LTS distro, which is likely to be 22.04, carrying giac 1.7, too old for Sage. So they'd need (i.e. Sage needs) to build giac from source, and this is not very easy. Well, if one removes the system's giac, this should be pretty easy, shouldn't it? (building giac 1.9 within Ubuntu 22.04 does not cause any trouble). For instance, you should remove the Ubuntu's giac package (libgiac-dev, I guess) from your system and rerun Sage's configure script to force the build of giac 1.9 during Sage's install. See e.g. https://sagemanifolds.obspm.fr/install_ubuntu.html for details. Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/220594a7-f44e-4cc3-86c2-32535b8ac9b7n%40googlegroups.com.
