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
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:
2 matches
Mail list logo