CMakeLists.txt
deleted useless check of GMP