Fix libgmp detection (#7488)
-rw-r--r-- 733 .clang-format
-rw-r--r-- 507 .clang-tidy
-rw-r--r-- 28 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 1617 .gitignore
-rw-r--r-- 8951 .gitlab-ci.yml
-rw-r--r-- 2087 .mailmap
-rw-r--r-- 2755 .travis.yml
-rw-r--r-- 9062 CMakeLists.txt
-rw-r--r-- 6745 CONTRIBUTING.md
-rw-r--r-- 6406 LICENSE.txt
-rw-r--r-- 22870 README.md
drwxr-xr-x - build
drwxr-xr-x - builtin
drwxr-xr-x - client
drwxr-xr-x - clientmods
drwxr-xr-x - cmake
drwxr-xr-x - doc
drwxr-xr-x - fonts
drwxr-xr-x - games
drwxr-xr-x - lib
-rw-r--r-- 80971 minetest.conf.example
drwxr-xr-x - misc
drwxr-xr-x - mods
drwxr-xr-x - po
drwxr-xr-x - src
drwxr-xr-x - textures
drwxr-xr-x - util