The updated PR (re-fetched at Tue Oct 29 09:22:19 CET 2024) does not solve the problem. *Without* make dist-clean, I get the same problem as before : [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.
HTH, Le lundi 28 octobre 2024 à 18:15:37 UTC+1, [email protected] a écrit : > 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/74f36963-6cce-4e4e-be6f-407238897541n%40googlegroups.com.
