WebKitGTK+-1.10.2
Installation de WebKitGTK+
Avertissement
Si vous avez construit WebKitGTK+ avec make 3.82, soyez certain de
l'avoir construit avec le
correctif appliqué ou la construction de WebKitGTK+ échouera.
Si vous n'avez pas installé GTK-Doc-1.19,
corrigez un bogue qui causera un échec de make install :
sed -i '/generate-gtkdoc --rebase/s:^:# :' GNUmakefile.in
Installez WebKitGTK+ en lançant
les commandes suivantes:
sed -i '/parse-param/ a%lex-param {YYLEX_PARAM}' \
Source/ThirdParty/ANGLE/src/compiler/glslang.y &&
patch -Np1 -i ../webkitgtk-1.10.2-fix_librt_linking-1.patch &&
./configure --prefix=/usr \
--libexecdir=/usr/lib/webkitgtk2 \
--with-gtk=2.0 \
--disable-webkit2 &&
make
Ce paquet n'est pas fourni avec une suite de tests opérationnelle.
Maintenant, en tant qu'utilisateur root
:
make install
Explications des commandes
sed ...
Source/ThirdParty/ANGLE/src/compiler/glslang.y:
Cette commande corrige un problème causé par la dernière version de
Bison.
--with-gtk=2.0
--disable-webkit2
: Ces paramètres obligent
WebkitGTK+ à se compiler contre
GTK+ 2, même si GTK+ 3 est aussi installé.
--disable-geolocation
: Utilisez
cette option si vous ne voulez pas installer GeoClue-0.12.0 ou configure échouera.
--enable-gtk-doc
: Utilisez ce
paramètre si GTK-Doc est installé
et si vous souhaitez reconstruire et installer la documentation de
l'API.
Contenu
Programmes installés:
jsc-1 ou jsc-3.
Bibliothèques installées:
libjavascriptcoregtk-1.0.so et
libwebkit-1.0.so ou libjavascriptcoregtk-3.0.so,
libwebkit2gtk-3.0.so et libwebkit-3.0.so
Répertoires installés:
/usr/include/webkit-1.0,
/usr/share/webkit-1.0 et /usr/lib/webkitgtk2
Descriptions courtes
jsc-1
|
est un utilitaire en ligne de commande qui vous autorise
à exécuter les programmes JavaScript en dehors du
contexte d'un navigateur web.
|
libjavascriptcoregtk-1.0.so
|
contient les fonctions cœur de l'API JavaScript
utilisées par jsc-1 aet libwebkitgtk-1.0.so .
|
libwebkit-1.0.so
|
contient les fonctions de l'API WebKitGTK+ pour GTK+ 2.
|
Last updated on : 2012-10-17 14:09:50 +020