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 with the current state of play on that front. Has the situation changed? Can I, in people's opinion, be confident that I can get the latest version of graph-tool to run on CentOS without having to spend large amounts of time trying to get it to work each time I need to update the version? For context: I am having to rebuild my Ubuntu machine and it was suggested I should look into moving to CentOS instead. I am unfamiliar with CentOS but if graph-tool will be difficult to get to run on CentOS then that would be a good reason for me not to move to CentOS. (Obviously there may be other reasons for moving to CentOS but those are not my primary concern here.) Thank you for any opinions on this topic in advance! With best wishes, Philipp -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/