48 lines
1.5 KiB
Python
48 lines
1.5 KiB
Python
#!/usr/bin/python
|
|
# -*- coding: utf-8 -*-
|
|
#
|
|
# Licensed under the GNU General Public License, version 3.
|
|
# See the file http://www.gnu.org/licenses/gpl.txt
|
|
|
|
from pisi.actionsapi import get
|
|
from pisi.actionsapi import autotools
|
|
from pisi.actionsapi import pisitools
|
|
from pisi.actionsapi import shelltools
|
|
|
|
shelltools.export("XDG_DATA_HOME", get.workDIR())
|
|
pisitools.flags.replace("-ggdb3", "-g")
|
|
|
|
paths = ["JavaScriptCore", "WebCore", "WebKit"]
|
|
docs = ["AUTHORS", "ChangeLog", "COPYING.LIB", "THANKS", \
|
|
"LICENSE-LGPL-2", "LICENSE-LGPL-2.1", "LICENSE"]
|
|
|
|
def setup():
|
|
autotools.configure("\
|
|
--disable-gtk-doc \
|
|
--disable-silent-rules \
|
|
--disable-webkit2 \
|
|
--enable-dependency-tracking \
|
|
--enable-introspection \
|
|
--enable-video \
|
|
--with-gnu-ld \
|
|
--with-gtk=2.0 \
|
|
")
|
|
|
|
pisitools.dosed("libtool", " -shared ", " -Wl,-O1,--as-needed -shared ")
|
|
|
|
def build():
|
|
autotools.make()
|
|
|
|
def install():
|
|
autotools.rawInstall("-j1 DESTDIR=%s" % get.installDIR())
|
|
|
|
pisitools.domove("/usr/share/gtk-doc/html", "/usr/share/doc/webkit-gtk2")
|
|
|
|
pisitools.dodoc("NEWS")
|
|
shelltools.cd("Source")
|
|
for path in paths:
|
|
for doc in docs:
|
|
if shelltools.isFile("%s/%s" % (path, doc)):
|
|
pisitools.insinto("%s/%s/%s" % (get.docDIR(), get.srcNAME(), path),
|
|
"%s/%s" % (path, doc))
|