add_library(gmp STATIC mini-gmp.c)
target_link_libraries(gmp)