#12672: Build PPL with its C interface
---------------------------+------------------------------------------------
   Reporter:  SimonKing    |          Owner:  tbd            
       Type:  enhancement  |         Status:  new            
   Priority:  major        |      Milestone:  sage-5.0       
  Component:  packages     |       Keywords:  PPL C interface
Work_issues:               |       Upstream:  N/A            
   Reviewer:               |         Author:  Simon King     
     Merged:               |   Dependencies:                 
---------------------------+------------------------------------------------
 Currently, the standard PPL spkg only builds the C++ interface. However,
 `CLooG-PPL` (see #12666) needs the C-header `ppl_c.h` as well.

 Therefore I suggest to slightly modify the install script of our PPL spkg:

  * Do `make install` instead of `make install-strip` -- I admit that I am
 not sure whether this is needed, and perhaps `make install-strip` yields
 faster code. A reviewer should comment on that.
  * Modify the configuration options, such that the C interface is built.

 '''spkg:'''
 [http://boxen.math.washington.edu/home/SimonKing/SAGE/spkgs/ppl-0.11.2.p2.spkg]

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12672>
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.

Reply via email to