php/Pkgfile



    1 # Description: PHP interpreter, extension modules and support stuff
    2 # URL:         http://www.php.net
    3 # Maintainer:  Juergen Daubert, juergen dot daubert at t-online dot de
    4 # Depends on:  ncurses readline zlib libpcre libxml2 bzip2 curl db gdbm zip
    5 
    6 name=php
    7 version=5.2.10
    8 release=1
    9 source=(http://www.php.net/distributions/php-$version.tar.bz2 
   10         extensions.ini)
   11 
   12 build () {
   13     cd php-$version
   14 
   15     local PHP_CONFIG="
   16     --prefix=/usr \
   17     --with-config-file-path=/etc/php \
   18     --with-config-file-scan-dir=/etc/php/conf.d \
   19     --with-zlib \
   20     --with-pcre-regex=/usr \
   21     --disable-static --disable-debug --without-pear"
   22 
   23     local PHP_SHARED="
   24     --enable-dba=shared --with-gdbm --with-db4 \
   25     --with-bz2=shared \
   26     --with-curl=shared \
   27     --with-openssl=shared \
   28     --enable-zip=shared"
   29 
   30     EXTENSION_DIR=/usr/lib/php/extensions \
   31     ./configure \
   32         $PHP_CONFIG \
   33         $PHP_SHARED \
   34         --enable-cli \
   35         --disable-cgi \
   36         --with-readline
   37 
   38     make
   39     make -j1 INSTALL_ROOT=$PKG install
   40     rm $PKG/usr/lib/php/extensions/*.a
   41 
   42     sed -i '/^extension_dir/s|=.*$|= "/usr/lib/php/extensions"|' php.ini-*
   43     install -d $PKG/etc/php/conf.d
   44     install -m 644 php.ini-* $PKG/etc/php
   45     install -m 644 $SRC/extensions.ini $PKG/etc/php/conf.d
   46 }