@Vincent thank you very much! I opened the subshell by typing $ cd '/home/Ray/sage/sage/local/var/tmp/sage/build/e_antic-1.2.1' && '/home/Ray/sage/sage/sage' --buildsh
and then I ran your suggestions, but I got an error again. These are the last lines in the shell: > checking for antic/nf.h... no > configure: error: antic headers not found > configure: error: ./configure failed for libeantic Is that the correct setting in the first place? After that, I tried installing antic in the sage environment directly, but the compilation also failed. Should I still open an issue on https://github.com/flatsurf/e-antic ? Thank you very much in advance! @Matthias thank you! That's good to know! Matthias Koeppe schrieb am Freitag, 29. Juli 2022 um 03:34:34 UTC+9: > That would be the upgrade ticket https://trac.sagemath.org/ticket/31588 > > On Thursday, July 28, 2022 at 7:06:45 AM UTC-7 vdelecroix wrote: > >> Hi Max, >> >> Could you try to build the last version of e-antic (1.2.1) in the sage >> environment ? In the sage shell, this is achieved with >> >> $ wget >> https://github.com/flatsurf/e-antic/releases/download/1.2.1/e-antic-1.2.1.tar.gz >> >> $ tar xf e-antic-1.2.1.tar.gz >> $ cd e-antic-1.2.1 >> $ ./configure --without-byexample --without-pytest --without-doc >> $ make >> >> In case it fails, reply to this message or open an issue at >> https://github.com/flatsurf/e-antic >> >> Best >> Vincent >> >> On Thu, 28 Jul 2022 at 14:53, Max Kölbl <max.w....@gmail.com> wrote: >> > >> > Dear everyone, >> > >> > It is me again with a different problem. >> > >> > While trying to run `sage -i normaliz`, an error occured due to >> e-antic. >> > The log is attached. >> > >> > I also tried as a workaround to build normaliz directly, but the >> `install_normaliz_with_eantic.sh`-script failed too (but I don't know where >> to ask about this). >> > >> > Thank you very much in advance! >> > Max >> > >> > -- >> > 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+...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/ed4afc25-7402-4226-be26-32226de91bd7n%40googlegroups.com. >> >> >> > -- 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/8d72c0f9-630d-4f5a-96fd-f0a4462c0998n%40googlegroups.com.
