Re: RFC: convenience copy of cddlib

2009-12-03 Thread David Bremner
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 p

Re: RFC: convenience copy of cddlib

2009-12-03 Thread Tim Abbott
On Mon, 30 Nov 2009, Francesco P. Lovergine wrote: > On Mon, Nov 30, 2009 at 09:07:26AM -0400, brem...@unb.ca wrote: > > > > I see two solutions so far: > > > > 1) patch the debian cddlib package to produce a third library, > >libcdd_gmp (or whatever) that can be linked together with > >

Re: RFC: convenience copy of cddlib

2009-11-30 Thread Francesco P. Lovergine
On Mon, Nov 30, 2009 at 09:07:26AM -0400, brem...@unb.ca wrote: > > I see two solutions so far: > > 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 >