summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authoryar2013-12-16 18:00:00 -0800
committeryar2013-12-16 18:00:00 -0800
commit9c287e22ae5e9ec07e3ad142d1f73044a848ace7 (patch)
tree5f19d43b4e4e6c06c627e40890e32dd73dcc01a9
downloadaur-9c287e22ae5e9ec07e3ad142d1f73044a848ace7.tar.gz
php-ssh-git: move dir from php-ssh
-rw-r--r--.SRCINFO20
-rw-r--r--PKGBUILD32
-rw-r--r--install3
3 files changed, 55 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..35029091728b
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+pkgbase = php-ssh-git
+ pkgdesc = An SSH2 extension for PHP (git version)
+ pkgver = 134.aa5adbd
+ pkgrel = 1
+ url = http://pecl.php.net/package/ssh2
+ install = install
+ arch = i686
+ arch = x86_64
+ license = PHP
+ makedepends = php
+ makedepends = git
+ depends = php
+ depends = openssh
+ provides = php-ssh
+ conflicts = php-ssh
+ source = git+https://git.php.net/repository/pecl/networking/ssh2.git
+ md5sums = SKIP
+
+pkgname = php-ssh-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..72e18d55918f
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,32 @@
+pkgname=php-ssh-git
+pkgver=134.aa5adbd
+pkgrel=1
+pkgdesc="An SSH2 extension for PHP (git version)"
+url="http://pecl.php.net/package/ssh2"
+license=('PHP')
+arch=('i686' 'x86_64')
+depends=('php' 'openssh')
+makedepends=('php' 'git')
+provides=('php-ssh')
+conflicts=('php-ssh')
+install=install
+source=("git+https://git.php.net/repository/pecl/networking/ssh2.git")
+md5sums=('SKIP')
+
+pkgver() {
+ cd "${srcdir}/ssh2"
+ local ver="$(git rev-list --count HEAD).$(git rev-parse --short HEAD)"
+ printf "%s" "${ver//-/.}"
+}
+
+build() {
+ cd "${srcdir}/ssh2"
+ phpize
+ ./configure --prefix=/usr --with-ssh2
+ make
+}
+
+package() {
+ cd "${srcdir}/ssh2"
+ make install INSTALL_ROOT="${pkgdir}/"
+}
diff --git a/install b/install
new file mode 100644
index 000000000000..0d9dc9f67386
--- /dev/null
+++ b/install
@@ -0,0 +1,3 @@
+post_install() {
+ echo "You need to add extension=ssh2.so to php.ini manually, then restart httpd"
+}