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
