On 11/26/2013 10:22 AM, Garth N. Wells wrote:
A fix for the STL std::nth_element bug in gcc 4.8.1 has been released for Ubuntu 13.10 as an update:https://bugs.launchpad.net/ubuntu/+source/gcc-4.8/+bug/1246802 I suggest that we now remove the ifdefs for using boost::nth_element. The change was not made in a separate branch, so undoing it will require some digging. Anders: will you undo the change?
Don't assume that everyone out there is using Ubuntu. You could consider adding a check at configure time to detect the gcc bug. Thanks, Marco _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
