[minetest-v04x] 03/11: Build with ENABLE_SYSTEM_GMP=1 and use Debian's system library of GMP.

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo pushed a commit to branch master
in repository minetest-v04x.

commit 9a2481d3ec0a8a16e136b1a5de7e789011cafd4d
Author: Markus Koschany <apo at debian.org>
Date:   Wed Aug 23 18:36:08 2017 +0200

    Build with ENABLE_SYSTEM_GMP=1 and use Debian's system library of GMP.
---
 debian/rules | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/rules b/debian/rules
index 8c2c242..2fc8e89 100755
--- a/debian/rules
+++ b/debian/rules
@@ -11,6 +11,7 @@ override_dh_auto_configure:
 		-DRUN_IN_PLACE=0 \
 		-DCMAKE_VERBOSE_MAKEFILE=ON \
 		-DENABLE_SYSTEM_JSONCPP=1 \
+		-DENABLE_SYSTEM_GMP=1 \
 		-DJSON_INCLUDE_DIR=/usr/include/jsoncpp \
 		-DENABLE_GETTEXT=1 \
 		-DENABLE_FREETYPE=1 \

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/minetest-v04x.git