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

mkdeb.sh - github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: ba4874171a49699a527935f60f4f34e4b349637d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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/