In the failing compilation, we have

clang++ --stdlib=libc++ [which is what we want]
    ... -std=c++11 [which comes from brial]
    ... -c BlockDegLexOrder.cc  -fPIC -DPIC -o .libs/BlockDegLexOrder.o

And the error is then
    /usr/include/c++/v1/cxxabi.h:21:10: fatal error: '__cxxabi_config.h'
    file not found
    #include <__cxxabi_config.h>

So, it seems (after some duckduckgoing) that I also need to install
    libc++abi-dev

Hence, I had to install clang, clang-dev, libc++abi-dev so far. These
things should (if clang is supposed to be a serious option for Sage) be
mentioned in the documentation, as prerequisites.

Since I have enough time, I am starting over from scratch (i.e., make
distclean)

Regards,
Simon


On 2018-02-10, Simon King <simon.k...@uni-jena.de> wrote:
> Hi!
>
> After installation of clang-dev, I tried again, but alas, brial failed
> to build again.
>
> Log is at
> http://users.minet.uni-jena.de/cohomology/logs/brial-1.0.1.p2.log
>
> So, I am giving up on it for now.
>
> Best regards,
> Simon
>

-- 
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.

Reply via email to