#12666: Optional CLooG-PPL spkg
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: tbd
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: optional packages | Keywords: CLooG PPL
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies: #12672
---------------------------------+------------------------------------------
Changes (by SimonKing):
* status: needs_work => needs_review
Comment:
Replying to [comment:9 jdemeyer]:
> You are missing the configure options
> {{{
> --with-gmp="$SAGE_LOCAL" --with-ppl="$SAGE_LOCAL"
> }}}
>
> If I apply the following patch, CLooG-PPL builds fine (even without the
GMP spkg):
Cool! I just updated my
[http://boxen.math.washington.edu/home/SimonKing/SAGE/spkgs/cloog_ppl-0.15.11.spkg
spkg on boxen.math]
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12666#comment:10>
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.