PKG_LIBS = -lgmp
