#12666: Optional CLooG-PPL spkg
-------------------------------------+-------------------------------------
       Reporter:  SimonKing          |        Owner:  tbd
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-
      Component:  packages:          |  duplicate/invalid/wontfix
  optional                           |   Resolution:
       Keywords:  CLooG PPL ISL GCC  |    Merged in:
  LTO                                |
        Authors:  Simon King         |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
   Dependencies:  #12672             |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by leif):

 * status:  needs_info => needs_review
 * keywords:  CLooG PPL => CLooG PPL ISL GCC LTO
 * milestone:  sage-6.4 => sage-duplicate/invalid/wontfix


Comment:

 Replying to [comment:14 fbissey]:
 > Should we obsolete this? Recent gcc still use cloog but with isl instead
 of ppl. Plus we upgraded ppl to 1.1 I don't think anyone patch cloog
 anymore to interface with ppl after 0.12.x. gcc was the main consumer of
 that.

 More than two and a half years later...

 I think we can close this, as while GCC 4.9 still uses CLooG and ISL, GCC
 5.x and 6.x have dropped CLooG and now only use ISL (if at all, i.e., with
 `--enable-lto`).

 \\

 Feel free to open a new ticket making ISL an optional package.

--
Ticket URL: <https://trac.sagemath.org/ticket/12666#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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to