Hi Leif, hi all, On 14 Mrz., 05:47, leif <not.rea...@online.de> wrote: > ... > PPL is also part of Sage
But then, GCC can not use CLooG/PPL (I have tried). I was told that it is because of a missing header. The header is easy to get, though: The current (standard) ppl spkg only builds the c++ interface, but not the c interface. In order to build it, one just needs to add two letters to ppl's spkg-install. Here is my experience, so far: * CLooG needs GMP. The optional GMP spkg is broken (at least on openSuse), even though it is massively patched, to address problems on various platforms. I suggest to upgrade the optional GMP spkg to the latest upstream release: For me, it works WITHOUT patches and passes all self test. See #12661. * After installing GMP, installation of CLooG works. I created an spkg, based on unpatched upstream sources. See #12666. * The PPL spkg needs to be slightly changed, so that it provides ppl_c.h (currently, it only provides ppl.hh). I've tried it locally, there is no ticket yet. * Then, the new GCC spkg installs fine -- but it can *still* not use CLooG/PPL!! The install log of the package says: checking for installed CLooG PPL Legacy... no In other words, building the PPL with C interface is not enough. > P.P,S.: I suggested offering an optional GCC spkg (and provided an > experimental 4.5.1 one IIRC) last year; the feedback was less > positive... :-) I guess one important difference is that we have now the trouble with OS X, that might be solvable with a GCC spkg. 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
