Dear all, Thank you very much for your answers. I can now understand that I was building incrementally, but I do not understand what was the issue.
Finally, after many attempts, what was successful was: >sudo make distclean and then >make build I am not sure why the sudo was necessary, but its omission led to failures in the distclean (because of rights management). As I am not used to distclean, I did not understand at first that "make distclean" alone was not successful. Thank you again. Tristan -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
