On Tue, Jul 26, 2022 at 8:24 AM Nils Bruin <nbr...@sfu.ca> wrote: > > On Monday, 25 July 2022 at 12:53:08 UTC-7 Matthias Koeppe wrote: >> >> Have you tried the existing instructions that I pointed you to? > > > I have now. I'm stuck on running configure. > > * the ./configure command suggested doesn't work in my bash. I'm getting: > bash: unexpected EOF while looking for matching `)' > > Instead I split it up a bit: > $ for pkg in $(./sage -package list :standard: \ > --has-file spkg-configure.m4 \ > --has-file distros/conda.txt); do > echo --with-system-$pkg=force; done > with > $ ./configure --with-python=$CONDA_PREFIX/bin/python --prefix=$CONDA_PREFIX > `cat with` > That seemed to succeed in running configure, but resulted in an error: > configure: error: > > Given --with-system-eclib=force, but no system package could be used. > That's an error. Please install the indicated package to continue. > (To override this error, use ./configure --without-system-eclib) > Given --with-system-primesieve=force, but no system package could be used. > That's an error. Please install the indicated package to continue. > (To override this error, use ./configure --without-system-primesieve) > Given --with-system-primecount=force, but no system package could be used. > That's an error. Please install the indicated package to continue. > (To override this error, use ./configure --without-system-primecount)
this says that conda is behind Sage in regard of versions of eclib and primesieve/count > > -- > 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/f432a44d-fa4b-4ae9-855c-91219258f2bcn%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/CAAWYfq3bUXCivTEz7tmJSXnVf9auBQtg_bDPfOYmiKUX4EPaHA%40mail.gmail.com.
