Hi, thanks for the answer.
On Tue, May 26, 2020 at 04:01:15PM +0100, Dima Pasechnik wrote: [...] > yes, this would install everything in <packages list> (assumning there > are no contradicting options > such as mpir vs gmp, no dependencies --- which is actually the biggest > problem in this, as deps can't be easilty controlled with a plain list > of packages--- etc), but would be slower than first building the > string to call ./configure with, > then calling configure once, and finally "make build" once. I am not sure to understand: the build/pkgs/*/dependencies files are not taken into account in that build process ? What wrong could happen with dependencies ? > It might fail at some point, but your loop might fail just as well, right? Yes, i want the procedure to stop when there is a failure, while keeping what was done until then, i do not want parallel build for optional packages. > yes, or, better if foo won't build you can > > ./configure --disable-foo > > to get rid of exactly the request to build foo. > So in your loop you may have a check for the condition of > `make build` and call > ./configure --disable-${i} > if it failed. > OK, i will disable packages once they are built. Ciao, Thierry > > there is also a funtionality of tox available fot testing things, but > I am not familiar with it. > > HTH > Dima > > > > > > > > > Also, what should i do if i want to run self tests at the same time ? I > > used to do: > > > > sage -i -c foo > > > > is there a ./configure replacement for that ? > > no, but there is always > > export SAGE_CHECK=yes > > to effect package's self-tests > > > > > > Ciao, > > Thierry > > > > [1] > > https://trac.sagemath.org/query?keywords=~sdl&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&order=priority > > > > -- > > 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/20200526134643.p7z3gxhirpr5e5ds%40metelu.net. > > -- > 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/CAAWYfq0pCH0dhxqTAQ-R_HS0v7ZEE36jMLFCY%2B--EhdzF7mA-A%40mail.gmail.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/20200526155548.yssafewdulplik7a%40metelu.net.