libmediawiki: version bump to 5.37.0

2021-10-29 15:01:37 +03:00
parent ecc0fcdd97
commit c1290d8bed
2 changed files with 30 additions and 10 deletions
@@ -1,19 +1,32 @@
 #!/usr/bin/python
 # -*- coding: utf-8 -*-
+#
 # Licensed under the GNU General Public License, version 3.
-# See the file http://www.gnu.org/copyleft/gpl.txt
+# See the file http://www.gnu.org/licenses/gpl.txt

-from pisi.actionsapi import kde5
+from pisi.actionsapi import cmaketools
 from pisi.actionsapi import pisitools
-
+from pisi.actionsapi import shelltools
+from pisi.actionsapi import get

 def setup():
-    kde5.configure()
+    shelltools.makedirs("build")
+    shelltools.cd("build")
+
+    cmaketools.configure("-DCMAKE_INSTALL_PREFIX=/usr \
+                          -DBUILD_TESTING=OFF", sourceDir="..")

 def build():
-    kde5.make()
+    #shelltools.makedirs("build")
+    shelltools.cd("build")
+
+    cmaketools.make()

 def install():
-    kde5.install()
+    #shelltools.makedirs("build")
+    shelltools.cd("build")

-    pisitools.dodoc("AUTHORS", "COPYING-CMAKE-SCRIPTS", "COPYING", "README.md", "COPYING.LIB")
+    cmaketools.rawInstall('DESTDIR="%s"' % get.installDIR())
+
+    shelltools.cd("..")
+    pisitools.dodoc("AUTHORS", "COPYING-CMAKE-SCRIPTS", "COPYING", "README.md", "COPYING.LIB")