I agree that this in not fixed, in spite of my positive review of the PR. I did not get that error, but I see by looking at the timestamps that my sage/local/include/libsemigroups/Eigen directory was left over from the install of the previous version.
Michael Orlitzky points out that the libsemigroups package is configured with --disable-eigen. But apparently that option does not work correctly. - Marc On Monday, October 28, 2024 at 11:59:18 AM UTC-5 [email protected] wrote: > 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/4d844d03-aa0f-43f3-9bee-13a5281dde60n%40googlegroups.com.
