I think the Debian fix will trickle down to ubuntu at some point, but I
have no idea when.
Note that this has nothing to do with graph-tool, it is a bug with
*boost*. Hence, unfortunately, the only option in Ubuntu is to compile
boost yourself.
I think the Debian fix will trickle down to ubuntu at some point, but I
have no idea when.
Note that this has nothing to do with graph-tool, it is a bug with
*boost*. Hence, unfortunately, the only option in Ubuntu is to compile
boost yourself.
I'm one of the boost maintainers in both Debian and Ubuntu.
Not being entirely familiar with the intricacies of Linux yet and much less
so with those of C++ and Boost might I follow up on this? What is the
outcome of this discussion? Is there a way for me to make it work on my
Ubuntu 14.04 machine or, Dimitri, do you foresee the problem being fixed in
the Boost libraries soon?
It is not possible. The features needed by graph-tool were only
introduced in version 1.56 of Boost, and Ubuntu 14.04 only includes
version 1.54.
(Strictly, it is possible, but you would have to compile and install
Boost >= 1.56 yourself. It is much simpler just to upgrade your Ubuntu
version. But even then you would have to wait a bit before the bug I
mentioned gets fixed in Ubuntu as well.)
I am running 14.04.4 LTS which I presume is the latest version of 14.04. I
don't want to change to 15.10 as it is not a LTS version so I guess
compiling Boost myself is my only chance then.
Once I have done that how do I get graph-tool to use the correct Boost
libraries? Will it automatically figure that out or do I need to re-install
it/compile it from scratch again?
It doesn't make it easier to compile only some libraries, quite on the
contrary. It is simpler to just compile them all.
Once I have done that how do I get graph-tool to use the correct Boost
libraries? Will it automatically figure that out or do I need to re-install
it/compile it from scratch again?
Thank you for all the advice. I shall compile them all then. Do the currently installed boos libraries need deleting?
Simply uninstalling and then re-installing graph-tool with apt-get will not pick up the correct libraries presuming I have installed them beforehand I take it?