diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-02-15 21:15:00 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-02-18 15:46:07 +0000 |
commit | 642d35be89dfd9561dd49ff282a9e18658a23211 (patch) | |
tree | 53058c16546fc49a4d6d0bcdffe6b3bdb0354b79 /strata/WebKitGtk1-common | |
parent | 9c4f6bf548b7568e38d6354c82558654150872f9 (diff) | |
download | definitions-642d35be89dfd9561dd49ff282a9e18658a23211.tar.gz |
More WebKitGtk1 to its own stratum
Change-Id: I7b5abc9db0f7d065ca76ea1ab4ecfae8747f051b
Diffstat (limited to 'strata/WebKitGtk1-common')
-rw-r--r-- | strata/WebKitGtk1-common/WebKitGtk1.morph | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/strata/WebKitGtk1-common/WebKitGtk1.morph b/strata/WebKitGtk1-common/WebKitGtk1.morph new file mode 100644 index 00000000..b723248d --- /dev/null +++ b/strata/WebKitGtk1-common/WebKitGtk1.morph @@ -0,0 +1,5 @@ +name: WebKitGtk1 +kind: chunk +build-system: autotools +configure-commands: +- ./configure --prefix="$PREFIX" --sysconfdir=/etc --disable-webkit2 --enable-introspection |