add xwidget

Author: blahgeek

Dockerfile

@@ -50,7 +50,7 @@ RUN wget -O mps-release-1.118.0.tar.gz https://github.com/Ravenbrook/mps/archive
     cd .. && rm -rf mps-release-1.118.0 mps-release-1.118.0.tar.gz
 
 RUN apt-get update && apt-get install -y \
-    xorg libx11-dev libgtk-3-dev libxaw7-dev \
+    xorg libx11-dev libgtk-3-dev libxaw7-dev libwebkit2gtk-4.0-dev \
     libjpeg-dev libgif-dev libtiff-dev libxmp-dev \
     libsqlite3-dev libmagickcore-dev libmagickwand-dev \
     libwebp-dev libotf-dev libcairo-dev libjansson-dev \

scripts/build_emacs_in_docker.sh

@@ -23,9 +23,11 @@ IS_GUI=no
 if [[ "$BUILD_GUI" = "pgtk" ]]; then
     IS_GUI=yes
     ARGS+=" --with-pgtk --without-x --without-gconf --without-ns"
+    ARGS+=" --with-xwidget"
 elif [[ "$BUILD_GUI" = "x11" || "$BUILD_GUI" = "gtk3" ]]; then
     IS_GUI=yes
     ARGS+=" --with-x --without-pgtk --without-gconf --with-x-toolkit=gtk3"
+    ARGS+=" --with-xwidget"
 elif [[ "$BUILD_GUI" = "lucid" ]]; then
     IS_GUI=yes
     ARGS+=" --with-x --without-pgtk --without-gconf --with-x-toolkit=lucid"