blob: f546d48564d22bf2139b121327b897f8244491a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/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/apache2/conf.d/
if [ $UBUNTU = "0" ]; then
mkdir -p debian/etc/php5/cli/conf.d/
fi
echo "extension=redis.so" >> debian/etc/php5/apache2/conf.d/redis.ini
if [ $UBUNTU = "0" ]; then
cp debian/etc/php5/apache2/conf.d/redis.ini debian/etc/php5/cli/conf.d/redis.ini
fi
cp modules/redis.so debian/$DIR
dpkg -b debian phpredis-`uname -m`.deb
rm -rf debian/
|