#12666: Optional CLooG-PPL spkg
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: tbd
Type: enhancement | Status: needs_work
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 jdemeyer):
* status: needs_review => needs_work
* dependencies: #12672 #12661 => #12672
Comment:
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):
{{{
#!diff
diff -r 93c792cfd365 spkg-install
--- a/spkg-install Wed Mar 14 08:12:41 2012 +0100
+++ b/spkg-install Thu Mar 15 14:46:53 2012 +0100
@@ -10,7 +10,7 @@
SAGE_CONF_OPTS="--enable-shared --disable-static"
cd src
-./configure --libdir="$SAGE_LOCAL/lib" --prefix="$SAGE_LOCAL" --with-gmp
--with-ppl $SAGE_CONF_OPTS
+./configure --libdir="$SAGE_LOCAL/lib" --prefix="$SAGE_LOCAL" --with-
gmp="$SAGE_LOCAL" --with-ppl="$SAGE_LOCAL" $SAGE_CONF_OPTS
$MAKE
if [ $? -ne 0 ]; then
echo "Error building CLooG PPL."
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12666#comment:9>
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.
