summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorwm4 <wm4@nowhere>2015-12-03 09:32:40 +0100
committerwm4 <wm4@nowhere>2015-12-03 09:32:40 +0100
commit17507b593506ad820cfabbe2fcec208ffe9d073f (patch)
treec32ad98d4ddbcbe6f62dfef397e72ed7081fe282 /wscript
parent57e691b9011e9bdcc4fbc53a484f80057c65a891 (diff)
downloadmpv-17507b593506ad820cfabbe2fcec208ffe9d073f.tar.bz2
mpv-17507b593506ad820cfabbe2fcec208ffe9d073f.tar.xz
vo_opengl: require --enable-gpl3 for nnedi
There are claims that nnedi3.c doesn't constitute its own new implementation, but is derived from existing HLSL or OpenCL shaders distributed under the LGPLv3 license. Until these are resolved, do the "correct" thing and require --enable-gpl3 to build nnedi.
Diffstat (limited to 'wscript')
-rw-r--r--wscript5
1 files changed, 5 insertions, 0 deletions
diff --git a/wscript b/wscript
index 0f113002ba..1873881b1a 100644
--- a/wscript
+++ b/wscript
@@ -10,6 +10,11 @@ from waftools.checks.custom import *
build_options = [
{
+ 'name': '--gpl3',
+ 'desc': 'GPL3 license',
+ 'default': 'disable',
+ 'func': check_true
+ }, {
'name': '--cplayer',
'desc': 'mpv CLI player',
'default': 'enable',