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 provided.
> So you may have t
> 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 the "develop" git
>>> branch. Alternatively, the self-contain
> 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
>> http://www.sagemath.org/download-latest
> 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 was in order to get __cxx
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 Steph
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 used distro if someone can
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 switc
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'
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 Gr
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 (not -devel). I installed i
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
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 ubuntu.
So, probably time to
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 for "clang-devel ubun
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
> > built with both libstdc++ and libc++:
>
> At
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, this time with
CC=cl
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 => /home/ralf/sage/local/lib/libntl.
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 "/home/ralf/sage/local/lib/python2.7/sit
On 2018-02-10, Simon King wrote:
> 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 loa
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)
Best regards,
Simo
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 regards,
Simon
--
You re
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 regards,
Simon
--
You r
Also clang-5.0.0 cannot compile ppl. clang-3.8 and 4.0.1 are fine.
https://trac.sagemath.org/ticket/24704
On Sat, Feb 10, 2018 at 2:52 PM Ralf Stephan wrote:
> Simon do you have libc++ system-installed and given CXX='clang++
> --stdlib=libc++' ?
>
> On Sat, Feb 10, 2018 at 1:15 PM Simon King wr
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 François,
> >>
> >> On 2018-02-10, François Bissey wrote:
> >>> I’d recommend t
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.
>>
>> This is what I did now. It is still in the process of building.
> 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
>
OK, that’s a curiosit
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 better
diagnostics, b
> 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 the process of building.
>
> Will the SageMath i
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 building.
While it was building, I noticed lines suc
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 with clang?
By that, I mea
> 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 have it configured to use libc++ instead of
>>
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 have it configured to use libc++ instead of
> libstdc++ from gcc.
How? By doing
CC=clang CXX=clang+
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 wrote:
> >
> > Hi François,
> >
>
> On 10/02/2018, at 21:44, Simon King wrote:
>
> Hi François,
>
> On 2018-02-10, François Bissey wrote:
>> Linux support is a side effect. But it helps code portability, while
>> working on this we found quite a few GNUism here and there.
>
> OK, portability is an argument that I understand.
Hi François,
On 2018-02-10, François Bissey wrote:
> Linux support is a side effect. But it helps code portability, while
> working on this we found quite a few GNUism here and there.
OK, portability is an argument that I understand.
What would you recommend me to do in order to give it a try o
> 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 that are silently ignored
I mostly worked on getting clang working on OS X where working with gcc
has become increasingly hard. In fact a number of packages just build
with clang on OS X even so we always (before this, that is) build gcc.
So the motivation was never faster or whatever. It was being a first
class citizen on
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 could summarise its advantages and disadvan
37 matches
Mail list logo
