#15738: upgrade eclib to version 20140126
-------------------------------------+-------------------------------------
Reporter: cremona | Owner: cremona
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.1
Component: packages: | Resolution:
standard | Merged in:
Keywords: eclib | Reviewers: Jeroen Demeyer
Authors: John Cremona | Work issues:
Report Upstream: N/A | Commit:
Branch: | ded0c84c464bdecc63cd28a1ccbaa99c84c0ce6a
u/jdemeyer/ticket/15738 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:16 cremona]:
> I'll look into all this... but gmp (or mpir) definitely is an indirect
dependency (try ldd local/lib/libec.so or ldd local/bin/mwrank) but it
is hidden in the sense that I explicitly use NTL and FLINT which
themselves use gmp. Because of this I was told some time last year I
should remove gmp from eclib's official dependency list, which I did but
the install script did not change accordginly.
>
> Peronally I think it is more useful to people if the dependencies are
list of packages which need to be installed before building eclib, but I
suppose if I really meant that I would need to include a lot more system
libraries etc so that would be silly.
It's hard to say what's best. Personally, I would vote to keep the
GMP/MPIR dependency explicit and keep the `--with-gmp` option as before.
But for Sage it doesn't really matter, you just need to make `spkg-
install` and upstream consistent.
--
Ticket URL: <http://trac.sagemath.org/ticket/15738#comment:18>
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/groups/opt_out.
