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