make  install  &&

if  !  [  -e  ${INSTALL_ROOT}/etc/php.ini  ];  then
  cp  php.ini-dist  ${INSTALL_ROOT}/etc/php.ini
fi
