summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorest31 <MTest31@outlook.com>2015-04-12 06:18:48 +0200
committerest31 <MTest31@outlook.com>2015-05-11 17:48:33 +0200
commit181f7baa453c58d4070de7196fd74663110946a8 (patch)
tree3a7f8d55b3d633aa25b66b864fc83272a10197c3 /.gitignore
parent58eae43322ffa83f634b4199176f4e1bae0cbcde (diff)
downloadminetest-181f7baa453c58d4070de7196fd74663110946a8.tar.gz
minetest-181f7baa453c58d4070de7196fd74663110946a8.tar.bz2
minetest-181f7baa453c58d4070de7196fd74663110946a8.zip
Add LibGMP
Uses system provided libgmp if found, if not it falls back to mini-gmp.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0eac84351..b89ad68e3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -60,6 +60,8 @@ src/cguittfont/CMakeFiles/
src/cguittfont/libcguittfont.a
src/cguittfont/cmake_install.cmake
src/cguittfont/Makefile
+src/gmp/CMakeFiles/
+src/gmp/libgmp.a
src/json/CMakeFiles/
src/json/libjsoncpp.a
src/sqlite/CMakeFiles/*