After a quick look I think the symbols are different: for the gmp version they are defined in the headers cdd_f.h cddmp_f.h and cddtypes_f.h and the others in the headers without _f.
Best, Tobias On 02/03/2015 01:36 PM, David Bremner wrote: > Tobias Hansen <[email protected]> writes: > >> >> Both versions of cddlib are in the package (libcdd0d) so that should >> work for polymake, right? >> > > polymake needs to use symbols from both libraries, and I believe they > are the same. > > Again, maybe some wrapper could do the trick, although that might > require slightly fancy linking/symbol versioning. > > d > > -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
