> On 10/02/2018, at 22:02, Simon King <simon.k...@uni-jena.de> wrote: > > On 2018-02-10, François Bissey <frp.bis...@gmail.com> wrote: >> I’d recommend to work on a separate clone. It is what I have done >> on my Gentoo linux box. I don’t know the state of clang on ubuntu >> but it is better to have it configured to use libc++ instead of >> libstdc++ from gcc. > > How? By doing > CC=clang CXX=clang++ make -stdlib=libc++ > or what?
It depends on how clang was built and packaged mostly, so hopefully just CC=clang CXX=clang++ make is enough. François -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
