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