From dimpase at gmail.com Sun Sep 21 22:11:46 2025 From: dimpase at gmail.com (Dima Pasechnik) Date: Sun, 21 Sep 2025 16:11:46 -0500 Subject: [Debian-science-sagemath] [sage-support] problem compiling 10.8 beta-3 on Debien Forky/sid In-Reply-To: <08ca33b1-8027-46a2-bc63-c07c0225fb36@math.univ-lyon1.fr> References: <08ca33b1-8027-46a2-bc63-c07c0225fb36@math.univ-lyon1.fr> Message-ID: On Debian Testing with system ecl testing I get [maxima-5.47.0] [spkg-install] ;;; Compiling /home/dp/sage/local/var/tmp/sage/build/maxima-5.47.0/src/src/maxima-package.lisp. [maxima-5.47.0] [spkg-install] ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=2 [maxima-5.47.0] [spkg-install] ;;; [maxima-5.47.0] [spkg-install] ;;; Internal error: [maxima-5.47.0] [spkg-install] ;;; ** Error code 1 when executing [maxima-5.47.0] [spkg-install] ;;; (EXT:RUN-PROGRAM "gcc" ("-I." "-I/usr/include/" "-Wdate-time" "-D_FORTIFY_SOURCE=2" "-D_GNU_SOURCE" "-D_FILE_OFFSET_BITS=64" "-g" "-O2" "-Werror=implicit-function-declaration" "-ffile-prefix-map=/build/reproducible-path/ecl-24.5.10+ds=." "-fstack-protector-strong" "-fstack-clash-protection" "-Wformat" "-Werror=format-security" "-fcf-protection" "-fPIC" "-D_THREAD_SAFE" "-Dlinux" "-O2" "-c" "binary-ecl/maxima-package.c" "-o" "binary-ecl/maxima-package.o")): [maxima-5.47.0] [spkg-install] ;;; In file included from /usr/include/ecl/ecl.h:81, [maxima-5.47.0] [spkg-install] ;;; from /usr/include/ecl/ecl-cmp.h:31, [maxima-5.47.0] [spkg-install] ;;; from binary-ecl/maxima-package.c:5: [maxima-5.47.0] [spkg-install] ;;; /usr/include/ecl/object.h:27:13: error: 'bool' cannot be defined via 'typedef' [maxima-5.47.0] [spkg-install] ;;; 27 | typedef int bool; [maxima-5.47.0] [spkg-install] ;;; | ^~~~ [maxima-5.47.0] [spkg-install] ;;; /usr/include/ecl/object.h:27:13: note: 'bool' is a keyword with '-std=c23' onwards [maxima-5.47.0] [spkg-install] ; - Binary file binary-ecl/maxima-package.fas is old or does not exist. which is not a surprise, as the (unpatched, apparently) ecl used by Debian is not compatible with gcc 15. It's a Debian bug, I think. They can use our patches in build/pkgs/ecl/patches/ to make it work. Dima On Sun, Sep 21, 2025 at 3:47?PM Thierry Dumont wrote: > > Ah... > I am on Debian Forky (sid), up todate. > But as > ./configure -with-system-ecl=no > actually *solved* the problem for both stable and beta-3 versions, I did > not keep the logs... > > t. > > Le 21/09/2025 ? 20:19, Dima Pasechnik a ?crit : > > On Sun, Sep 21, 2025 at 11:04?AM Dima Pasechnik wrote: > > > > Thierry, what Debian are you on? > > Also, could you please post the full log of maxima spkg build, not the > > bottom part only? > > > > I am trying to reproduce this on Debian stable (trixie), with not yet > > announced beta4, but already > > available via git) and it all works there, with system-wide ecl. > > > > However, I see > > > > make[3]: *** No rule to make target > > '/home/dp/sage/pkgs/sage-conf/_sage_conf/_conf.py', needed by > > '/home/dp/sage/local/var/lib/sage/venv-python3.13/var/lib/sage/installed/sage_conf-10.8.beta4'. > > Stop. > > > > It goes away if I do > > > > ./configure --disable-sage_conf > > > > I've also noticed that ./sage -t src/sage/interfaces/fricas.py hangs > > indefinitely (with system-wide fricas installed) > > > > I am running Debian in a podman containter (sort of docker, but open-source). > > That's "podman run -it debian". > > > > Command-wise it's mostly compatible with docker. > > > > > > > >> On Sun, Sep 21, 2025 at 4:34?AM Thierry Dumont > >> wrote: > >>> > >>> After an update of the system, sage (stable and 10.3 beta-8) could no > >>> more be run. > >>> > >>> So, on 10.8 beta 3, I did > >>> > >>> make distclean > >>> ./configure > >>> make reconfigure > >>> make > >>> and I got a problem with maxima: > >>> > >>> The following package(s) may have failed to build (not necessarily > >>> during this run of 'make all-start'): > >>> > >>> * package: maxima-5.47.0 > >>> > >>> Trying again with > >>> > >>> ./configure -with-system-maxima=no > >> > >> try > >> ./configure -with-system-ecl=no > >> > >> The problem is not in Maxima package, but in incompatibility of your > >> system-wide ecl with the current setup. > >> > >> That's definitely something we need to fix soon. > >> > >> > >> > >>> > >>> I got the same message. > >>> > >>> (log file is joined) > >>> > >>> Yours, > >>> Thierry > >>> > >>> -- > >>> You received this message because you are subscribed to the Google Groups "sage-support" group. > >>> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscribe at googlegroups.com. > >>> To view this discussion visit https://groups.google.com/d/msgid/sage-support/b507bcbd-4a3e-47a4-a847-d3d158a3994d%40math.univ-lyon1.fr. > > > > -- > You received this message because you are subscribed to the Google Groups "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscribe at googlegroups.com. > To view this discussion visit https://groups.google.com/d/msgid/sage-support/08ca33b1-8027-46a2-bc63-c07c0225fb36%40math.univ-lyon1.fr. From dimpase at gmail.com Sun Sep 21 23:06:52 2025 From: dimpase at gmail.com (Dima Pasechnik) Date: Sun, 21 Sep 2025 17:06:52 -0500 Subject: [Debian-science-sagemath] [sage-support] problem compiling 10.8 beta-3 on Debien Forky/sid In-Reply-To: References: <08ca33b1-8027-46a2-bc63-c07c0225fb36@math.univ-lyon1.fr> Message-ID: I've submitted https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1115924 On Sun, Sep 21, 2025 at 4:11?PM Dima Pasechnik wrote: > > On Debian Testing with system ecl testing I get > > [maxima-5.47.0] [spkg-install] ;;; Compiling > /home/dp/sage/local/var/tmp/sage/build/maxima-5.47.0/src/src/maxima-package.lisp. > [maxima-5.47.0] [spkg-install] ;;; OPTIMIZE levels: Safety=2, Space=0, > Speed=3, Debug=2 > [maxima-5.47.0] [spkg-install] ;;; > [maxima-5.47.0] [spkg-install] ;;; Internal error: > [maxima-5.47.0] [spkg-install] ;;; ** Error code 1 when executing > [maxima-5.47.0] [spkg-install] ;;; (EXT:RUN-PROGRAM "gcc" ("-I." > "-I/usr/include/" "-Wdate-time" "-D_FORTIFY_SOURCE=2" "-D_GNU_SOURCE" > "-D_FILE_OFFSET_BITS=64" "-g" "-O2" > "-Werror=implicit-function-declaration" > "-ffile-prefix-map=/build/reproducible-path/ecl-24.5.10+ds=." > "-fstack-protector-strong" "-fstack-clash-protection" "-Wformat" > "-Werror=format-security" "-fcf-protection" "-fPIC" "-D_THREAD_SAFE" > "-Dlinux" "-O2" "-c" "binary-ecl/maxima-package.c" "-o" > "binary-ecl/maxima-package.o")): > [maxima-5.47.0] [spkg-install] ;;; In file included from > /usr/include/ecl/ecl.h:81, > [maxima-5.47.0] [spkg-install] ;;; from > /usr/include/ecl/ecl-cmp.h:31, > [maxima-5.47.0] [spkg-install] ;;; from > binary-ecl/maxima-package.c:5: > [maxima-5.47.0] [spkg-install] ;;; /usr/include/ecl/object.h:27:13: > error: 'bool' cannot be defined via 'typedef' > [maxima-5.47.0] [spkg-install] ;;; 27 | typedef int bool; > [maxima-5.47.0] [spkg-install] ;;; | ^~~~ > [maxima-5.47.0] [spkg-install] ;;; /usr/include/ecl/object.h:27:13: > note: 'bool' is a keyword with '-std=c23' onwards > [maxima-5.47.0] [spkg-install] ; - Binary file > binary-ecl/maxima-package.fas is old or does not exist. > > which is not a surprise, as the (unpatched, apparently) ecl used by > Debian is not compatible with gcc 15. > It's a Debian bug, I think. > They can use our patches in build/pkgs/ecl/patches/ to make it work. > > Dima > > On Sun, Sep 21, 2025 at 3:47?PM Thierry Dumont > wrote: > > > > Ah... > > I am on Debian Forky (sid), up todate. > > But as > > ./configure -with-system-ecl=no > > actually *solved* the problem for both stable and beta-3 versions, I did > > not keep the logs... > > > > t. > > > > Le 21/09/2025 ? 20:19, Dima Pasechnik a ?crit : > > > On Sun, Sep 21, 2025 at 11:04?AM Dima Pasechnik wrote: > > > > > > Thierry, what Debian are you on? > > > Also, could you please post the full log of maxima spkg build, not the > > > bottom part only? > > > > > > I am trying to reproduce this on Debian stable (trixie), with not yet > > > announced beta4, but already > > > available via git) and it all works there, with system-wide ecl. > > > > > > However, I see > > > > > > make[3]: *** No rule to make target > > > '/home/dp/sage/pkgs/sage-conf/_sage_conf/_conf.py', needed by > > > '/home/dp/sage/local/var/lib/sage/venv-python3.13/var/lib/sage/installed/sage_conf-10.8.beta4'. > > > Stop. > > > > > > It goes away if I do > > > > > > ./configure --disable-sage_conf > > > > > > I've also noticed that ./sage -t src/sage/interfaces/fricas.py hangs > > > indefinitely (with system-wide fricas installed) > > > > > > I am running Debian in a podman containter (sort of docker, but open-source). > > > That's "podman run -it debian". > > > > > > Command-wise it's mostly compatible with docker. > > > > > > > > > > > >> On Sun, Sep 21, 2025 at 4:34?AM Thierry Dumont > > >> wrote: > > >>> > > >>> After an update of the system, sage (stable and 10.3 beta-8) could no > > >>> more be run. > > >>> > > >>> So, on 10.8 beta 3, I did > > >>> > > >>> make distclean > > >>> ./configure > > >>> make reconfigure > > >>> make > > >>> and I got a problem with maxima: > > >>> > > >>> The following package(s) may have failed to build (not necessarily > > >>> during this run of 'make all-start'): > > >>> > > >>> * package: maxima-5.47.0 > > >>> > > >>> Trying again with > > >>> > > >>> ./configure -with-system-maxima=no > > >> > > >> try > > >> ./configure -with-system-ecl=no > > >> > > >> The problem is not in Maxima package, but in incompatibility of your > > >> system-wide ecl with the current setup. > > >> > > >> That's definitely something we need to fix soon. > > >> > > >> > > >> > > >>> > > >>> I got the same message. > > >>> > > >>> (log file is joined) > > >>> > > >>> Yours, > > >>> Thierry > > >>> > > >>> -- > > >>> You received this message because you are subscribed to the Google Groups "sage-support" group. > > >>> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscribe at googlegroups.com. > > >>> To view this discussion visit https://groups.google.com/d/msgid/sage-support/b507bcbd-4a3e-47a4-a847-d3d158a3994d%40math.univ-lyon1.fr. > > > > > > > -- > > You received this message because you are subscribed to the Google Groups "sage-support" group. > > To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscribe at googlegroups.com. > > To view this discussion visit https://groups.google.com/d/msgid/sage-support/08ca33b1-8027-46a2-bc63-c07c0225fb36%40math.univ-lyon1.fr.