pgadmin3 in main

2016-02-26 22:53:35 +02:00
parent 4f41a03e63
commit c33638eae5
6 changed files with 186 additions and 2 deletions
@@ -0,0 +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.
+
+from pisi.actionsapi import autotools
+from pisi.actionsapi import shelltools
+from pisi.actionsapi import pisitools
+from pisi.actionsapi import get
+
+def setup():
+    shelltools.system("sed -i -e 's/wx-config/wx-config-2.8/' configure")
+    shelltools.system("sed -i 's/wxrc/wxrc-2.8/g' stringextract pgadmin/ui/embed-xrc")
+    
+    shelltools.export("WX_CONFIG", "/usr/bin/wx-config-2.8 ")
+    shelltools.export("WXDIR", "/usr ")
+    
+    autotools.configure("--disable-static \
+                         --disable-debug \
+                         --with-wx=/usr \
+                         --disable-dependency-tracking \
+                         --with-wx-config=/usr/bin/wx-config-2.8 \
+                         --with-wx-version=2.8")
+
+def build():
+    autotools.make()
+
+def install():
+    autotools.rawInstall("DESTDIR=%s" % get.installDIR())
+
+    pisitools.insinto("/usr/share/pixmaps", "pkg/debian/pgadmin3.xpm")