add_executable(mpfrbench benchtime.h mpfrbench.c)
target_link_libraries(mpfrbench libmpfr)
