#12655: Update PolyBoRi to release 0.8.1
----------------------------------------------------------------+-----------
Reporter: AlexanderDreyer |
Owner: AlexanderDreyer
Type: enhancement |
Status: needs_review
Priority: major |
Milestone: sage-5.0
Component: packages |
Resolution:
Keywords: | Work
issues:
Report Upstream: None of the above - read trac for reasoning. |
Reviewers: Martin Albrecht, Jeroen Demeyer, Leif Leonhardy
Authors: Alexander Dreyer | Merged
in:
Dependencies: #12656, #12750, #12799 |
Stopgaps:
----------------------------------------------------------------+-----------
Comment (by leif):
Replying to [comment:63 jdemeyer]:
> Replying to [comment:60 AlexanderDreyer]:
> > > Actually only the `pbori` module needs to get rebuilt; while
`touch`ing `$SAGE_LOCAL/include/polybori.h` doesn't help, touching
`$SAGE_LOCAL/include/polybori/*` does (afterwards running `./sage -b`).
> > I'll add this to the spkg.
> I think it's better to change `module_list.py` instead of the spkg.
IIRC the problem isn't only ''which'' files the `pbori` module depends on,
but also that the headers have their original file date from upstream,
i.e., aren't generated during build nor (currently) `touch`ed from `spkg-
install`, such that they'll usually be older than a present `pbori`
module.
If one doesn't want to change the timestamps, one could make the `pbori`
module just (or also) depend on the `.so` (without a version suffix),
since the (target of the) latter will always have a fresh modification
time.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12655#comment:66>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
