Opened 8 years ago

Last modified 3 years ago

#12666 closed enhancement

Optional CLooG-PPL spkg — at Version 8

Reported by: SimonKing Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords: CLooG PPL ISL GCC LTO
Cc: leif Merged in:
Authors: Simon King Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #12672 #12661 Stopgaps:

Description (last modified by SimonKing)

As much as I understand, for building GCC with "graphite" one needs CLooG-PPL (the Chunky Loop Generator) being installed. Note that CLooG plus PPL seems not to be enough

Hence, I suggest to have an optional spkg. At least on openSuse, the straight forward way to make an spkg (no patches, and an spkg-install and spkg-check that just to ./configure --prefix..., make, make install and make check) seems to work.

This is related with #12369, and depends on #12672 and #12661.

spkg: http://boxen.math.washington.edu/home/SimonKing/SAGE/spkgs/cloog_ppl-0.15.11.spkg

Change History (8)

comment:1 Changed 8 years ago by SimonKing

  • Status changed from new to needs_review

comment:2 Changed 8 years ago by SimonKing

I forgot to mention that CLooG needs GMP. Therefore it might be needed to install the spkg from #12661 as well.

comment:3 Changed 8 years ago by SimonKing

It turns out that the gcc package from #12369 can not use this cloog package.

I am not sure whether this is because of wrong sources (there seems to be a difference between cloog and cloog-ppl) or a missing configuration option.

Anyway. With a cloog-ppl package using the options --with-gmp --with-ppl, the gcc package seems to pick up CLooG PPL. I'm afraid I can not post the updated packages, as sage.math seems to be down.

comment:4 Changed 8 years ago by jdemeyer

  • Description modified (diff)

comment:5 Changed 8 years ago by jdemeyer

  • Status changed from needs_review to needs_work

I think you are missing the configure option

--with-gmp-prefix="$SAGE_LOCAL"

comment:6 follow-up: Changed 8 years ago by jdemeyer

(even though CLooG seems to build without that option, which I cannot really explain...)

comment:7 in reply to: ↑ 6 Changed 8 years ago by SimonKing

Replying to jdemeyer:

(even though CLooG seems to build without that option, which I cannot really explain...)

I guess it is since CLooG looks for GMP in the standard location, "standard" being determined by the --prefix="$SAGE_LOCAL" option that I do provide.

Anyway. What is really missing is at least the option --with-ppl, or even a cloog-ppl package with that option.

Since sage.math seems to be down, I can't post either of the two spkgs...

comment:8 Changed 8 years ago by SimonKing

  • Cc leif added
  • Dependencies set to #12672 #12661
  • Description modified (diff)
  • Keywords PPL added
  • Status changed from needs_work to needs_review
  • Summary changed from Optional CLooG spkg to Optional CLooG-PPL spkg

Leif cited 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.

Actually, I found that cloog-0.16.1 does not work, i.e., gcc does not build. Hence, I made a cloog_ppl-0.15.11 spkg, that I suggest to make an optional spkg.

Note: See TracTickets for help on using tickets.