Hi Leif, hi all,

On 15 Mrz., 04:13, leif <not.rea...@online.de> wrote:
> 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...)

I installed
* a modified PPL 0.11.2 spkg, that also installs a C interface,
* a CLooG-PPL 0.15.11 spkg
* a modified gcc 4.6.3 spkg, that builds gcc with graphite. TODO:
Attempt to build graphite only if CLooG-PPL is present.

I defined
 CFLAGS="-O3 -march=native -floop-interchange -floop-strip-mine -floop-
block -fno-strict-aliasing"
 export CFLAGS
 CXXFLAGS="-O3 -march=native -floop-interchange -floop-strip-mine -
floop-block -fno-strict-aliasing"
 export CXXFLAGS

And then I rebuilt all of Sage (not only sage -ba, I rebuilt all
spkgs). I did not run the test suite yet, but the compilation in this
high optimization went smoothly on my openSuse laptop, and Sage
starts.

I am looking forward to the total time required for running sage -
testall compared with and without optimization!

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

Reply via email to