#18748: Python library to bootstrap Sage
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: defect | Status: needs_work
Priority: blocker | Milestone: sage-6.8
Component: build | Resolution:
Keywords: | Merged in:
Authors: Volker Braun | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/python_library_to_bootstrap_sage|
0acf070e6d86df8f5dcc62f0751002631cbce9d8
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:23 vbraun]:
> You didn't complain about `sage-download-file` being in `src/bin/`, so
why complain now?
We currently have only 1 place to put scripts and that's in
`$SAGE_ROOT/src/bin`. You're creating a second place, so it makes to think
what is the best location. After this ticket is merged, we should move
more scripts to `sage_bootstrap/bin`, in particular `sage-spkg` and maybe
even `$SAGE_ROOT/build/install` and `$SAGE_ROOT/build/pipestatus`. If
`sage_bootstrap` would be in `$SAGE_ROOT/build`, that would lead to a
clean separation of the complete build system for packages in
`$SAGE_ROOT/build`.
I always found it awkward that we have a top-level `Makefile` calling a
scipt `build/install` running make on `build/Makefile` which then runs
`src/bin/sage-spkg` which in turn runs `build/pkgs/*/spkg-install`. That's
a mess. This ticket creates an opportunity to start cleaning this up,
let's do it right from the beginning.
--
Ticket URL: <http://trac.sagemath.org/ticket/18748#comment:25>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
