On Mar 14, 10:25 am, Simon King <simon.k...@uni-jena.de> wrote:
> On 14 Mrz., 10:17, Simon King <simon.k...@uni-jena.de> wrote:
>
> > The first thing I tried was CLooG 0.17.0, not using --with-ppl. That
> > has not been enough for your gcc spkg.
>
> To be precise:
> PPL with C interface and CLooG 0.17.0 not using --with-ppl => no
> success
> Adding CLooG-PPL 0.15.11 not using --with-ppl => no success
> Adding CLooG-PPL 0.15.11 using --with-ppl => success
> Adding CLooG 0.17.0 using --with-ppl => still success, but I am not
> sure if this is an artefact of the previous step.
>From the GCC prerequisites page:
CLooG-PPL version( 0.15 or CLooG 0.16
Necessary to build GCC with the Graphite loop optimizations. There
are two versions available. CLooG-PPL 0.15 as well as CLooG 0.16. The
former is the default right now. It can be downloaded from
ftp://gcc.gnu.org/pub/gcc/infrastructure/ as cloog-ppl-0.15.tar.gz.
CLooG 0.16 support is still in testing stage, but will be the
default in future GCC releases. It is also available at
ftp://gcc.gnu.org/pub/gcc/infrastructure/ as cloog-0.16.1.tar.gz. To
use it add the additional configure option --enable-cloog-backend=isl.
Even if CLooG 0.16 does not use PPL, PPL is still required for
Graphite.
In both cases --with-cloog configure option should be used if
CLooG is not installed in your default library search path.
Note that there are a couple of 0.15.x and 0.16.x versions floating
around; e.g. CLooG-PPL 0.15.9 doesn't work with PPL 0.11 or 0.12 just
because its 'configure' script expects *exactly* PPL version 0.10; as
mentioned, the latest 0.15.x version of CLooG-PPL (0.15.11) works with
both PPL 0.11 and 0.12, provided you specify (at least) '--with-ppl'.
(Otherwise 'configure' searches for and finds PPL, but doesn't use it
for whatever reason..., but we'd use '--with-ppl=$SAGE_ROOT/local'
anyway.)
So what we currently need is CLooG-PPL 0.15.11, and a suitable version
of PPL. (I'm not 100% sure that PPL 0.11.2, the version currently
shipped with Sage, works, but /I think/(tm) it will...)
-leif
--
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
