webkit2gtk ver. bump

2025-10-23 18:31:54 +03:00
parent b60384bf6f
commit c2e64eba43
20 changed files with 71 additions and 20 deletions
@@ -19,6 +19,8 @@ def setup():
    shelltools.system("mkdir build")
    shelltools.cd("build")
    cmaketools.configure("-DPORT=GTK \
+                          -DCMAKE_C_FLAGS='-g1' \
+                          -DCMAKE_CXX_FLAGS='-g1' \
                          -DCMAKE_BUILD_TYPE=Release \
                          -DCMAKE_SKIP_RPATH=ON \
                          -DCMAKE_INSTALL_PREFIX=/usr \