commit 43c3ee7

hovercats  ·  2026-04-03 18:29:06 +0000 UTC
parent 8a43b0e
webkit2gtk: remove options that are no longer available | disable SPIEL
1 files changed,  +1, -6
+1, -6
 1@@ -68,7 +68,6 @@ cmake -G Ninja -B build \
 2     -DENABLE_DOCUMENTATION=OFF \
 3     -DENABLE_GAMEPAD=OFF \
 4     -DENABLE_GEOLOCATION=OFF \
 5-    -DENABLE_GLES2=ON \
 6     -DENABLE_INTROSPECTION=OFF \
 7     -DENABLE_JIT=OFF \
 8     -DENABLE_JOURNALD_LOG=OFF \
 9@@ -79,23 +78,19 @@ cmake -G Ninja -B build \
10     -DENABLE_WAYLAND_TARGET=ON \
11     -DUSE_AVIF=OFF \
12     -DUSE_GSTREAMER_GL=OFF \
13-    -DUSE_GSTREAMER_TRANSCODER=OFF \
14     -DUSE_GTK4=OFF \
15     -DUSE_JPEGXL=OFF \
16     -DUSE_LCMS=OFF \
17     -DUSE_LIBBACKTRACE=OFF \
18     -DUSE_LIBHYPHEN=OFF \
19-    -DUSE_LIBNOTIFY=OFF \
20     -DUSE_LIBSECRET=OFF \
21-    -DUSE_OPENJPEG=OFF \
22     -DUSE_SOUP2=OFF \
23-    -DUSE_SYSTEMD=OFF \
24     -DUSE_WOFF2=OFF \
25-    -DUSE_WPE_RENDERER=OFF \
26     -DUSE_SYSTEM_SYSPROF_CAPTURE=NO \
27     -DUSE_SKIA=NO \
28     -DUSE_FLITE=OFF \
29     -DENABLE_SPEECH_SYNTHESIS=NO \
30+    -DUSE_SPIEL=OFF \
31     -Wno-dev
32 
33 samu -C build