@Dima, thanks, I know that though. Nevertheless, I now started from anew (that is I removed the sage directory and git-cloned sage to make sure that there are no remains causing trouble). After running configure, the script suggests to `sudo pacman -S eclib fflas-ffpack linbox nauty singular`. However, all these packages are installed: `pacman -Q eclib fflas-ffpack linbox nauty singular` returns eclib 20240408-1 fflas-ffpack 2.5.0-1 linbox 1.7.0-1 nauty 1:2.8.8-2 singular 4.3.2.p16-1
The possibly relevant snippets of the config.log are [...] It was created by Sage configure 10.4.beta3, which was generated by GNU Autoconf 2.72. Invocation command line was $ ./configure --enable-bliss --enable-cbc --enable-csdp --enable-dsdp --enable-gap_p ackages --enable-libnauty --enable-mcqd --enable-msolve --enable-pari_galpol --enable- scip --enable-scip_sdp --no-create --no-recursion [...] hostname = wma7117 uname -m = x86_64 uname -r = 6.8.5-arch1-1 uname -s = Linux uname -v = #1 SMP PREEMPT_DYNAMIC Thu, 11 Apr 2024 01:47:33 +0000 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown /usr/bin/hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /home/mueller/.codon/bin/ PATH: /home/mueller/.codon/bin/ PATH: /home/mueller/local/copt/bin/ PATH: /usr/local/sbin/ PATH: /usr/local/bin/ PATH: /usr/bin/ PATH: /usr/bin/site_perl/ PATH: /usr/bin/vendor_perl/ PATH: /usr/bin/core_perl/ PATH: /home/mueller/local/bin/ PATH: /home/mueller/Adm/local/bin/ PATH: /home/mueller/local/gurobi/linux64/bin/ and ## Checking whether SageMath should install SPKG singular... ## ## --------------------------------------------------------- ## configure:49864: checking whether any of gmp ntl flint readline mpfr cddlib is installed as or will be installed as SPKG configure:49869: result: yes; install singular as well configure:50085: no suitable system package found for SPKG singular dim...@gmail.com schrieb am Freitag, 19. April 2024 um 12:08:01 UTC+2: > On Fri, Apr 19, 2024 at 02:28:13AM -0700, 'Peter Mueller' via sage-devel > wrote: > > I just figured out that the installation from source (even with the > > explicit configure option `--with-system-singular`) on an up to date > arch > > linux machine ignores the installed singular (`pacman -Q singular` > returns > > `singular 4.3.2.p16-1`). Not sure if it is a path problem that makes the > > configure script fail to detect the singular installation. > The 1st thing 1st, > if your source install already has singular built, you need to uninstall > it, for ./configure to pick up the system-wide one. > > if you post your config.log we can tell you more on why it goes wrong. > > Dima > > > > > Antonio Rojas schrieb am Donnerstag, 18. April 2024 um 09:03:22 UTC+2: > > > > Works fine with system singular 4.3.2.p16 too, so this may be a bug in > that > > particular Singular version. > > > > El jueves, 18 de abril de 2024 a las 6:02:53 UTC+2, Kwankyu Lee escribió: > > > > No problem with Singular 4.3.2 included in sage (on mac). > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/a671ea8e-e0c5-4dbe-9510-5139c9bb24ffn%40googlegroups.com > . > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/34606b3f-1e8e-4bc4-ae6e-70c0c6a2958bn%40googlegroups.com.
