#16105: Stop linking everything to libntl
-------------------------------------+-------------------------------------
Reporter: darij | Owner:
Type: defect | Status: needs_review
Priority: blocker | Milestone: sage-6.2
Component: build | Resolution:
Keywords: ntl, crash | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/ticket/16105 | b8a96a49dd23f420b2b6cc45553cb2e9b812d27a
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by leif):
Replying to [comment:16 jdemeyer]:
> Replying to [comment:15 leif]:
> > Not sure why you want all extension modules to depend on `setup.py`
> Well, it is needed at least to fix all modules currently linked to an
old version of NTL: all these need to be relinked.
Haha, a one-time dependency. So you're going to remove it again in some
of the next betas?
> > (makes sense of course, but will also trigger frequent rebuilds of the
''whole'' Sage library);
> I doubt it, that file isn't changed so frequently.
So you're not going to let them depend on `module_list.py` also?
(I frequently hate myself for making all targets depend on the Makefile;
similar issue.)
[[BR]]
Probably Volker should mention `env SAGE_UPGRADING=yes make build` in the
release announcements for a while. (Doing `./sage -ba-force` afterwards
should no longer be necessary once this ticket is merged, hopefully...)
Would save him a couple of `make distclean && make` replies, too.
--
Ticket URL: <http://trac.sagemath.org/ticket/16105#comment:17>
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.
