Re: [sage-release] Sage 10.4.beta5 released

I get the same, there is an issue at https://github.com/sagemath/sage/issues/37698 On Sunday, May 5, 2024 at 12:50:54 AM UTC+2 furutaka@gmail.com wrote: > Fedora 40 (x86_64), same as the previous beta (I've posted the result, but > it seems to be missing...). > > Logs attached. > >

Re: [sage-release] Sage 10.4.beta4 released

On a linux box (Fedora-40 x86_64)... Need to `configure --without-system-gcc`. (gcc (GCC) 14.0.1 20240411 (Red Hat 14.0.1-0)) Then, the build of fflas_ffpack-2.4.3.p0 and ppl-1.2.p1 failed. (Logs attached) Kazuyoshi 2024年4月28日(日) 1:31 Volker Braun : > As always, you can get the latest beta

[sage-release] Re: Sage 10.4.beta5 released

On Debian testing running on core i7n + 16 GB RAM, upgrading 10.4.beta4 to 10.4.beta5 and running ptestlong gives one permanent failure : -- sage -t --long --warn-long 237.3

Re: [sage-release] Sage 10.4.beta5 released

[spkg-install] checking pkg-config is at least version 0.9.0... yes [spkg-install] checking for GIVARO... yes [spkg-install] checking for GIVARO usability... no [spkg-install] configure: error: The Givaro library could not be used with the compiler and the flags se t up by the configure script

Re: [sage-release] Sage 10.4.beta5 released

jaap@peace:~$ gcc --version gcc (GCC) 14.0.1 20240411 (Red Hat 14.0.1-0) Copyright (C) 2024 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. jaap@peace:~$ cd

Re: [sage-release] Sage 10.4.beta5 released

In my config.log it says that it tries to install ppl since gcc is built. No ppl package in fedora 39 El sábado, 4 de mayo de 2024 a las 13:26:48 UTC+2, Dima Pasechnik escribió: > I guess you might be missing gmp-c++ system package. > Please install it and try again. It seems we need to look at

Re: [sage-release] Sage 10.4.beta5 released

I guess you might be missing gmp-c++ system package. Please install it and try again. It seems we need to look at what ppl does in its gmp detection code and do the same in our configure. On 4 May 2024 12:16:22 BST, Jaap

Re: [sage-release] Sage 10.4.beta5 released

hmm, no, your system GMP looks fine, it was duly detected by the top level configure. It is however rejected by ppl. Can you post the appropriate logs/pkgs/ppl... log file? On 4 May 2024 11:31:11 BST, Jaap Spies wrote: >Sorry wrong attachment! > > > >On Sat, May 4, 2024 at 12:26 PM Jaap Spies

Re: [sage-release] Sage 10.4.beta5 released

Last metadata expiration check: 3:24:12 ago on za 04 mei 2024 08:57:46 CEST. Package gmp-1:6.2.1-8.fc40.x86_64 is already installed. Package gmp-devel-1:6.2.1-8.fc40.x86_64 is already installed. Package gmp-ecm-7.0.5-5.fc40.x86_64 is already installed. Package gmp-ecm-devel-7.0.5-5.fc40.x86_64 is

Re: [sage-release] Sage 10.4.beta5 released

You probably have an incomplete install of system GMP packages, or/and, perhaps, a spurious install of GMP in /usr/local ... Please post top-level config.log On 4 May 2024 10:27:09 BST, Jaap Spies wrote: >On Fedora 40 building fails with >* package: ppl-1.2.p1 > last build time: mei

Re: [sage-release] Sage 10.4.beta5 released

In a test installation of Fedora 40, I have the same issue, solved installing gmp package, but then doc has a problem with libharfbuzz. On the other side trying to install it with gcc 14 fails with sagelib El sábado, 4 de mayo de 2024 a las 11:27:23 UTC+2, jaap...@gmail.com escribió: > On

Re: [sage-release] Sage 10.4.beta5 released

On Fedora 40 building fails with * package: ppl-1.2.p1 last build time: mei 3 22:09 log file: /home/jaap/sagemath/sage-10.4.beta5/logs/pkgs/ppl-1.2.p1.log >From the log file: [spkg-install] config.lt: creating libtool [spkg-install] checking for the GMP library version 4.1.3 or