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:
signature.asc
Description: OpenPGP digital signature