#18961: upgrade  ECL to 15.3.7
-------------------------------------+-------------------------------------
       Reporter:  dimpase            |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.9
      Component:  packages:          |   Resolution:
  standard                           |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  Dima Pasechnik     |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  b669a434bdf2f91d21254ccf186bc86396dd4909
  u/dimpase/updateecl                |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by fbissey):

 `sage-src` point is that we ship a modified tarball and it helps generate
 it. In my opinion running autoreconf is fair game. You have to remember
 `spkg-src` is not run by the user building sage only by the packager
 providing a new version of the package.

 That being said the change allowed in are only things that are not
 trivial:
  * removal of files (making a smaller tarball, `gap` anyone?)
  * regeneration of script (autoreconf is a case in point if the changes
 are not easily patched back into `configure` and al. It is generally
 cleaner.)

 Whether you want to exercise the second bullet point is at your
 discretion. I didn't for the last `singular` patch, but it was a trivial
 change.

--
Ticket URL: <http://trac.sagemath.org/ticket/18961#comment:5>
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.

Reply via email to