diff options
author | wm4 <wm4@nowhere> | 2015-12-03 09:32:40 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2015-12-03 09:32:40 +0100 |
commit | 17507b593506ad820cfabbe2fcec208ffe9d073f (patch) | |
tree | c32ad98d4ddbcbe6f62dfef397e72ed7081fe282 /TOOLS | |
parent | 57e691b9011e9bdcc4fbc53a484f80057c65a891 (diff) | |
download | mpv-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 'TOOLS')
-rwxr-xr-x | TOOLS/old-configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/TOOLS/old-configure b/TOOLS/old-configure index 5f7a75b77d..a4776eddae 100755 --- a/TOOLS/old-configure +++ b/TOOLS/old-configure @@ -976,6 +976,7 @@ cat > $TMPC << EOF #define HAVE_SSE4_INTRINSICS 1 #define HAVE_C11_TLS 1 #define HAVE_EGL_ANGLE 0 +#define HAVE_GPL3 1 #ifdef __OpenBSD__ #define DEFAULT_CDROM_DEVICE "/dev/rcd0c" |