@Isuru: Thanks a lot for the tip! I upgraded Xcode and managed to install from the development source. I assume it will also work from the stable source.
Valentin > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/7aa9931d-7f2e-4a35-b1f3-6f94f93b5bed%40googlegroups.com.
