Opened 10 years ago

Last modified 5 years ago

#12666 closed enhancement

Optional CLooG spkg — at Version 4

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: Stopgaps:

Status badges

Description (last modified by jdemeyer)

As much as I understand, some compiler optimizations rely on CLooG (the Chunky Loop Generator) being installed.

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 #12661.


Change History (4)

comment:1 Changed 10 years ago by SimonKing

  • Status changed from new to needs_review

comment:2 Changed 10 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 10 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 10 years ago by jdemeyer

  • Description modified (diff)
Note: See TracTickets for help on using tickets.