E.g. Fedora only has librt.so and no librt.a. So even the best makefile
will not be able to statically link with librt in that case.
--
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
Fo
> I am trying to compile it with the --ensable-static to see whether it
> would solve the problem cheaply But God it is long O_O
sage: MixedIntegerLinearProgram(solver="Coin")
---
ImportError
> The cbc library is linked with librt if it is available. The problem is that
> any other library (like any Cython extension class) then also must
> explicitly link against librt.
I am trying to compile it with the --ensable-static to see whether it
would solve the problem cheaply But God it
The cbc library is linked with librt if it is available. The problem is
that any other library (like any Cython extension class) then also must
explicitly link against librt.
You can't do it by setting some CFLAGS and friends. Ideally configure would
have a switch to turn it off; since it does
Oh, I understand, it was a mistake. Because the way I wanted to do it
the "configure" scripts plans for everything to be compiled with -lrt,
and I prevent that with this flag... What I need is a way to force
"configure" to understand that it should *NOT* use librt, or to make
it believe it actually
>> Unless there is any marked benefit to using the high-resolution timer its
>> probably best to just #define HAVE_CLOCK_GETTIME 1 in config.h after running
>> configure.
I thought I had found a nice way to do that. I updated the
spkg-install file with :
export CPPFLAGS="-DHAVE_CLOCK_GETTIME=0"
On Wednesday, January 25, 2012 3:33:58 PM UTC-8, Volker Braun wrote:
>
> Unless there is any marked benefit to using the high-resolution timer its
> probably best to just #define HAVE_CLOCK_GETTIME 1 in config.h after
> running configure.
Should be #define HAVE_CLOCK_GETTIME 0
--
To post to t
Unless there is any marked benefit to using the high-resolution timer its
probably best to just #define HAVE_CLOCK_GETTIME 1 in config.h after
running configure.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+
On Jan 25, 3:51 pm, Jeroen Demeyer wrote:
> On 2012-01-25 22:22, john_perry_usm wrote:>> Well OSX doesn't support librt
> and I'm pretty sure Ubuntu 10.04.3 ld is
> >> using old-style DSO linking.
>
> > OK. So basically we just have to fix modules_list.py.
>
> >> I don't see why you cbc needs lib
>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
On Jan 25, 3:51 pm, Jeroen Demeyer wrote:
> On 2012-01-25 22:22, john_perry_usm wrote:>> Well OSX doesn't support librt
> and I'm pretty sure Ubuntu 10.04.3 ld is
> >> using old-style DSO linking.
>
> > OK. So basically we just have to fix modules_list.py.
>
> >> I don't see why you cbc needs lib
> Well OSX doesn't support librt and I'm pretty sure Ubuntu 10.04.3 ld is
> using old-style DSO linking.
OK. So basically we just have to fix modules_list.py.
> I don't see why you cbc needs librt to start with. Does it do any real-time
> stuff?
I think the problem is that zlib requires rtlib. C
On 2012-01-25 22:22, john_perry_usm wrote:
>> Well OSX doesn't support librt and I'm pretty sure Ubuntu 10.04.3 ld is
>> using old-style DSO linking.
>
> OK. So basically we just have to fix modules_list.py.
>
>> I don't see why you cbc needs librt to start with. Does it do any real-time
>> stuff
> Well OSX doesn't support librt and I'm pretty sure Ubuntu 10.04.3 ld is
> using old-style DSO linking.
OK. So basically we just have to fix modules_list.py.
> I don't see why you cbc needs librt to start with. Does it do any real-time
> stuff?
I think the problem is that zlib requires rtlib. C
Well OSX doesn't support librt and I'm pretty sure Ubuntu 10.04.3 ld is
using old-style DSO linking.
I don't see why you cbc needs librt to start with. Does it do any real-time
stuff?
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an
On Jan 25, 11:35 am, Volker Braun wrote:
> Sounds like some library that you are linking to uses librt, even though
> your own program doesn't. At the linker command line you must specify all
> libraries being used. Older versions of ld will automatically try to find
> implicit dependencies, but t
Sounds like some library that you are linking to uses librt, even though
your own program doesn't. At the linker command line you must specify all
libraries being used. Older versions of ld will automatically try to find
implicit dependencies, but this is bad and deprecated.
--
To post to thi
Oh, I forgot -- the patch I have works just fine on 32-bit Ubuntu and
32-bit Mac OSX. As far as we know, it fails only on 64-bit Debian.
john perry
--
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...@goog
Hi
Some more information which I find fascinating; apologies if it's not
helpful:
. all this is needed because the library CoinUtils wants to call
gzopen;
. g++ compiles the patch for Nathann even though librt isn't linked;
. Nathann can start sage just fine; but
. when he tries to create a Mixed
On Jan 25, 11:11 am, Nathann Cohen wrote:
> Hello everybody
>
> While attempting to upgrade the optional cbc package we met an issue I have
> no idea how to solve. For some mysterious reason (for which I did not try
> to find an explanation -- this package is exhausting me), Coin requires
>
Oops. I forgot to add that the upgrade was actually ticket #12220
http://trac.sagemath.org/sage_trac/ticket/12220
Nathann
--
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 opt
21 matches
Mail list logo
