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 <[email protected]> wrote: > 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: sincosf (/usr/lib/mcrl2/libgl2ps.so) > > > --- mcrl2-201103.orig/3rd-party/gl2ps/CMakeLists.txt > +++ mcrl2-201103/3rd-party/gl2ps/CMakeLists.txt > @@ -20,6 +20,7 @@ add_library(${PROJECT_NAME} > > target_link_libraries(${PROJECT_NAME} > ${OPENGL_LIBRARY} > + -lm > ) > > # add install target: > > -- ============================== Jeroen J.A. Keiren MSc., PhD student, Eindhoven University of Technology Department of Computer Science, HG 6.81, PO Box 513, 5600 MB Eindhoven, The Netherlands. Phone: +31 40 247 2952. e-mail: jkeiren <AT> win.tue.nl, homepage: http://www.win.tue.nl/~jkeiren
