#18546: Make arb a standard package
-------------------------------------+-------------------------------------
Reporter: mmezzarobba | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.10
Component: packages: | Resolution:
standard | Merged in:
Keywords: | Reviewers: Clemens Heuberger,
Authors: Marc Mezzarobba, | Marc Mezzarobba
Clemens Heuberger | Work issues:
Report Upstream: N/A | Commit:
Branch: | e2d393b9bb23ee2b20767b0e16cddaadff9cb059
u/mmezzarobba/18546-arb-std | Stopgaps:
Dependencies: #19280 |
-------------------------------------+-------------------------------------
Comment (by cheuberg):
Replying to [comment:49 jdemeyer]:
> You need to add `arb` as dependency for the Sage library in
`build/make/deps`.
I'll try that soon (currently, I have no sage available due to
recompilation).
What I tried up to now:
1. I checked out this ticket, ran `make distclean` and then `make`. This
resulted in a version of sage ''with'' `arb`.
2. I checkout out plain `6.10.beta0`, ran `make distclean` and then
`make`, obviously resulting in a version without `arb`.
3. I checked out this ticket, ran `./configure` and `make`. Now everything
is recompiling (''including'' arb), however, `git diff` does show empty
output, so while this would solve the problem for me, I cannot push it to
the ticket.
What I do not understand: why is it necessary to add `arb` to
`build/make/deps` for an existing version while it is unnecessary for a
fresh install or for people running `./configure`?
--
Ticket URL: <http://trac.sagemath.org/ticket/18546#comment:50>
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.
