On Mar 13, 10:27 am, Simon King <simon.k...@uni-jena.de> wrote: > Hi Jeroen, > > On 13 Mrz., 10:07, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > > > On 2012-03-13 09:59, Simon King wrote:> I have just installed CLooG, and > > you said that Sage provides PPL. > > > Where did you install CLooG? > > By "install", I meant "install with Yast" (my laptop runs under > openSuse).
Well, for GCC you'll need a specific version (currently / for GCC 4.6.3 and PPL 0.12: CLooG 0.15.11), and if I'm not completely wrong, you have to explicitly specify '--with-ppl' (optionally giving the path prefix where it is installed, if not [directly] below '/usr') when configuring it, since CLooG supports different backends, while GCC requires PPL. GCC (4.6.3) /should/ use (i.e., get built with support for) PPL+CLooG automatically if its 'configure' happens to find suitable versions of both. -leif IMPORTANT NOTE: If you set CFLAGS when [re]building the Sage library, you always HAVE TO add '-fno-strict-aliasing', since Python's CFLAGS (which contain it) get completely dropped in that case, and with strict aliasing rules GCC produces wrong code for (at least a couple of) Cython modules. -- 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
