Re: [sage-release] Re: Sage 8.2.beta5 released

> On 11/02/2018, at 10:36, Simon King wrote: > >> >> Ubuntu is probably the most used distro if someone can wipe up some >> instructions >> on what to install that would help greatly. > > Well, so far I was installing clang, clang-dev and libc++abi-dev. The > latter

[sage-release] Re: Sage 8.2.beta5 released

Hi François, On 2018-02-11, François Bissey wrote: > It looks like you may have to provide the include path to __cxxabi_config.h. > I don’t know where ubuntu installs it. On Gentoo libcxx is configured at build > time with the right location with the “USE” variable I

Re: [sage-release] Re: Sage 8.2.beta5 released

On Saturday, February 10, 2018 at 2:09:58 PM UTC, Ralf Stephan wrote: > > Also clang-5.0.0 cannot compile ppl. clang-3.8 and 4.0.1 are fine. > https://trac.sagemath.org/ticket/24704 > I think I reported this on PPL bug tracker some time ago... > > > On Sat, Feb 10, 2018 at 2:52 PM Ralf

[sage-release] Re: Sage 8.2.beta5 released

Hi François, On 2018-02-10, François Bissey wrote: > * if you switch from clang+libstdc++ to clang+libc++ (or libcxx depending on > your distro) How can I find out which one I have to use? In all my failing attempts, I tried clang+libc++. > Ubuntu is probably the most

Re: [sage-release] Re: Sage 8.2.beta5 released

I am sorry to have cause everyone who wanted to try it on linux so much grief. To summarise * you need to build from scratch * clang using libstdc++ from gcc appears to have problems - at the moment I don’t know if it is just because the gcc in question is too old or that’s a no go. * if you

Re: [sage-release] Sage 8.2.beta5 released

> On 10/02/2018, at 12:07, Justin C. Walker wrote: > >> >> On Feb 9, 2018, at 00:25 , Volker Braun wrote: >> >> As always, you can get the latest beta version from the "develop" git >> branch. Alternatively, the self-contained source tarball is at >>

Re: [sage-release] Sage 8.2.beta5 released

> On 11/02/2018, at 19:57, François Bissey wrote: > > > >> On 10/02/2018, at 12:07, Justin C. Walker wrote: >> >>> >>> On Feb 9, 2018, at 00:25 , Volker Braun wrote: >>> >>> As always, you can get the latest beta version from

Re: [sage-release] Re: Sage 8.2.beta5 released

> On 10/02/2018, at 22:02, Simon King wrote: > > On 2018-02-10, François Bissey 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

[sage-release] Re: Sage 8.2.beta5 released

Hi François, On 2018-02-10, François Bissey wrote: > I’d recommend to work on a separate clone. It is what I have done > on my Gentoo linux box. This is what I did now. It is still in the process of building. Will the SageMath installation recall that it was installed

[sage-release] Re: Sage 8.2.beta5 released

On 2018-02-10, Simon King wrote: > Hi François, > > On 2018-02-10, François Bissey wrote: >> I’d recommend to work on a separate clone. It is what I have done >> on my Gentoo linux box. > > This is what I did now. It is still in the process of

Re: [sage-release] Re: Sage 8.2.beta5 released

> On 10/02/2018, at 21:25, Simon King wrote: > > Here are reports that with clang things won't work in different ways > (e.g., IIUC, segfaults in linbox on openSuse). Does that mean clang is > buggy resp. not mature enough, or does that mean clang uncovers real > bugs

Re: [sage-release] Re: Sage 8.2.beta5 released

FWIW for me as Pynac dev clang has far superior diagnostics and refactoring tools. From other programs I can confirm a speedup of compiled source of at least 5%. On Sat, Feb 10, 2018 at 9:55 AM François Bissey wrote: > > > > On 10/02/2018, at 21:44, Simon King

[sage-release] Re: Sage 8.2.beta5 released

Hi, I'd like to get some information. On 2018-02-09, François Bissey wrote: >> On 9/02/2018, at 23:03, Ralf Stephan wrote: >> >> So how to use clang on Linux? *Why* to use clang in the first place? I am not familiar with it, so I'd appreciate if you

Re: [sage-release] Re: Sage 8.2.beta5 released

Simon do you have libc++ system-installed and given CXX='clang++ --stdlib=libc++' ? On Sat, Feb 10, 2018 at 1:15 PM Simon King wrote: > On 2018-02-10, Simon King wrote: > > On 2018-02-10, Simon King wrote: > >> Hi

[sage-release] Re: Sage 8.2.beta5 released

Hi Ralf, On 2018-02-10, Ralf Stephan wrote: > Simon do you have libc++ system-installed and given CXX='clang++ > --stdlib=libc++' ? No, I followed the previous advice to give CC=clan CXX=clan++. Does that mean I should make distclean and start again from scratch? Best

[sage-release] Re: Sage 8.2.beta5 released

On 2018-02-10, Ralf Stephan wrote: > Also clang-5.0.0 cannot compile ppl. clang-3.8 and 4.0.1 are fine. > https://trac.sagemath.org/ticket/24704 According to my log, ppl-1.2 was built fine. But I guess that's because I have clang version 3.8.0-2ubuntu4 (tags/RELEASE_380/final)

Re: [sage-release] Re: Sage 8.2.beta5 released

Welcome to the bleeding edge. I'm afraid it won't work without --stdlib=libc++. Also with that I get a linking error: Done cleaning. Traceback (most recent call last): File "/home/ralf/sage/src/bin/sage-eval", line 4, in from sage.all import * File

[sage-release] Re: Sage 8.2.beta5 released

Hi Ralf, On 2018-02-10, Ralf Stephan wrote: > Simon do you have libc++ system-installed and given CXX='clang++ > --stdlib=libc++' ? How would I check whether I have libc++ installed? Resp. how would I install it? sudo apt-get install libc++ gives loads of errors. Best

[sage-release] Re: Sage 8.2.beta5 released

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

Re: [sage-release] Re: Sage 8.2.beta5 released

> On 11/02/2018, at 00:02, Simon King wrote: > >> s is what I did now. It is still in the process of building. > > While it was building, I noticed lines such as > [python_openid-2.2.5.p0] Found candidate GCC installation: > /usr/bin/../lib/gcc/i686-linux-gnu/5.4.0

[sage-release] Re: Sage 8.2.beta5 released

Hi Ralf, On 2018-02-10, Ralf Stephan wrote: > FWIW for me as Pynac dev clang has far superior diagnostics and refactoring > tools. From other programs I can confirm a speedup of compiled source of at > least 5%. Interesting. In threads from 2013, I also found that clang had

[sage-release] Re: Sage 8.2.beta5 released

On 2018-02-10, Simon King wrote: > On 2018-02-10, Simon King wrote: >> Hi François, >> >> On 2018-02-10, François Bissey wrote: >>> I’d recommend to work on a separate clone. It is what I have done >>> on my Gentoo linux box.

Re: [sage-release] Re: Sage 8.2.beta5 released

> On 10/02/2018, at 23:49, Simon King wrote: > > Hi François, > > On 2018-02-10, François Bissey wrote: >> I’d recommend to work on a separate clone. It is what I have done >> on my Gentoo linux box. > > This is what I did now. It is still in

Re: [sage-release] Re: Sage 8.2.beta5 released

The linking error with --stdlib=libc++ persists. It appears ntl_ZZ.so is built with both libstdc++ and libc++: ralf@ark:~/sage/pynac> ldd /home/ralf/sage/local/lib/python2.7/site-packages/sage/libs/ntl/ntl_ZZ.so linux-vdso.so.1 (0x7ffc8f3f1000) libntl.so.33 =>

Re: [sage-release] Re: Sage 8.2.beta5 released

You're missing a devel system package. I have it in clang-devel and libc++-devel. On Sat, Feb 10, 2018 at 4:41 PM Simon King wrote: > On 2018-02-10, Ralf Stephan wrote: > > The linking error with --stdlib=libc++ persists. It appears ntl_ZZ.so is > >

[sage-release] Re: Sage 8.2.beta5 released

Hi Ralf, On 2018-02-10, Ralf Stephan wrote: > You're missing a devel system package. I have it in clang-devel and > libc++-devel. I have libc++-devel (because it seems to be the only "libc++" available for ubuntu). But clang-devel isn't known to apt-get. I'll try to search

[sage-release] Re: Sage 8.2.beta5 released

On 2018-02-10, Ralf Stephan wrote: > The linking error with --stdlib=libc++ persists. It appears ntl_ZZ.so is > built with both libstdc++ and libc++: At least while building, ntl did not complain, see http://users.minet.uni-jena.de/cohomology/logs/ntl-10.3.0.log However,

[sage-release] Re: Sage 8.2.beta5 released

On 2018-02-10, Simon King wrote: > I'll try to search for "clang-devel ubuntu". No real success, except for some very complicated procedures given at https://askubuntu.com/questions/309786/llvm-and-clang-installation-on-ubuntu and lots of stuff that isn't mentioning

Re: [sage-release] Re: Sage 8.2.beta5 released

I installed clang on my ubuntu laptop. I use synaptic ( a front-end for apt & co) for installing stuff as it's easier to search. There's a package "clang" and I have clang-3.8 installed as well as libclang-common-3.8-dev (and there are others like tthat with 3.8 replaced by other versions), also

[sage-release] Re: Sage 8.2.beta5 released

Dear John, On 2018-02-10, John Cremona wrote: > I installed clang on my ubuntu laptop. I use synaptic ( a front-end for > apt & co) for installing stuff as it's easier to search. Thanks a lot! When searching for clang-devel in synaptic, I was pointed to libclang-dev

[sage-release] Re: Sage 8.2.beta5 released

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'