diff options
author | Vlad Glagolev | 2011-10-26 22:47:28 +0400 |
---|---|---|
committer | Vlad Glagolev | 2011-10-26 22:47:28 +0400 |
commit | e105b02ca8122a74339daa59442e102834f5c1f2 (patch) | |
tree | f84fcc4eeb18fe00f0e0097314f27dd04210fc97 /php-pear | |
parent | 41a931d6fef5b3fe63a5a9d43eb9d71400acdcc7 (diff) |
phpredis: new spell, PHP extension for Redis
Diffstat (limited to 'php-pear')
-rwxr-xr-x | php-pear/phpredis/DEPENDS | 1 | ||||
-rwxr-xr-x | php-pear/phpredis/DETAILS | 16 | ||||
-rwxr-xr-x | php-pear/phpredis/FINAL | 5 | ||||
-rw-r--r-- | php-pear/phpredis/HISTORY | 2 | ||||
-rwxr-xr-x | php-pear/phpredis/PRE_BUILD | 4 | ||||
-rwxr-xr-x | php-pear/phpredis/TRIGGERS | 1 |
6 files changed, 29 insertions, 0 deletions
diff --git a/php-pear/phpredis/DEPENDS b/php-pear/phpredis/DEPENDS new file mode 100755 index 0000000000..0bbf486162 --- /dev/null +++ b/php-pear/phpredis/DEPENDS @@ -0,0 +1 @@ +depends PHP diff --git a/php-pear/phpredis/DETAILS b/php-pear/phpredis/DETAILS new file mode 100755 index 0000000000..daf237924b --- /dev/null +++ b/php-pear/phpredis/DETAILS @@ -0,0 +1,16 @@ + SPELL=phpredis + VERSION=2.1.3 + VERSION_REV=43bc590 + SOURCE=nicolasff-$SPELL-$VERSION-0-$VERSION_REV.tar.gz + SOURCE_URL[0]=https://github.com/nicolasff/$SPELL/tarball/$VERSION + SOURCE_HINTS=no-check-certificate + SOURCE_HASH=sha512:8a6fe9008eb8092c4fc0ad66ae510aea81ec3a79d5c2f812266cbf48a6710f1d3acb57c13087b1389e7e8506acfd073c04f317e3bbfdb21a050a3f3560920c4a +SOURCE_DIRECTORY="$BUILD_DIRECTORY/nicolasff-$SPELL-$VERSION_REV" + WEB_SITE=http://github.com/nicolasff/phpredis/ + ENTERED=20111026 + LICENSE[0]=PHP + SHORT="PHP extension for Redis" +cat << EOF +The phpredis extension provides an API for communicating with the Redis +key-value store. +EOF diff --git a/php-pear/phpredis/FINAL b/php-pear/phpredis/FINAL new file mode 100755 index 0000000000..0ddd683f23 --- /dev/null +++ b/php-pear/phpredis/FINAL @@ -0,0 +1,5 @@ +local PHP_EXT=$(php-config --extension-dir) && + +message "${MESSAGE_COLOR}\n" \ + "Don't forget to add the following line to your php.ini:\n" \ + "extension = \"$PHP_EXT/redis.so\"${DEFAULT_COLOR}" diff --git a/php-pear/phpredis/HISTORY b/php-pear/phpredis/HISTORY new file mode 100644 index 0000000000..67e0faca36 --- /dev/null +++ b/php-pear/phpredis/HISTORY @@ -0,0 +1,2 @@ +2011-10-26 Vlad Glagolev <stealth@sourcemage.org> + * DETAILS, DEPENDS, PRE_BUILD, FINAL, TRIGGERS: spell created diff --git a/php-pear/phpredis/PRE_BUILD b/php-pear/phpredis/PRE_BUILD new file mode 100755 index 0000000000..7f85d2f274 --- /dev/null +++ b/php-pear/phpredis/PRE_BUILD @@ -0,0 +1,4 @@ +default_pre_build && +cd "$SOURCE_DIRECTORY" && + +phpize diff --git a/php-pear/phpredis/TRIGGERS b/php-pear/phpredis/TRIGGERS new file mode 100755 index 0000000000..fa2f0ec2a2 --- /dev/null +++ b/php-pear/phpredis/TRIGGERS @@ -0,0 +1 @@ +on_cast php cast_self |