I did a large computation on a redhat application server 1 1/2 years ago 
and I was very happy that I could just compile gcc to replace the version 
4.x. There where a couple of problems though, but all of them could be 
resolved. I can't reproduce this however, as those people have thankfully 
provided gcc 10.2.0 in the meantime.

It's -1 from my side unless:
- there is a tool that allows installling gcc (or a tested compiler) 
without root privileges,
- it's well-documented and whatever the instructions, also a non-advanced 
person can follow it,
- there is still support for the issues with that (it doesn't have to be 
from our community)

In general, I think it is a good idea to join forces. If there is a 
community/tool that deals with these kind of issues already, we could 
invest our resources in other things.

Sidenote: I also think that administrators in universities etc. should 
provide a decent compiler, but I don't think we are going to change this. 
Our university network provides you a bunch of gcc versions and this makes 
life a lot easier for everyone.
Matthias Koeppe schrieb am Freitag, 25. Juni 2021 um 03:59:20 UTC+2:

> On Thursday, June 24, 2021 at 4:24:10 PM UTC-7 Michael Orlitzky wrote:
>
>> On Thu, 2021-06-24 at 15:54 -0700, Volker Braun wrote: 
>> > What about replacing gcc with a script that installs the conda 
>> toolchain 
>> > automatically. The distro gcc currently does not work for me, so its 
>> not 
>> > THAT rare to get into problems. On the other hard, installing conda is 
>> more 
>> > likely to work than compiling gcc from scratch. 
>>
>> What does Conda do that a gcc-10 deb/rpm can't do?
>>
>
> It can be installed by unprivileged users. 
>
>  
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/fcb07cc1-4a0c-422b-a7df-05e87215693dn%40googlegroups.com.

Reply via email to