Hi Jeroen, On 14 Mrz., 09:27, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > On 2012-03-14 07:24, Simon King wrote:> * CLooG needs GMP. > > Are you sure it doesn't work with MPIR?
When I first tried to install CLooG, then it failed and told me that GMP is missing. That's why I said GLooG needs GMP. However, I could imagine that it would have worked with some configuration option for CLooG, such as --with-mpir. Anyway. It could be that cloog is actually not enough; there also is a cloog-ppl package. What I can say is: If the ppl spkg is built with C interface and the update of the gmp spkg is installed and cloog-ppl is built with the configuration option --with-ppl (yes, cloog-ppl still needs the option --with-ppl, believe it or not), then your gcc package can use CLooG PPL. Perhaps the gcc package would also be happy if one just had cloog with the option --with-ppl (cloog is different from cloog-ppl). Since I now have both cloog and cloog-ppl installed in my version of sage-5.0.beta7, I can't be sure. Unfortunately it seems that sage.math is still down, so that I can't post the update of the standard ppl spkg (enabling C interface, not just C++), the update of my cloog spkg (see #12666) and my new cloog- ppl spkg (will be posted at #12666 as well). Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
