Re: [graph-tool] graph-tool on CentOS?

2018-02-08 Thread Tiago de Paula Peixoto
On 08.02.2018 12:28, Frank Takes wrote: > I wrote a short tutorial about installing Graph-Tool on CentOS this a while > ago.  > It should be findable in this mailinglist. > For example, to overcome the problem of the old GCC version, you should yum > install the devtoolset-4, which provides newer

Re: [graph-tool] graph-tool on CentOS?

2018-02-08 Thread Joseph M Redfern
FYI, Frank's guide can be found here: https://lists.skewed.de/pipermail/graph-tool/2016-July/002490.html. Thanks, Joe On 8 February 2018 at 12:28, Frank Takes wrote: > I wrote a short tutorial about installing Graph-Tool on CentOS this a > while ago. > It should be findable in

Re: [graph-tool] graph-tool on CentOS?

2018-02-08 Thread Frank Takes
I wrote a short tutorial about installing Graph-Tool on CentOS this a while ago. It should be findable in this mailinglist. For example, to overcome the problem of the old GCC version, you should yum install the devtoolset-4, which provides newer versions of a number of important binaries. Good

Re: [graph-tool] graph-tool on CentOS?

2018-02-08 Thread Tiago de Paula Peixoto
On 26.01.2018 15:36, P-M wrote: > Dear all, > > I know there has been some discussion on the mailing list from a few years > ago of getting graph-tool to run on CentOS which, based on a quick read, > seems to have concluded that it was difficult. I was wondering if people had > any experiences