Hi Tobias.
On Wed, Apr 24, 2013 at 02:47:06PM +0200, Tobias Hansen wrote:
> On 04/24/2013 11:46 AM, Felix Salfelder wrote:
> >part of my proposal is
> >to make it possible to just install sage ("the distribution") skipping
> >everything but the core modules and the notebook.
>
> So your plan is to make it possible to run configure and make for
> each directory in <git-repo>/src separately
yes.
> but since we want to
> build all of Sage the program
not from that source package. the notebook is a part of sage ("the
program") but not part of <gitrepo>/src. it's currently part of sage
("the distribution"). i think sage ("the program") should be implemented
as a flavor of sage ("the distribution").
sage-notebook is an almost trivial-to-package python-module with its own
source package. we shouldn't change that.
> you will also allow doing that in one
> go (described in the quoted text)
yes, that would be sage ("the distribution"). this will also take care
about foreign modules. foreign modules, their build systems and the
corresponding glue code have nothing to do with debian and will be
excluded.
> and use that to avoid multiple
> invocations of configure and make in debian/rules?
debian rules will have to walk through all modules (if we stick to one
source package). that's what sage ("the distribution") will have to do
as well (and currently does, in an unspecified way).
an extra configure script in between will never meet all requirements
and finally bitrot. this will cause sage ("the distribution") not use it
when adding/changing submodules and we are back to start.
> I find this is
> still a bit unclear in your proposal draft.
i hope it's clear now. i'll add it to the next version of my proposal.
regards
felix
--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
