On Sun, May 08, 2016 at 03:17:44PM -0700, Volker Braun wrote:
> The intended way to customize this is to create your own sage-debian.yaml 
> where you modify the build instructions as you want them:
> 
> build: |
>     export SAGE_FAT_BINARY=yes
>     export SAGE_PARALLEL_SPKG_BUILD=yes
>     export MAKE='make -j{ncpu}'
>     make
>     git gc --aggressive --prune=now
> 
> 
> Then "make package-sage-debian" will build that.

OK thanks for the hint, i will try that way for the next release.

Ciao
Thierry


> 
> 
> 
> On Sunday, May 8, 2016 at 11:52:20 PM UTC+2, Thierry (sage-googlesucks@xxx) 
> wrote:
> >
> > Hi, 
> >
> > i have to witness that for Sage Debian Live, i currently have to fork the 
> > behaviour of "sage -bdist" to continue maintain the live. Indeed, it is 
> > still not clear to me how to use the new binary-pkg to package a 
> > customized sage install. To let the key be self-contained, i install most 
> > optional packages (+some experimental), and also some popular pip packages 
> > (at least the standard scipy stack) before building the binary tarball. 
> >
> > What are the steps to achieve that with binary-pkg to get a relocatable 
> > customized build ? 
> >
> > Ciao, 
> > Thierry 
> >
> >
> 
> -- 
> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to