On Wed, 27 Feb 2013 13:14:46 Pong wrote: > Hi, > > Thanks for the hint. So what would be a possible remedy for that? > I am sorry, I don't have one from the top of my head. I may have to open a ticket for it and cc Volker who maintains the ppl spkg because that's not an easy problem to fix. The compile line is correct as far as I can tell but you definitely get the gmpxx headers from /usr/include. I suspect we need to patch the source to have include statements with " " instead of < >.
Using quotes changes the order in which the include files are searched and that's the only thing I can think of right now. Francois -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
