On Fri, Sep 20, 2019 at 9:33 AM François Bissey <
frp.b...@gmail.com> wrote:
>
> I’d say it is missing libstdc++ because it is linked with clang. But this is strange
> CXX should be used according to the Makefile of flint. Do you do accidental patching
> to CC or do you somehow pass CXX=clang to flint?
hmm, cannot reproduce it, after installing a Safari (browser - yes!) update...
It works again. Perhaps I somehow broke a particular shell session,
dunno. The usual Apple wtf... :-(
> To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/130B804D-22EF-4A82-9EE6-BF5191C57DFF%40gmail.com.