Skip to content

Instantly share code, notes, and snippets.

@diorahman
Last active November 1, 2019 12:53
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save diorahman/3ea9bda0c6153a2d90d3 to your computer and use it in GitHub Desktop.
Save diorahman/3ea9bda0c6153a2d90d3 to your computer and use it in GitHub Desktop.
Build WebKitGTK+ from release tarball
$ wget http://webkitgtk.org/releases/webkitgtk-{major}.{minor}.{rev}.tar.xz
$ tar xJf webkitgtk-{major}.{minor}.{rev}.tar.xz
$ cd webkitgtk-{major}.{minor}.{rev}
$ ./Tools/gtk/install-dependencies
$ mkdir build
$ cd build
$ cmake -DPORT=GTK -DCMAKE_BUILD_TYPE=Release ..
// resolve missing required deps
// most likely: sudo apt-get install libgstreamer-plugins-base1.0-dev, libgstreamer1.0-dev
$ make -j8
@diorahman
Copy link
Author

sudo apt-get install libgstreamer-plugins-base1.0-dev, libgstreamer1.0-dev

@diorahman
Copy link
Author

if you want MiniBrowser, then libgstreamer-plugins-bad1.0-dev

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment