The relevant error is different : ``` [gap_packages-4.13.1] [spkg-install] g++ -std=gnu++11 -pthread -g -O2 -fPIC -MQ gen/src/cong.o -MMD -MP -MF gen/src/cong.d -std=gnu++14 -O3 -mavx -flax-vector-conversions -Igapbind14/include/ -DHPCOMBI_CONSTEXPR_FUN_ARGS -DFMT_HEADER_ONLY -DNDEBUG -g -O2 -o gen/src/cong.o -I/usr/local/sage-10/local/include/gap -I/usr/local/sage-10/local/include -DUSE_GASMAN=1 -c src/cong.cpp [gap_packages-4.13.1] [spkg-install] In file included from /usr/local/sage-10/local/include/libsemigroups/knuth-bendix.hpp:34, [gap_packages-4.13.1] [spkg-install] from /usr/local/sage-10/local/include/libsemigroups/cong.hpp:30, [gap_packages-4.13.1] [spkg-install] from src/to_cpp.hpp:54, [gap_packages-4.13.1] [spkg-install] from src/cong.cpp:29: [gap_packages-4.13.1] [spkg-install] /usr/local/sage-10/local/include/libsemigroups/digraph.hpp:58:10: fatal error: Eigen/Core: No such file or directory [gap_packages-4.13.1] [spkg-install] 58 | #include <Eigen/Core> [gap_packages-4.13.1] [spkg-install] | ^~~~~~~~~~~~ [gap_packages-4.13.1] [spkg-install] compilation terminated. [gap_packages-4.13.1] [spkg-install] make[5]: *** [Makefile.gappkg:130: gen/src/cong.o] Error 1 ```
HTH, Le lundi 28 octobre 2024 à 17:48:45 UTC+1, Emmanuel Charpentier a écrit : > Le lundi 28 octobre 2024 à 16:58:55 UTC+1, Dima Pasechnik a écrit : > > The libsemigroup issue is fixed by > https://github.com/sagemath/sage/pull/38875 > (the version bump was forgotten, basically) > > Please test and review > > > Nope, make -j8 build failed. Logs follow > > > > On Mon, Oct 28, 2024 at 2:41 PM Emmanuel Charpentier > <[email protected]> wrote: > > > > The promised logs. > > > > HTH, > > > > -- > > 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 [email protected]. > > To view this discussion visit > https://groups.google.com/d/msgid/sage-release/CAFG8T6UQUYiCts1jrxNcU1T_1scc9rHdjZuMOHrVQHCf0_pXEQ%40mail.gmail.com. > > > > -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-release/db832a0f-8b12-4351-98ca-55a117ea92den%40googlegroups.com.
