Bug#625156: patch addition

2011-07-15 Thread Jeroen Keiren
A patch that also works for non-*nix platforms has been added to the upstream SVN. This patch will also be part of the 201107 release. Cheers, Jeroen Keiren On 11 July 2011 15:19, Julian Taylor wrote: > minor addition to the patch: > the c library gl2ps is missing a link against libm: > ldd -r

Bug#625156: patch addition

2011-07-11 Thread Julian Taylor
minor addition to the patch: the c library gl2ps is missing a link against libm: ldd -r /usr/lib/mcrl2/libgl2ps.so undefined symbol: sqrtf (/usr/lib/mcrl2/libgl2ps.so) undefined symbol: pow (/usr/lib/mcrl2/libgl2ps.so) undefined symbol: log10 (/usr/lib/mcrl2/libgl2ps.so) undefined symbol: sincos