webkit-gtk2: moved into main repo for pisi 2.0

2015-07-05 02:16:39 +03:00
parent de162740eb
commit 79f28ae19c
4 changed files with 535 additions and 0 deletions
@@ -0,0 +1,47 @@
+#!/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))