mirror of
https://github.com/php-win-ext/phpredis.git
synced 2026-03-24 09:02:07 +01:00
30 lines
636 B
Bash
Executable File
30 lines
636 B
Bash
Executable File
#!/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/
|