Tim Abbott wrote: >On Mon, 30 Nov 2009, Francesco P. Lovergine wrote: >> > >> > 1) patch the debian cddlib package to produce a third library, >> > libcdd_gmp (or whatever) that can be linked together with >> > libcdd. This basically migrates the polymake abi changes to the >> > debian package, and maybe eventually upstream. >Do you know whether the polymake developers have contacted upstream to try >to get their changes merged into upstream cddlib? I believe not. >I'm not enthusiastic about changing the library ABI in Debian in a >way that isn't eventually going upstream. I guess I was thinking about adding a new library in addition to the existing ones. Frankie pointed to some linker tricks that might make it possible to have a wrapper library that renames symbols as necessary. This library could be private to the polymake package. I'm still a little fuzzy on how that would work, and how horrible it would be. There is also a small patch (apparently for re-entrancy) that hasn't been pushed upstream yet, but probably could be. I'm working through the somewhat larger diffs to lrslib (also mainly about re-entrancy), and then I can forward the CDD patch upstream if you like, after I stare at it a bit more.
Description: Binary data