>From src/Cbc/configure.ac:
AC_CHECK_LIB([rt],[clock_gettime],
[CBCLIB_LIBS="-lrt $CBCLIB_LIBS"
CBCLIB_PCLIBS="-lrt $CBCLIB_PCLIBS"
AC_DEFINE([HAVE_CLOCK_GETTIME],[1],[Define if clock_gettime
and rt library is available])
So cbc uses librt to get a high resolution timer and properly handle the
absence of it on OSX. So you'll either have to patch it to not use librt
ever or pass different libraries in modules_list.py depending on whether
librt is available or not.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
