diff --git a/pgadmin3/.footprint b/pgadmin3/.footprint new file mode 100644 index 000000000..367ade2ca --- /dev/null +++ b/pgadmin3/.footprint @@ -0,0 +1,36 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/pgadmin3 +-rwxr-xr-x root/root usr/bin/png2c +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/pgadmin3/ +drwxr-xr-x root/root usr/share/pgadmin3/branding/ +-rw-r--r-- root/root usr/share/pgadmin3/branding/branding.ini +drwxr-xr-x root/root usr/share/pgadmin3/docs/ +drwxr-xr-x root/root usr/share/pgadmin3/docs/en_US/ +drwxr-xr-x root/root usr/share/pgadmin3/docs/en_US/hints/ +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/autovacuum.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/conn-hba.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/conn-ident.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/conn-listen.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/encoding-ascii.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/encoding-unicode.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/fki.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/instrumentation.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/instrumentation91_with.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/instrumentation91_without.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/multiple.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/object-editing.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/pk.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/saving-passwords.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/vacuum-full.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/vacuum.html +-rw-r--r-- root/root usr/share/pgadmin3/docs/en_US/hints/view-without-pk.html +-rw-rw-rw- root/root usr/share/pgadmin3/docs/en_US/pgadmin3.hhp.cached (EMPTY) +drwxr-xr-x root/root usr/share/pgadmin3/i18n/ +-rw-r--r-- root/root usr/share/pgadmin3/i18n/pg_settings.csv +-rw-r--r-- root/root usr/share/pgadmin3/i18n/pgadmin3.lng +-rw-r--r-- root/root usr/share/pgadmin3/i18n/wxstd.mo +drwxr-xr-x root/root usr/share/pgadmin3/plugins.d/ +-rw-r--r-- root/root usr/share/pgadmin3/plugins.d/plugins.ini +-rw-r--r-- root/root usr/share/pgadmin3/settings.ini diff --git a/pgadmin3/.md5sum b/pgadmin3/.md5sum new file mode 100644 index 000000000..e61a7942d --- /dev/null +++ b/pgadmin3/.md5sum @@ -0,0 +1 @@ +f3bc59630f0dc9600d4ad125097ce2fa pgadmin3-1.16.1.tar.gz diff --git a/pgadmin3/Pkgfile b/pgadmin3/Pkgfile new file mode 100644 index 000000000..f068739cb --- /dev/null +++ b/pgadmin3/Pkgfile @@ -0,0 +1,19 @@ +# Description: PostgreSQL administration gui frontend +# URL: http://www.pgadmin.org/ +# Maintainer: Mikhail Kolesnik, mike at openbunker dot org +# Depends on: wxgtk postgresql + +name=pgadmin3 +version=1.16.1 +release=1 +source=(http://ftp.postgresql.org/pub/pgadmin3/release/v$version/src/$name-$version.tar.gz) + +build() { + cd $name-$version + ./configure --prefix=/usr \ + --with-wx-version=2.8 + make + make DESTDIR=$PKG install + find $PKG/usr/share/pgadmin3/docs/* ! -wholename "*en_US*" | xargs rm -rf + find $PKG/usr/share/pgadmin3/i18n/* -type d | xargs rm -rf +}