#18859: Update docs to use "make pkgname" instead of "./sage -i pkgname"
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.9
Component: documentation | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers: Ralf Stephan
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/update_docs_to_use__make_pkgname__instead_of____sage__i_pkgname_|
f73faeb3e2cabd8017f83267db1d21543338cbdd
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by jhpalmieri):
Replying to [comment:8 jdemeyer]:
> Replying to [comment:6 tmonteil]:
> > If the current `sage -i` is superseded by `make arb` from `SAGE_ROOT`
> It's not superseded. I still want to support `./sage -i` like before
because
> 1. `./sage -i` works with old-style packages
> 2. `./sage -i` has options like `-f`, `-s`, `-d`
> 3. Sometimes, it might be useful to "just" install a particular package,
without all the `build/install` stuff.
Note that if #19004 gets merged, then item 1 is no longer completely true:
to install an old-style package, I think you would have to download it
manually and then run `sage -i file.spkg`.
Regarding point 3, I feel like the default behavior for `sage -i` should
be to install the prerequisites, and there should be a flag (`--no-deps`?)
to force an installation ignoring its dependencies. What is the downside
to this?
--
Ticket URL: <http://trac.sagemath.org/ticket/18859#comment:15>
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.