856310a705
- Update maintenance/dev/ to install php inside ~/.mediawiki/php instead of ~/.mwphp - Tweak README a bit - Move the router.php into an includes along with two helper .sh files to cut out some of the repetition
57 lines
1.3 KiB
Bash
Executable file
57 lines
1.3 KiB
Bash
Executable file
#!/bin/bash
|
|
|
|
if [ "x$BASH_SOURCE" == "x" ]; then echo '$BASH_SOURCE not set'; exit 1; fi
|
|
DEV=$(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
|
|
|
|
set -e # DO NOT USE PIPES unless this is rewritten
|
|
|
|
. "$DEV/includes/php.sh"
|
|
|
|
if [ "x$PHP" != "x" -a -x "$PHP" ]; then
|
|
echo "PHP is already installed"
|
|
exit 0
|
|
fi
|
|
|
|
TAR=php5.4-latest.tar.gz
|
|
PHPURL="http://snaps.php.net/$TAR"
|
|
|
|
cd "$DEV"
|
|
|
|
echo "Preparing to download and install a local copy of PHP 5.4, note that this can take some time to do."
|
|
echo "If you wish to avoid re-doing this for uture dev installations of MediaWiki we suggest installing php in ~/.mediawiki/php"
|
|
echo -n "Install PHP in ~/.mediawiki/php [y/N]: "
|
|
read INSTALLINHOME
|
|
|
|
case "$INSTALLINHOME" in
|
|
[Yy] | [Yy][Ee][Ss] )
|
|
PREFIX="$HOME/.mediawiki/php"
|
|
;;
|
|
*)
|
|
PREFIX="$DEV/php/"
|
|
;;
|
|
esac
|
|
|
|
# Some debain-like systems bundle wget but not curl, some other systems
|
|
# like os x bundle curl but not wget... use whatever is available
|
|
echo -n "Downloading PHP 5.4"
|
|
if command -v wget &>/dev/null; then
|
|
echo "- using wget"
|
|
wget "$PHPURL"
|
|
elif command -v curl &>/dev/null; then
|
|
echo "- using curl"
|
|
curl -O "$PHPURL"
|
|
else
|
|
echo "- aborting"
|
|
echo "Could not find curl or wget." >&2;
|
|
exit 1;
|
|
fi
|
|
|
|
echo "Extracting php 5.4"
|
|
tar -xzf "$TAR"
|
|
|
|
cd php5.4-*/
|
|
|
|
echo "Configuring and installing php 5.4 in $PREFIX"
|
|
./configure --prefix="$PREFIX"
|
|
make
|
|
make install
|