From 9854340c0b21d01a94ba7ef526c775e59e37b898 Mon Sep 17 00:00:00 2001
From: Loïc Blot <nerzhul@users.noreply.github.com>
Date: Fri, 4 Jan 2019 16:41:42 +0100
Subject: Drop libgmp on Android and use mini-gmp (#8047)

---
 build/android/src/main/java/net.minetest.minetest/MtNativeActivity.java | 1 -
 1 file changed, 1 deletion(-)

(limited to 'build/android/src/main/java/net.minetest.minetest')

diff --git a/build/android/src/main/java/net.minetest.minetest/MtNativeActivity.java b/build/android/src/main/java/net.minetest.minetest/MtNativeActivity.java
index bca8f544e..b32e97b53 100644
--- a/build/android/src/main/java/net.minetest.minetest/MtNativeActivity.java
+++ b/build/android/src/main/java/net.minetest.minetest/MtNativeActivity.java
@@ -14,7 +14,6 @@ public class MtNativeActivity extends NativeActivity {
 		System.loadLibrary("openal");
 		System.loadLibrary("ogg");
 		System.loadLibrary("vorbis");
-		System.loadLibrary("gmp");
 		System.loadLibrary("iconv");
 		System.loadLibrary("minetest");
 	}
-- 
cgit v1.2.3