webkitgtk: add enableGLES switch
This commit is contained in:
parent
43fc3a03a2
commit
b9592aa9ae
1 changed files with 2 additions and 1 deletions
|
@ -43,6 +43,7 @@
|
|||
, sqlite
|
||||
, enableGtk2Plugins ? false
|
||||
, gtk2 ? null
|
||||
, enableGLES ? true
|
||||
, gst-plugins-base
|
||||
, gst-plugins-bad
|
||||
, woff2
|
||||
|
@ -167,7 +168,7 @@ stdenv.mkDerivation rec {
|
|||
"-DUSE_ACCELERATE=0"
|
||||
"-DUSE_SYSTEM_MALLOC=ON"
|
||||
] ++ optional (!enableGtk2Plugins) "-DENABLE_PLUGIN_PROCESS_GTK2=OFF"
|
||||
++ optional stdenv.isLinux "-DENABLE_GLES2=ON";
|
||||
++ optional (stdenv.isLinux && enableGLES) "-DENABLE_GLES2=ON";
|
||||
|
||||
postPatch = ''
|
||||
patchShebangs .
|
||||
|
|
Loading…
Reference in a new issue