Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBreathLess <dmitry.bergstein@gmail.com>2012-04-02 16:32:45 +0400
committerBreathLess <dmitry.bergstein@gmail.com>2012-04-02 16:32:45 +0400
commit42e2c340a59e66e0f3af195a542635f7b414d861 (patch)
treeccd363fbebf11ef5dc126585d6c52083be086f3a /mkdeb.sh
parent199d5e696fa2dccd058f2b6c4271a494ace1c349 (diff)
Correct debian package filename.
Unified php5/conf.d support.
Diffstat (limited to 'mkdeb.sh')
-rwxr-xr-xmkdeb.sh21
1 files changed, 21 insertions, 0 deletions
diff --git a/mkdeb.sh b/mkdeb.sh
new file mode 100755
index 00000000..ba487417
--- /dev/null
+++ b/mkdeb.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+phpize
+./configure CFLAGS="-O3"
+make clean all
+DIR=`php-config --extension-dir | cut -c 2-`
+
+rm -rf debian
+
+mkdir -p debian
+mkdir -p debian/DEBIAN
+mkdir -p debian/$DIR
+
+cp debian.control debian/DEBIAN/control
+
+UBUNTU=`uname -v | grep -ci ubuntu`
+mkdir -p debian/etc/php5/conf.d/
+echo "extension=redis.so" >> debian/etc/php5/conf.d/redis.ini
+
+cp modules/redis.so debian/$DIR
+dpkg -b debian phpredis-`git describe --abbrev=0 --tags`_`uname -m`.deb
+rm -rf debian/