I tried to clean things as much as possible :
- restart WSL by closing all Ubuntu Windows, then wsl shutdown in Powershell. - make disclean - ./bootstrap At this point, I checked that $(SAGE_ROOT)/local/include/libsemigroups didn’t exist. - ./configure $(./config.status --config) IIRC, at this point, $(SAGE_ROOT)/local.include stil didn’t exit, but I can”‘t check it (console buffer too small…). - time make -j8 build fails after 72 minutes (plus small change). End of the output : [gap_packages-4.13.1] [spkg-install] "/usr/local/sage-10/local/bin/gac" -d -p "-MQ "gen/src/bipart.o" -MMD -MP -MF gen/src/bipart.d" -p "-I./bin/include -I./bin/include/libsemigroups -std=gnu++14 -O3 -mavx -flax-vector-conversions -Igapbind14/include/ -DHPCOMBI_CONSTEXPR_FUN_ARGS -Ilibsemigroups/extern/HPCombi/include -Ilibsemigroups/extern/HPCombi/include/fallback -Ilibsemigroups/extern/fmt-8.0.1/include -Ilibsemigroups/include -DFMT_HEADER_ONLY -DNDEBUG -g -O2" -c src/bipart.cpp -o gen/src/bipart.o [gap_packages-4.13.1] [spkg-install] g++ -std=gnu++11 -pthread -g -O2 -fPIC -MQ gen/src/bipart.o -MMD -MP -MF gen/src/bipart.d -I./bin/include -I./bin/include/libsemigroups -std=gnu++14 -O3 -mavx -flax-vector-conversions -Igapbind14/include/ -DHPCOMBI_CONSTEXPR_FUN_ARGS -Ilibsemigroups/extern/HPCombi/include -Ilibsemigroups/extern/HPCombi/include/fallback -Ilibsemigroups/extern/fmt-8.0.1/include -Ilibsemigroups/include -DFMT_HEADER_ONLY -DNDEBUG -g -O2 -o gen/src/bipart.o -I/usr/local/sage-10/local/include/gap -I/usr/local/sage-10/local/include -DUSE_GASMAN=1 -c src/bipart.cpp [gap_packages-4.13.1] [spkg-install] In file included from src/bipart.cpp:38: [gap_packages-4.13.1] [spkg-install] libsemigroups/include/libsemigroups/report.hpp:42:10: fatal error: textflowcpp/TextFlow.hpp: No such file or directory [gap_packages-4.13.1] [spkg-install] 42 | #include "textflowcpp/TextFlow.hpp" [gap_packages-4.13.1] [spkg-install] | ^~~~~~~~~~~~~~~~~~~~~~~~~~ [gap_packages-4.13.1] [spkg-install] compilation terminated. and, of course : charpent@SAP5342949:/usr/local/sage-10$ ls local/include/libsemigroups/ Eigen digraph-helper.hpp kambites.hpp sims1.tpp HPCombi digraph-with-sources.hpp kbe.hpp siso.hpp action.hpp digraph-with-sources.tpp knuth-bendix.hpp stephen.hpp adapters.hpp digraph.hpp konieczny.hpp stl.hpp backward-cpp exception.hpp libsemigroups.hpp string-view.hpp bipart.hpp fastest-bmat.hpp make-froidure-pin.hpp string.hpp bitset.hpp felsch-digraph.hpp make-present.hpp suffix-tree.hpp bmat.hpp felsch-digraph.tpp matrix.hpp tce.hpp bmat8.hpp felsch-tree.hpp node-manager.hpp textflowcpp bruidhinn-traits.hpp forest.hpp obvinf.hpp timer.hpp config.hpp fpsemi-examples.hpp order.hpp todd-coxeter-digraph.hpp cong-intf.hpp fpsemi-intf.hpp pbr.hpp todd-coxeter-digraph.tpp cong-pair-impl.hpp fpsemi.hpp pool.hpp todd-coxeter.hpp cong-pair.hpp freeband.hpp present.hpp transf.hpp cong-wrap.hpp froidure-pin-base.hpp present.tpp types.hpp cong.hpp froidure-pin-impl.hpp race.hpp uf.hpp constants.hpp froidure-pin.hpp report.hpp ukkonen.hpp containers.hpp function-ref.hpp runner.hpp ukkonen.tpp coset.hpp hpcombi.hpp schreier-sims-helper.hpp wilo.hpp debug.hpp int-range.hpp schreier-sims.hpp wislo.hpp deprecated.hpp iterator.hpp sims1.hpp word.hpp Grrrr… Something I do not understand : charpent@SAP5342949:/usr/local/sage-10$ ls -l /usr/local/sage-10/local/bin/g* -rwxr-xr-x 1 charpent charpent 10843 Oct 30 09:30 /usr/local/sage-10/local/bin/gac -rwxr-xr-x 1 charpent charpent 18184 Oct 30 09:30 /usr/local/sage-10/local/bin/gap -rwxr-xr-x 1 charpent charpent 1558 Oct 30 09:22 /usr/local/sage-10/local/bin/givaro-config charpent@SAP5342949:/usr/local/sage-10$ which giac /usr/bin/giac Any ideas ? Le mardi 29 octobre 2024 à 17:59:25 UTC+1, Dima Pasechnik a écrit : > > > On 29 October 2024 16:19:19 GMT, Marc Culler <[email protected]> wrote: > >I meant: > >I am guessing that in this case $SAGE_LOCAL == /usr/local/sage-10/local) > > > > > > > >On Tuesday, October 29, 2024 at 11:17:06 AM UTC-5 Marc Culler wrote: > > > >> While there are certainly build environments that do work to build > >> gap_packages, it is clearly not robust. I think it would be a mistake > to > >> ignore this, because it is guaranteed to produce lots of support emails. > >> > >> The issue here is with the file TextFlow.hpp. When libsemigroups is > >> installed, that file ends up with the following path > >> $SAGE_LOCAL/include/libsemigroups/textflowcpp/TextFlow.hpp > >> > >> I also see the file in > >> > >> > $SAGE_LOCAL/lib/gap/pkg/semigroups/libsemigroups/extern/textflowcpp/TextFlow.hpp > >> > >> I think the first one is the sensible one to use. We can count on > >> libsemigroups being installed before gap_packages because gap_packages > >> lists it as a dependency. > >> > >> If you look at the g++ command which is failing, it specifies the > >> directories to be searched for headers with: > >> -I./bin/include > >> -I./bin/include/libsemigroups > >> -Igapbind14/include/ > >> -Ilibsemigroups/extern/HPCombi/include > >> -Ilibsemigroups/extern/HPCombi/include/fallback > >> -Ilibsemigroups/extern/fmt-8.0.1/include > >> -Ilibsemigroups/include > >> -I/usr/local/sage-10/local/include/gap > >> -I/usr/local/sage-10/local/include > >> > >> That list does not include $SAGE_LOCAL/include/libsemigroups/textflowcpp > >> (I am guessing that in this case $SAGE_LOCAL == /usr/local/sage-10) > >> > > There might be something to tweak in the ./configure call for semigroups > in spkg-install.in of > semigroups. > > With external libsemigroups it should have none of > -Ilibsemigroups/extern/* - as this is a vendored copy of libsemigroups, > which has nothing to do with the already installed libsemigroups. > > I'll look into it later today. > > > >> I think it might fix this problem to add the following line at the top > of > >> build/pkgs/gap_packages/spkg-install.in: > >> > >> export CFLAGS="${CFLAGS} > -I${SAGE_LOCAL}/include/libsemigroups/textflowcpp" > >> > >> Emmanuel, would you try that? > >> > >> (Of course it might only reveal that there is another -I option needed, > >> but that would be progress.) > >> > >> - Marc > >> > >> > >> > >> > >> > >> On Tuesday, October 29, 2024 at 8:35:28 AM UTC-5 [email protected] > >> wrote: > >> > >>> Le mardi 29 octobre 2024 à 10:36:17 UTC+1, Dima Pasechnik a écrit : > >>> > >>> On Tue, Oct 29, 2024 at 8:59 AM Emmanuel Charpentier > >>> <[email protected]> wrote: > >>> > > >>> > 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 : > >>> > >>> It certainly does the job after `make distclean`, > >>> > >>> Nope. > >>> > >>> *After make distclean*, ./bootstrap,,configure $(./config.status > --config, > >>> make -j8 build still triggers the same problem : > >>> [gap_packages-4.13.1] [spkg-install] g++ -std=gnu++11 -pthread -g -O2 > >>> -fPIC -MQ gen/src/bipart.o -MMD -MP -MF gen/src/bipart.d > -I./bin/include > >>> -I./bin/include/libsemigroups -std=gnu++14 -O3 -mavx > >>> -flax-vector-conversions -Igapbind14/include/ > -DHPCOMBI_CONSTEXPR_FUN_ARGS > >>> -Ilibsemigroups/extern/HPCombi/include > >>> -Ilibsemigroups/extern/HPCombi/include/fallback > >>> -Ilibsemigroups/extern/fmt-8.0.1/include -Ilibsemigroups/include > >>> -DFMT_HEADER_ONLY -DNDEBUG -g -O2 -o gen/src/bipart.o > >>> -I/usr/local/sage-10/local/include/gap > -I/usr/local/sage-10/local/include > >>> -DUSE_GASMAN=1 -c src/bipart.cpp [gap_packages-4.13.1] [spkg-install] > In > >>> file included from src/bipart.cpp:38: [gap_packages-4.13.1] > [spkg-install] > >>> libsemigroups/include/libsemigroups/report.hpp:42:10: fatal error: > >>> textflowcpp/TextFlow.hpp: No such file or directory > [gap_packages-4.13.1] > >>> [spkg-install] 42 | #include "textflowcpp/TextFlow.hpp" > >>> [gap_packages-4.13.1] [spkg-install] | ^~~~~~~~~~~~~~~~~~~~~~~~~~ > >>> [gap_packages-4.13.1] [spkg-install] compilation terminated. > >>> > >>> HTH, > >>> > >>> and we have hard > >>> time figuring out how exactly the old state > >>> (the presence of traces of Eigen headers somewhere deep in the guts of > >>> the build system) is cached. > >>> > >>> I'd actually propose to add Eigen as an optional package, but > >>> meanwhile we need a PR to unblock the built > >>> of gap_packages. > >>> > >>> > >>> > > >>> > [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. > > > >>> > >>> > >>> > >>> > >> > > > -- 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/e9241966-97d0-4b5b-a0c5-178440119732n%40googlegroups.com.
