[vlc-commits] contrib: gmp: require GPL or GNUv3

[Rémi Denis-Courmont]

vlc | branch: master | Rémi Denis-Courmont <remi at remlab.net> | Mon Sep 25 19:48:01 2017 +0300| [c53cc8365ef7382e8d4de4ce153e35ce4d3a3bcc] | committer: Rémi Denis-Courmont

contrib: gmp: require GPL or GNUv3

> http://git.videolan.org/gitweb.cgi/vlc.git/?a=commit;h=c53cc8365ef7382e8d4de4ce153e35ce4d3a3bcc
---

 contrib/src/gmp/rules.mak | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contrib/src/gmp/rules.mak b/contrib/src/gmp/rules.mak
index a2f32d128f..9b060f8e9f 100644
--- a/contrib/src/gmp/rules.mak
+++ b/contrib/src/gmp/rules.mak
@@ -26,7 +26,11 @@ gmp: gmp-$(GMP_VERSION).tar.bz2 .sum-gmp
 	$(APPLY) $(SRC)/gmp/ppc64.patch
 	$(MOVE)
 
+# GMP requires either GPLv2 or LGPLv3
 .gmp: gmp
+ifndef GPL
+	$(REQUIRE_GNUV3)
+endif
 	cd $< && $(HOSTVARS) ./configure $(HOSTCONF) $(GMP_CONF)
 	cd $< && $(MAKE) install
 	touch $@