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 jtaylor.deb...@googlemail.com wrote: minor addition to the patch: the c library gl2ps is missing a

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: