Hi Volker,
Inline-repies this time:
On Mon, Jun 16, 2014 at 1:49 PM, Volker Braun <vbraun.n...@gmail.com> wrote:
> For the record, Sage build a lot slower to build if you build packages one
> after the other.
>
That's good to know. We're doing our best to get hashdist in shape for
generating relocatable binary builds. This should have a much bigger
impact on build times than the level of parallelism offered in compiles,
since users could specify what packages they want and then just have them
downloaded for their given operating system (assuming somebody has taken
the time to generate and cache their build dependencies somewhere public).
> So hashdist packages can sort of change how they are built by inheriting
> ("extends:"). But can we override / extend:
> * source download (to use the Sage mirror network)
>
Yes. There's a concept of a source cache where all git repositories and
tarballs are stored. You can have as many mirrors as you like. I don't
have a public one that I can show you right now. It follows the same
directory structure as the local directory source cache (which lives by
default in ~/.hashdist/src) and can be simply rsycned up to create.
> * the hash computation for the source? What if I want to install
> files/directories directly from the repository?
>
I don't understand this question.
Is there a way to skip the Nix versioned directories stuff and instead just
> install directly into the destination tree? Because thats what we do now,
> and changing the build system and 50 package build scripts at the same time
> is not really feasible.
>
The 'hit develop' command will copy built trees over into the target
profile directory. I suppose we could modify the develop command so that
it allows users to skip the build cache, but it is very convenient to have
the individual builds in their own directories for a number of reasons, and
we haven't had a request for this particular feature yet.
A
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
