[graph-tool] Open MP support

The download / installation page makes reference to enabling openMP by passing the —enable-openmp to the configure script… When installing a pre-compiled package for Ubuntu, would openMP be supported, or does this require a manual install? Thanks.