There are definitely problems, here.

1. Directories have wrong names and one is missing in webkitgtk-1.10.2.

/usr/include/webkitgtk-1.0
/usr/share/gtk-doc/html/webkitgtk
/usr/share/webkitgtk-1.0


2. Libraries with wrong names: libwebkitgtk-1.0.so and
libjavascriptcoregtk-1.0.so (latter is correct).


3. A common directory, with many files with same name.


    webkitgtk-2.2.4                       webkitgtk-1.10.2
/usr/share/gtk-doc/html/webkitgtk      /usr/share/gtk-doc/html/webkitgtk

It is easy to fix 1. and 2. But what can be done with 3?

I am thinking of adding, after "make install":

webkitgtk-2.2.4:
mv -vi /usr/share/gtk-doc/html/webkitgtk \
       /usr/share/gtk-doc/html/webkitgtk-2.0

webkitgtk-1.10.2
mv -vi /usr/share/gtk-doc/html/webkitgtk \
       /usr/share/gtk-doc/html/webkitgtk-1.0


-- 
[]s,
Fernando
-- 
http://linuxfromscratch.org/mailman/listinfo/blfs-dev
FAQ: http://www.linuxfromscratch.org/blfs/faq.html
Unsubscribe: See the above information page

Reply via email to