When I build the Sage library with the command sage -b somebranch
the library is built, but I get the following error message near the end of the process: ---------- error: /opt/sage/local/include/ppl.hh: No such file or directory sage: There was an error installing modified sage library code. ---------- Is this a known issue? Is this a bug? I am running Sage 4.7.2 on Linux 3.1.4-1 i686 Intel. There are some tickets about the ppl library (for instance http://trac.sagemath.org/sage_trac/ticket/10039), but I didn't find anything specific about this missing file. Gustavo de Oliveira -- 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
