include(${CMAKE_SOURCE_DIR}/cmake/gmp.cmake)
set(ARITH_LIBS "gmp")